专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06732353B1 Method and system for generating enterprise applications of a diversity of information technologies 有权
标题翻译：用于生成多种信息技术的企业应用的方法和系统
公开(公告)号：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.
摘要翻译：包括多个演员，由所述演员执行的动作，由所述动作行动的对象和角色的企业过程模型。通过将多个情境/角色对与至少一个对象相关联来生成表征模型的至少一个对象的属性的视图的数据; 然后，针对每个特定情况/角色对，定义用于后续使用的视图定义。在本发明的另一方面中，通过提供模型来生成用于包含多种软件服务和硬件平台的信息系统中的企业应用其中所述模型包括多个角色，由所述演员执行的动作，由所述动作所起作用的对象以及角色。生成支持该模型的定义软件服务和硬件平台的配置。最后，生成支持该模型的程序片段。

2. 发明授权

US06769113B1 Enterprise process models and enterprise application for information technologies 有权
标题翻译：企业流程模型和信息技术企业应用
公开(公告)号：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.
摘要翻译：包括多个演员，由所述演员执行的动作，由所述动作行动的对象和角色的企业过程模型。通过将多个情境/角色对与至少一个对象相关联来生成表征模型的至少一个对象的属性的视图的数据; 然后，对于每个特定情况/角色对，定义用于后续使用的视图定义。在本发明的另一方面，通过提供企业过程的模型来产生用于包括多种软件服务和硬件平台的信息系统中的企业应用，其中所述模型包括多个角色，由所述演员执行的动作，所采取行动的对象和角色。生成支持该模型的定义软件服务和硬件平台的配置。最后，生成支持该模型的程序片段。

3. 发明申请

US20090313073A1 METHOD AND APPARATUS FOR PROVIDING SYMBOLIC MODE CHECKING OF BUSINESS APPLICATION REQUIREMENTS 审中-公开
标题翻译：提供业务应用要求的符号模式检查的方法和装置
公开(公告)号：US20090313073A1
公开(公告)日：2009-12-17
申请号：US12545275
申请日：2009-08-21
申请人： Bard Bloom , Ian D. Simmonds , Paul T. Keyser , Mark N. Wegman
发明人： Bard Bloom , Ian D. Simmonds , Paul T. Keyser , Mark N. Wegman
IPC分类号： G06Q10/00
CPC分类号： G06F8/10 , G06Q10/0637 , G06Q10/06375 , G06Q10/067 , Y04S10/54
摘要： A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business application, with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.
摘要翻译：一种用于提供业务应用程序要求的符号模式检查的系统和方法。语言允许构建业务流程的模型，该模型包括多个动作，每个动作具有前提条件和后置条件或结果。规范是针对业务应用程序的属性构建的，其规范描述了业务流程的状态和可能发生的顺序。最后，分析模型和规格，以确定模型是否满足规范。如果模型不符合规范，则业务应用中可能会出现问题。该过程可以自动化，以允许系统做出假设，以对应用程序中选定的潜在问题领域进行彻底分析。

4. 发明授权

US10310819B2 Method and apparatus for providing symbolic mode checking of business application requirements 有权
公开(公告)号：US10310819B2
公开(公告)日：2019-06-04
申请号：US12544933
申请日：2009-08-20
申请人： Bard Bloom , Ian D. Simmonds , Paul T. Keyser , Mark N. Wegman
发明人： Bard Bloom , Ian D. Simmonds , Paul T. Keyser , Mark N. Wegman
IPC分类号： G06F8/10 , G06Q10/06
摘要： A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business applications with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.

5. 发明申请

US20090313091A1 METHOD AND APPARATUS FOR PROVIDING SYMBOLIC MODE CHECKING OF BUSINESS APPLICATION REQUIREMENTS 审中-公开
标题翻译：提供业务应用要求的符号模式检查的方法和装置
公开(公告)号：US20090313091A1
公开(公告)日：2009-12-17
申请号：US12544933
申请日：2009-08-20
申请人： Bard Bloom , Ian D. Simmonds , Paul T. Keyser , Mark N. Wegman
发明人： Bard Bloom , Ian D. Simmonds , Paul T. Keyser , Mark N. Wegman
IPC分类号： G06Q10/00 , G06F9/44
CPC分类号： G06F8/10 , G06Q10/0637 , G06Q10/06375 , G06Q10/067
摘要： A system and method for providing symbolic mode checking of business application requirements. A language allows for building a model for the business process, the model comprising a plurality of actions, with each action having a precondition and a postcondition or outcome. Specifications are constructed for the properties of the business applications with the specifications describing both the states of the business process and the order in which they may occur. Finally, the model and the specifications are analyzed to determine if the model satisfies the specifications. If the model fails to satisfy the specifications, a problem may be indicated in the business application. The process can be automated to permit the system to make assumptions for conducting a thorough analysis of selected potential problem areas in the application.
摘要翻译：一种用于提供业务应用程序要求的符号模式检查的系统和方法。语言允许构建业务流程的模型，该模型包括多个动作，每个动作具有前提条件和后置条件或结果。为业务应用程序的属性构建规范，其规范描述了业务流程的状态和可能发生的顺序。最后，分析模型和规格，以确定模型是否满足规范。如果模型不符合规范，则业务应用中可能会出现问题。该过程可以自动化，以允许系统做出假设，以对应用程序中选定的潜在问题领域进行彻底分析。

6. 发明申请

US20080271055A1 PROTOCOL FOR COMMUNICATION OF DATA STRUCTURES 有权
标题翻译：数据结构通信协议
公开(公告)号：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.
摘要翻译：提供了用于在应用之间的数据结构中传送信息的系统和方法。根据该方法，将数据结构的描述从第一应用发送到第二应用，并且从第二应用接收到由第二应用请求的数据结构的至少一部分的标识。第一个应用程序将数据结构的一个子集组成由被识别的至少一个部分组成，并且从第一个应用程序向第二个应用程序发送数据结构的编组子集。

7. 发明授权

US09501334B2 Protocol for communication of data structures 有权
标题翻译：数据结构通信协议
公开(公告)号：US09501334B2
公开(公告)日：2016-11-22
申请号：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/54 , G06Q30/06
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.
摘要翻译：提供了用于在应用之间的数据结构中传送信息的系统和方法。根据该方法，将数据结构的描述从第一应用发送到第二应用，并且从第二应用接收到由第二应用请求的数据结构的至少一部分的标识。第一个应用程序将数据结构的一个子集组成由被识别的至少一个部分组成，并且从第一个应用程序向第二个应用程序发送数据结构的编组子集。

8. 发明授权

US08108841B2 Minimizing interaction costs among components of computer programs 有权
标题翻译：最小化计算机程序组件之间的交互成本
公开(公告)号：US08108841B2
公开(公告)日：2012-01-31
申请号：US12037080
申请日：2008-02-25
申请人： Douglas Neil Kimelman , Vadakkedathu T. Rajan , Tova Roth , Vugranam C. Sreedhar , Mark N. Wegman
发明人： Douglas Neil Kimelman , Vadakkedathu T. Rajan , Tova Roth , Vugranam C. Sreedhar , Mark N. Wegman
IPC分类号： G06F9/44
CPC分类号： G06F11/3409 , G06F11/3447 , G06F11/3466 , G06F2201/865
摘要： A method for minimizing total cost of interaction among components of a computer program, each of the components being characterized by at least one implementation property includes steps of: a) carrying out at least a partial run of the program; b) monitoring the at least partial run of the program to measure an amount of interaction between each pair of components; c) determining a cost of interaction between each pair of interacting components; d) determining a choice of implementation properties which minimizes total cost of the at least partial run; and e) assigning that choice of implementation properties to the components for a subsequent at least partial run of the program.
摘要翻译：一种用于使计算机程序的组件之间的交互的总成本最小化的方法，每个组件的特征在于至少一个实现属性包括以下步骤：a）执行程序的至少部分运行; b）监视程序的至少部分运行以测量每对组件之间的相互作用量; c）确定每对相互作用的部件之间的交互成本; d）确定最小化至少部分跑步的总成本的实施属性的选择; 以及e）将所述实现属性的选择分配给所述组件以用于所述程序的后续至少部分运行。

9. 发明申请

US20080163163A1 MINIMIZING INTERACTION COSTS AMONG COMPONENTS OF COMPUTER PROGRAMS 有权
标题翻译：最小化计算机程序组件的交互成本
公开(公告)号：US20080163163A1
公开(公告)日：2008-07-03
申请号：US12037080
申请日：2008-02-25
申请人： Douglas N. Kimelman , Vadakkedathu T. Rajan , Tova Roth , Vugranam C. Sreedhar , Mark N. Wegman
发明人： Douglas N. Kimelman , Vadakkedathu T. Rajan , Tova Roth , Vugranam C. Sreedhar , Mark N. Wegman
IPC分类号： G06F9/44
CPC分类号： G06F11/3409 , G06F11/3447 , G06F11/3466 , G06F2201/865
摘要： A method for minimizing total cost of interaction among components of a computer program, each of the components being characterized by at least one implementation property includes steps of: a) carrying out at least a partial run of the program; b) monitoring the at least partial run of the program to measure an amount of interaction between each pair of components; c) determining a cost of interaction between each pair of interacting components; d) determining a choice of implementation properties which minimizes total cost of the at least partial run; and e) assigning that choice of implementation properties to the components for a subsequent at least partial run of the program.
摘要翻译：一种用于使计算机程序的组件之间的交互的总成本最小化的方法，每个组件的特征在于至少一个实现属性包括以下步骤：a）执行程序的至少部分运行; b）监视程序的至少部分运行以测量每对组件之间的相互作用量; c）确定每对相互作用的部件之间的交互成本; d）确定最小化至少部分跑步的总成本的实现属性的选择; 以及e）将所述实现属性的选择分配给所述组件以用于所述程序的后续至少部分运行。

10. 发明授权

US06631513B1 Methods for laying out memories bidirectionally for object oriented applications 有权
标题翻译：为面向对象的应用程序双向布局存储器的方法
公开(公告)号：US06631513B1
公开(公告)日：2003-10-07
申请号：US09425709
申请日：1999-10-22
申请人： Joseph Gil , Peter F. Sweeney , Mark N. Wegman
发明人： Joseph Gil , Peter F. Sweeney , Mark N. Wegman
IPC分类号： G06F9445
CPC分类号： G06F9/4492
摘要： There is provided a method for laying out objects corresponding to an object-oriented application. The method including the step of determining whether any two given objects have opposing directionalities. A virtual function table pointer is shared between the two given objects, and the directionalities of the two given objects are changed to mixed, when the two given objects have opposing directionalities.
摘要翻译：提供了一种用于布置与面向对象应用相对应的对象的方法。该方法包括确定任何两个给定对象是否具有相反的方向性的步骤。虚拟函数表指针在两个给定对象之间共享，并且当两个给定对象具有相反的方向性时，两个给定对象的方向性变为混合。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式