公开(公告)号：JP2006252583A

公开(公告)日：2006-09-21

申请号：JP2006159153

申请日：2006-06-07

Applicant: Microsoft Corp ,  マイクロソフト コーポレーション

Inventor： HALEY MATTHEW A ,  PINCUS JONATHAN D ,  BUSH WILLIAM R

IPC: G06F11/28 ,  G06F11/36

CPC classification number: G06F11/366

Abstract: PROBLEM TO BE SOLVED: To detect programming errors in a computer program.
SOLUTION: A computer program statement (command) like a function stored in a memory 104 is performed by a CPU 102. The CPU 102 monitors changes in state of a resource (a memory 114) to be processed by the computer program and when it deviates from a predetermined change in state, decides it as a programming error.
COPYRIGHT: (C)2006,JPO&NCIPI

Abstract translation: 要解决的问题：检测计算机程序中的编程错误。 解决方案：CPU 102执行类似于存储在存储器104中的功能的计算机程序语句（命令）。CPU 102监视由计算机程序处理的资源（存储器114）的状态的改变，以及 当它偏离预定的状态变化时，将其判定为编程错误。 版权所有（C）2006，JPO＆NCIPI

公开(公告)号：AU2002244222A1

公开(公告)日：2002-09-24

申请号：AU2002244222

申请日：2002-03-01

Applicant: MICROSOFT CORP

Inventor： WEINERT ALEXANDER T ,  GUNDOTRA VIVEK ,  MOORE GEORGE M ,  HYMAN ROBERT M ,  LEACH PAUL J ,  LUCOVSKY MARK ,  PINCUS JONATHAN D ,  WARD RICHARD B ,  PIERCE SHAUN D ,  SIMON DANIEL R ,  BURNER MICHAEL G ,  ZWIEGINCEW ARTHUR

IPC: G06F21/00 ,  G06Q10/10 ,  H04L12/18 ,  H04L29/06 ,  H04L29/08 ,  G06F15/16

Abstract: A model for accessing data in an identity-centric manner. An identity may be a user, a group of users, or an organization. Instead of data being maintained on an application-by-application basis, the data associated with a particular identity is stored by one or more data services accessible by many applications. The data is stored in accordance with a schema that is recognized by a number of different applications and the data service. When a user is to perform an operation on the identity's data, the corresponding application generates a message that has a structure that is recognized by the data service. The message represents a request to perform an operation on the data structure corresponding to the identity. The data service receives and interprets the message. If authorized, the data service then performs the operation.

公开(公告)号：WO02073339A3

公开(公告)日：2003-04-24

申请号：PCT/US0206329

申请日：2002-03-01

Applicant: MICROSOFT CORP

Inventor： LUCOVSKY MARK ,  PIERCE SHAUN D ,  WEINERT ALEXANDER T ,  BURNER MICHAEL G ,  WARD RICHARD B ,  LEACH PAUL J ,  MOORE GEORGE M ,  ZWIEGINCEW ARTHUR ,  GUNDOTRA VIVEK ,  HYMAN ROBERT M ,  PINCUS JONATHAN D ,  SIMON DANIEL R

IPC: G06F21/00 ,  G06Q10/10 ,  H04L12/18 ,  H04L29/06 ,  H04L29/08 ,  G06F15/16

CPC classification number: H04L63/101 ,  G06F21/6218 ,  G06F21/6227 ,  G06F21/6245 ,  G06Q10/109 ,  H04L12/1859 ,  H04L12/1863 ,  H04L29/06 ,  H04L63/104 ,  H04L63/123 ,  H04L63/1425 ,  H04L67/02 ,  H04L67/16 ,  H04L67/303 ,  H04L67/306 ,  H04L67/325 ,  H04L67/40 ,  H04L67/42 ,  H04L69/329

Abstract: A model for accessing data in an identity-centric manner. An identity (310) maybe a user, a group of users, or an organization. Instead of data being maintained on an application-by-application basis, the data associated with a particular identity is stored by one or more data services (511 through 518) accessible by many applications (320). The data is stored in accordance with a schema that is recognized by a number of different applications and hte data service (511 through 518). When a user is to perform an operatio on the identity's (310 data, the corresponding application (320) generates a message (531) that has a structure that is recognized by the data service (511 through 518). The message (531) represents a request to perform an operation on the data structure corresponding to the identity (310). The data service (511 through 518) receives and itnerprets the message. If authorized, the data service (511 through 518) then performs the operation.

Abstract translation: 用于以身份为中心的方式访问数据的模型。 身份（310）可以是用户，一组用户或组织。 代替在逐个应用程序的基础上维护数据，与特定身份相关联的数据由许多应用可访问的一个或多个数据服务（511至518）存储（320）。 数据根据许多不同应用程序和数据服务识别的架构（511至518）进行存储。 当用户对该身份（310数据）进行操作时，相应的应用程序（320）生成具有被数据服务（511至518）识别的结构的消息（531），消息（531）表示 对所述身份（310）对应的数据结构进行操作的请求，所述数据服务（511〜518）接收并发送所述消息，如果被授权，则所述数据服务（511〜518）进行该操作。

公开(公告)号：WO02079921A3

公开(公告)日：2003-02-27

申请号：PCT/US0206244

申请日：2002-03-01

Applicant: MICROSOFT CORP

Inventor： LUCOVSKY MARK ,  PIERCE SHAUN D ,  WEINERT ALEXANDER T ,  BURNER MICHAEL G ,  WARD RICHARD B ,  LEACH PAUL J ,  MOORE GEORGE M ,  ZWIEGINCEW ARTHUR ,  GUNDOTRA VIVEK ,  HYMAN ROBERT M ,  PINCUS JONATHAN D ,  SIMON DANIEL R

IPC: G06F21/00 ,  G06Q10/10 ,  H04L12/18 ,  H04L29/06 ,  H04L29/08 ,  G06F13/00

CPC classification number: H04L63/101 ,  G06F21/6218 ,  G06F21/6227 ,  G06F21/6245 ,  G06Q10/109 ,  H04L12/1859 ,  H04L12/1863 ,  H04L29/06 ,  H04L63/104 ,  H04L63/123 ,  H04L63/1425 ,  H04L67/02 ,  H04L67/16 ,  H04L67/303 ,  H04L67/306 ,  H04L67/325 ,  H04L67/40 ,  H04L67/42 ,  H04L69/329

Abstract: A messaging data structure (700) for accessing data in an identity-centric manner, An identity may be a user, a group of users, or an organization. Instead of data being maintained on an application-by-application basis, the data associated with a particular identity is stored by one or more data services accessible by many applications. The data is stored in accordance with a schema that is recognized by number of different applications and the data service. The messaging data structure (700) includes fields that identify the target data object to be operated upon using an identity field (701), a schema field (703), and an instance identifier field (704). In addition, the desired operation (707) is specified. Thus, the target data objet is operated on in an identity-centric manner.

Abstract translation: 用于以身份为中心的方式访问数据的消息传送数据结构（700）。身份可以是用户，一组用户或组织。 代替在逐个应用程序的基础上维护数据，与特定身份相关联的数据由许多应用可访问的一个或多个数据服务存储。 数据根据不同应用程序和数据服务的数量识别的模式进行存储。 消息传送数据结构（700）包括识别使用身份字段（701），模式字段（703）和实例标识符字段（704）时要操作的目标数据对象的字段。 此外，指定所需的操作（707）。 因此，目标数据对象以身份为中心的方式进行操作。

公开(公告)号：CA2637798C

公开(公告)日：2011-06-21

申请号：CA2637798

申请日：1995-08-09

Applicant: MICROSOFT CORP

Inventor： HALEY MATTHEW A ,  PINCUS JONATHAN D ,  BUSH WILLIAM R

IPC: G06F11/28 ,  G06F11/36 ,  G06F9/455

Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the components as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components. The effect of execution of a component on externals and resources of the component is determined by traversing one or more possible control flow paths through the component and tracking the use of each external and resource by each statement of each control flow path. Once the effect of execution of a component on externals and resources of the component is determined, a model of the component is created and used to model externals and resources of other components which invoke the modelled component.

公开(公告)号：CA2637798A1

公开(公告)日：1996-02-22

申请号：CA2637798

申请日：1995-08-09

Applicant: MICROSOFT CORP

Inventor： BUSH WILLIAM R ,  PINCUS JONATHAN D ,  HALEY MATTHEW A

IPC: G06F11/28 ,  G06F11/36 ,  G06F9/455

Abstract: An error detection mechanism for detecting programing errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components. The effect of execution of a component on externals and resources of the component is determined by traversing one or more possible control flow paths through the component and tracking the use of each external and resource by each statement of each control flow path. Once the effect of execution of a component on externals and resources of the component is determined, a model of the component is created and used to model externals and resources of other components which invoke the modelled component.

公开(公告)号：AU2002258436A1

公开(公告)日：2002-10-15

申请号：AU2002258436

申请日：2002-03-01

Applicant: MICROSOFT CORP

Inventor： GUNDOTRA VIVEK ,  BURNER MICHAEL G ,  WARD RICHARD B ,  ZWIEGINCEW ARTHUR ,  LUCOVSKY MARK ,  PINCUS JONATHAN D ,  MOORE GEORGE M ,  SIMON DANIEL R ,  PIERCE SHAUN D ,  HYMAN ROBERT M ,  WEINERT ALEXANDER T ,  LEACH PAUL J

IPC: G06F21/00 ,  G06Q10/10 ,  H04L12/18 ,  H04L29/06 ,  H04L29/08 ,  G06F13/00

Abstract: A messaging data structure for accessing data in an identity-centric manner. An identity may be a user, a group of users, or an organization. Instead of data being maintained on an application-by-application basis, the data associated with a particular identity is stored by one or more data services accessible by many applications. The data is stored in accordance with a schema that is recognized by a number of different applications and the data service. The messaging data structure includes fields that identify the target data object to be operated upon using an identity field, a schema field, and an instance identifier field. In addition, the desired operation is specified. Thus, the target data object is operated on in an identity-centric manner.

公开(公告)号：EP1370963A4

公开(公告)日：2007-03-14

申请号：EP02709753

申请日：2002-03-01

Applicant: MICROSOFT CORP

Inventor： LUCOVSKY MARK ,  PIERCE SHAUN D ,  WEINERT ALEXANDER T ,  BURNER MICHAEL G ,  WARD RICHARD B ,  LEACH PAUL J ,  MOORE GEORGE M ,  ZWIEGINCEW ARTHUR ,  GUNDOTRA VIVEK ,  HYMAN ROBERT M ,  PINCUS JONATHAN D ,  SIMON DANIEL R

IPC: H04L29/06 ,  G06F17/30 ,  G06F21/00 ,  G06Q10/10 ,  H04L12/18 ,  H04L29/08

CPC classification number: H04L63/101 ,  G06F21/6218 ,  G06F21/6227 ,  G06F21/6245 ,  G06Q10/109 ,  H04L12/1859 ,  H04L12/1863 ,  H04L29/06 ,  H04L63/104 ,  H04L63/123 ,  H04L63/1425 ,  H04L67/02 ,  H04L67/16 ,  H04L67/303 ,  H04L67/306 ,  H04L67/325 ,  H04L67/40 ,  H04L67/42 ,  H04L69/329

Abstract: A model for accessing data in an identity-centric manner. An identity (310) maybe a user, a group of users, or an organization. Instead of data being maintained on an application-by-application basis, the data associated with a particular identity is stored by one or more data services (511 through 518) accessible by many applications (320). The data is stored in accordance with a schema that is recognized by a number of different applications and hte data service (511 through 518). When a user is to perform an operatio on the identity's (310 data, the corresponding application (320) generates a message (531) that has a structure that is recognized by the data service (511 through 518). The message (531) represents a request to perform an operation on the data structure corresponding to the identity (310). The data service (511 through 518) receives and itnerprets the message. If authorized, the data service (511 through 518) then performs the operation.

公开(公告)号：EP1370951A4

公开(公告)日：2007-03-07

申请号：EP02728381

申请日：2002-03-01

Applicant: MICROSOFT CORP

Inventor： LUCOVSKY MARK ,  PIERCE SHAUN D ,  WEINERT ALEXANDER T ,  BURNER MICHAEL G ,  WARD RICHARD B ,  LEACH PAUL J ,  MOORE GEORGE M ,  ZWIEGINCEW ARTHUR ,  GUNDOTRA VIVEK ,  HYMAN ROBERT M ,  PINCUS JONATHAN D ,  SIMON DANIEL R

IPC: H04L29/06 ,  G06F1/00 ,  G06F21/00 ,  G06Q10/10 ,  H04L12/18 ,  H04L29/08

CPC classification number: H04L63/101 ,  G06F21/6218 ,  G06F21/6227 ,  G06F21/6245 ,  G06Q10/109 ,  H04L12/1859 ,  H04L12/1863 ,  H04L29/06 ,  H04L63/104 ,  H04L63/123 ,  H04L63/1425 ,  H04L67/02 ,  H04L67/16 ,  H04L67/303 ,  H04L67/306 ,  H04L67/325 ,  H04L67/40 ,  H04L67/42 ,  H04L69/329

Abstract: A messaging data structure (700) for accessing data in an identity-centric manner, An identity may be a user, a group of users, or an organization. Instead of data being maintained on an application-by-application basis, the data associated with a particular identity is stored by one or more data services accessible by many applications. The data is stored in accordance with a schema that is recognized by number of different applications and the data service. The messaging data structure (700) includes fields that identify the target data object to be operated upon using an identity field (701), a schema field (703), and an instance identifier field (704). In addition, the desired operation (707) is specified. Thus, the target data objet is operated on in an identity-centric manner.

公开(公告)号：EP1370987A4

公开(公告)日：2006-10-04

申请号：EP02709743

申请日：2002-03-01

Applicant: MICROSOFT CORP

Inventor： LUCOVSKY MARK ,  PIERCE SHAUN D ,  WEINERT ALEXANDER T ,  BURNER MICHAEL G ,  WARD RICHARD B ,  LEACH PAUL J ,  MOORE GEORGE M ,  ZWIEGINCEW ARTHUR ,  HYMAN ROBERT M ,  PINCUS JONATHAN D ,  SIMON DANIEL R

IPC: G06F17/30 ,  G06F21/00 ,  G06Q10/10 ,  H04L12/18 ,  H04L29/06 ,  H04L29/08 ,  G06F7/00 ,  G06F11/30 ,  G06F12/14 ,  G06F15/16 ,  G06F15/173 ,  G06F17/00 ,  H04L9/00 ,  H04L9/32

CPC classification number: H04L67/16 ,  G06F17/3061 ,  G06F17/30908 ,  G06F21/6218 ,  G06F21/6227 ,  G06F21/6245 ,  G06Q10/109 ,  H04L12/1859 ,  H04L12/1863 ,  H04L29/06 ,  H04L63/101 ,  H04L67/02 ,  H04L67/28 ,  H04L67/2819 ,  H04L67/303 ,  H04L67/306 ,  H04L67/325 ,  H04L67/40 ,  H04L67/42 ,  H04L69/329 ,  Y10S707/99944

Abstract: Directly operating on data structures in a generic manner regardless of the type of data structure being operated upon and without requiring dedicated executable code for manipulating data structures of the particular data type. A common set of commands (e.g -. insert, delete, replace, update, query) are recognized that may be used to operate on data structures (210, 220, 230, 240) of a number of different data types. A navigation module (250) accesses a request to execute one of the common command methods on at least an identified portion of an identified data structure (210, 220, 230, 240). Then, the navigation module (250) accesses a navigation assistance module (260) to access a set of rules associated with the particular data type, the set of rules allowing the navigation module (250) to find the portion of the data structure (210, 220, 230, 240) that is to be operated on. If appropriate, the command operation is then executed on the identified portion of the data structure (210, 220, 230, 240).