公开(公告)号：US20060106771A1

公开(公告)日：2006-05-18

申请号：US10988775

申请日：2004-11-15

申请人： Alan Donovan ,  Stephen Fink ,  Darrell Reimer

发明人： Alan Donovan ,  Stephen Fink ,  Darrell Reimer

IPC分类号： G06F17/30

CPC分类号： G06F16/9577

摘要： A method for communicating information in a data structure between applications includes receiving a request from a first application for sending information in a data structure to a second application. The method further includes reading information from a run-time environment of the first application and identifying, based on the information, portions of the data structure to send. The method further includes marshalling the portions of the data structure that were identified and sending the portions of the data structure that were marshalled to the second application.

摘要翻译： 用于在应用之间传送数据结构中的信息的方法包括从第一应用接收用于将数据结构中的信息发送到第二应用的请求。 该方法还包括从第一应用的运行时环境读取信息，并且基于该信息来识别要发送的数据结构的部分。 该方法还包括编组所识别的数据结构的部分并将编组的数据结构的部分发送到第二应用。

公开(公告)号：US20050015752A1

公开(公告)日：2005-01-20

申请号：US10620078

申请日：2003-07-15

申请人： Bowen Alpern ,  Robert Johnson ,  Aaron Kershenbaum ,  Lawrence Koved ,  George Leeman ,  Marco Pistoia ,  Darrell Reimer ,  Kavitha Srinivas ,  Harini Srinivasan

发明人： Bowen Alpern ,  Robert Johnson ,  Aaron Kershenbaum ,  Lawrence Koved ,  George Leeman ,  Marco Pistoia ,  Darrell Reimer ,  Kavitha Srinivas ,  Harini Srinivasan

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F11/3604

摘要： A system and method for providing “static analysis” of programs to aid in improving runtime performance, stability, security and privacy characteristics of deployed application code. The method includes performing a set of analyses that sifts through the program code and identifies programming security and/or privacy model coding errors. In particular the invention focuses on identifying coding errors that cause loss of correctness, performance degradation, security, privacy and maintainability vulnerabilities. A deep analysis of the program is performed using detailed control and data flow analyses. These deeper analyses provide a much better perspective of the overall application behavior. This deep analysis is in contrast to shallow analyses in current industry tools, which inspect or model a single or a few classes at a time.

摘要翻译： 提供程序的“静态分析”的系统和方法，以帮助提高部署应用程序代码的运行时性能，稳定性，安全性和隐私特性。 该方法包括执行通过程序代码筛选的一组分析，并识别编程安全性和/或隐私模型编码错误。 特别地，本发明着重于识别导致正确性，性能下降，安全性，隐私和可维护性漏洞损失的编码错误。 使用详细的控制和数据流分析对程序进行深入分析。 这些更深入的分析为整体应用行为提供了更好的视角。 这个深刻的分析与当前行业工具中的浅析分析形成对比，该工具一次检查或建立一个或几个类。

公开(公告)号：US20080271055A1

公开(公告)日：2008-10-30

申请号：US12147602

申请日：2008-06-27

申请人： Stephen J. Fink ,  Alan A. Donovan ,  Darrell Reimer ,  Mark N. Wegman

发明人： Stephen J. Fink ,  Alan A. Donovan ,  Darrell Reimer ,  Mark N. Wegman

IPC分类号： G06F9/44

CPC分类号： G06F9/546 ,  G06F9/54 ,  G06F17/30684 ,  G06Q30/0601 ,  G06Q30/0641

摘要： A system and method are provided for communicating information in a data structure between applications. According to the method, a description of a data structure is sent from a first application to a second application, and there is received from the second application an identification of at least one portion of the data structure that is requested by the second application. The first application marshals a subset of the data structure consisting of the at least one portion that was identified, and there is sent from the first application to the second application the marshalled subset of the data structure.

摘要翻译： 提供了用于在应用之间的数据结构中传送信息的系统和方法。 根据该方法，将数据结构的描述从第一应用发送到第二应用，并且从第二应用接收到由第二应用请求的数据结构的至少一部分的标识。 第一个应用程序将数据结构的一个子集组成由被识别的至少一个部分组成，并且从第一个应用程序向第二个应用程序发送数据结构的编组子集。

公开(公告)号：US20050251804A1

公开(公告)日：2005-11-10

申请号：US10838491

申请日：2004-05-04

申请人： Thomas Musta ,  Darrell Reimer ,  David Zavala

发明人： Thomas Musta ,  Darrell Reimer ,  David Zavala

IPC分类号： G06F9/46

CPC分类号： G06F9/542 ,  G06F2209/543

摘要： A method, computer program product, and a data processing system for identifying a shared resource usage violation in a data processing system is provided. A set of resources are assigned to a resource group. A usage policy is defined that is associated with the resource group. A usage state associated with a resource of the resource group is compared with a threshold defined by a policy associated with the resource group. A determination is made if usage of the resource is in violation of the policy.

摘要翻译： 提供了一种用于在数据处理系统中识别共享资源使用违规的方法，计算机程序产品和数据处理系统。 一组资源被分​​配给一个资源组。 定义与资源组相关联的使用策略。 将与资源组的资源相关联的使用状态与与资源组相关联的策略定义的阈值进行比较。 确定资源的使用是否违反了策略。

公开(公告)号：US20050071820A1

公开(公告)日：2005-03-31

申请号：US10671012

申请日：2003-09-25

申请人： Kavitha Srinivas ,  Darrell Reimer

发明人： Kavitha Srinivas ,  Darrell Reimer

IPC分类号： G06F9/44

CPC分类号： G06F11/366 ,  G06F11/3644

摘要： Disclosed are a tool and method for monitoring the behavior of a running computer program. The tool observes the behavior of a running program within the context of a large number of defined coding patterns, and automatically flags violations of the coding patterns when they occur. These defined coding patterns can include best practice patterns and problematic coding patterns. The tool, in the preferred embodiment of the invention, does this using a standard debugger to enforce the best practices rules. This is advantageous because debuggers contain the type of information needed both to enforce the rules and to explain the violations of the rules. Moreover, because debuggers are standard tools in developers' arsenal, little or no additional training is required for the user of the tool to detect subtle software defects.

摘要翻译： 公开了一种用于监视正在运行的计算机程序的行为的工具和方法。 该工具在大量定义的编码模式的上下文中观察到正在运行的程序的行为，并且在发生编码模式时自动标记违反编码模式的行为。 这些定义的编码模式可以包括最佳实践模式和有问题的编码模式。 在本发明的优选实施例中，该工具使用标准调试器来执行最佳实践规则。 这是有利的，因为调试器包含执行规则和解释违反规则所需的信息类型。 此外，因为调试器是开发人员的武器库中的标准工具，所以很少或不需要额外的培训来使用该工具来检测微软的软件缺陷。

公开(公告)号：US06732353B1

公开(公告)日：2004-05-04

申请号：US09460642

申请日：1999-12-15

申请人： Bard Bloom ,  Darrell Reimer ,  Ian D. Simmonds ,  Mark N. Wegman

发明人： Bard Bloom ,  Darrell Reimer ,  Ian D. Simmonds ,  Mark N. Wegman

IPC分类号： G06F944

CPC分类号： G06F8/71

摘要： An enterprise process model that comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. Data characterizing the view of the attributes of at least one of the objects of the model is generated by associating a plurality of situation/role pairs with the at least one object; and then, for each particular situation/role pair, defining a view definition for subsequent use. In another aspect of the present invention, an enterprise application for use in an information system that comprises diverse software services and hardware platforms is generated by providing a model of the enterprise process, wherein the model comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. A configuration defining software services and hardware platforms that support the model is generated. Finally, program fragments that support the model are generated.

摘要翻译： 包括多个演员，由所述演员执行的动作，由所述动作行动的对象和角色的企业过程模型。 通过将多个情境/角色对与至少一个对象相关联来生成表征模型的至少一个对象的属性的视图的数据; 然后，针对每个特定情况/角色对，定义用于后续使用的视图定义。在本发明的另一方面中，通过提供模型来生成用于包含多种软件服务和硬件平台的信息系统中的企业应用 其中所述模型包括多个角色，由所述演员执行的动作，由所述动作所起作用的对象以及角色。 生成支持该模型的定义软件服务和硬件平台的配置。 最后，生成支持该模型的程序片段。

公开(公告)号：US20070179964A1

公开(公告)日：2007-08-02

申请号：US11327634

申请日：2006-01-06

申请人： Stephen Fink ,  Alan Donovan ,  Darrell Reimer ,  Mark Wegman

发明人： Stephen Fink ,  Alan Donovan ,  Darrell Reimer ,  Mark Wegman

IPC分类号： G06F7/00 ,  G06F17/00

CPC分类号： G06F9/546 ,  G06F9/54 ,  G06F16/3344 ,  G06Q30/0601 ,  G06Q30/0641

摘要： A system and method are provided for communicating information in a data structure between applications. According to the method, a description of a data structure is sent from a first application to a second application, and there is received from the second application an identification of at least one portion of the data structure that is requested by the second application. The first application marshals a subset of the data structure consisting of the at least one portion that was identified, and there is sent from the first application to the second application the marshalled subset of the data structure.

摘要翻译： 提供了用于在应用之间的数据结构中传送信息的系统和方法。 根据该方法，将数据结构的描述从第一应用发送到第二应用，并且从第二应用接收到由第二应用请求的数据结构的至少一部分的标识。 第一个应用程序将数据结构的一个子集组成由被识别的至少一个部分组成，并且从第一个应用程序向第二个应用程序发送数据结构的编组子集。

公开(公告)号：US20070169124A1

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

申请号：US11272198

申请日：2005-11-10

申请人： Aaron Kershenbaum ,  Lawrence Koved ,  George Leeman ,  Darrell Reimer

发明人： Aaron Kershenbaum ,  Lawrence Koved ,  George Leeman ,  Darrell Reimer

IPC分类号： G06F9/46 ,  G06F9/45

CPC分类号： G06F8/445

摘要： A method, system and program product for minimizing unwanted synchronizations in a multithreading program. Program functions in a multithreading program that should not be synchronized are identified as input tails, e.g., manually identified. An invocation graph is constructed for the multithreading program with nodes identified as head nodes and tail nodes that correspond to the input tails. Synchronization information is collected for each node of the invocation graph. Sources of synchronization in the invocation graph are represented as source nodes. All paths from head nodes to tail nodes through at least one source node are identified.

摘要翻译： 一种用于最小化多线程程序中不希望的同步的方法，系统和程序产品。 不应同步的多线程程序中的程序功能被标识为输入尾，例如手动识别。 为多线程程序构建一个调用图，其中标识为头节点的节点和对应于输入尾的尾节点。 为调用图的每个节点收集同步信息。 调用图中的同步源表示为源节点。 识别通过至少一个源节点从头节点到尾节点的所有路径。

公开(公告)号：US20060106772A1

公开(公告)日：2006-05-18

申请号：US10989143

申请日：2004-11-15

申请人： Alan Donovan ,  Stephen Fink ,  Darrell Reimer

发明人： Alan Donovan ,  Stephen Fink ,  Darrell Reimer

IPC分类号： G06F17/30

CPC分类号： G06F9/548 ,  G06F9/4493

摘要： A method for regulating communication of information in a data structure between components of a computer program is disclosed. The method includes reading a computer program and automatically identifying fields of a data structure that must be transmitted from a first component of the computer program to a second component of the computer program. The method further includes generating a routine that indicates the fields of the data structure that were identified. The method further includes requiring the first component to execute the routine when sending the data structure to the second component, such that the first component only marshals the fields of the data structure that are indicated by the routine.

摘要翻译： 公开了一种用于调节计算机程序的组件之间的数据结构中的信息的通信的方法。 该方法包括读取计算机程序并自动识别必须从计算机程序的第一组件发送到计算机程序的第二组件的数据结构的字段。 该方法还包括生成指示所识别的数据结构的字段的例程。 该方法进一步包括：当向第二组件发送数据结构时，要求第一组件执行该例程，使得第一组件仅仅编排由例程指示的数据结构的字段。

公开(公告)号：US06769113B1

公开(公告)日：2004-07-27

申请号：US09461616

申请日：1999-12-15

申请人： Bard Bloom ,  Darrell Reimer ,  Ian D. Simmonds ,  Mark N. Wegman

发明人： Bard Bloom ,  Darrell Reimer ,  Ian D. Simmonds ,  Mark N. Wegman

IPC分类号： G06F944

CPC分类号： G06F8/35

摘要： An enterprise process model that comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. Data characterizing the view of the attributes of at least one of the objects of the model is generated by associating a plurality of situation/role pairs with the at least one object; and then, for each particular situation/role pair, defining a view definition for subsequent use. In another aspect of the present invention, an enterprise application for use in an information system that comprises diverse software services and hardware platforms is generated by providing a model of the enterprise process, wherein the model comprises a plurality of actors, actions performed by said actors, objects acted upon by said actions, and roles. A configuration defining software services and hardware platforms that support the model is generated. Finally, program fragments that support the model are generated.

摘要翻译： 包括多个演员，由所述演员执行的动作，由所述动作行动的对象和角色的企业过程模型。 通过将多个情境/角色对与至少一个对象相关联来生成表征模型的至少一个对象的属性的视图的数据; 然后，对于每个特定情况/角色对，定义用于后续使用的视图定义。 在本发明的另一方面，通过提供企业过程的模型来产生用于包括多种软件服务和硬件平台的信息系统中的企业应用，其中所述模型包括多个角色，由所述演员执行的动作 ，所采取行动的对象和角色。 生成支持该模型的定义软件服务和硬件平台的配置。 最后，生成支持该模型的程序片段。