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

1. 发明授权

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.

2. 发明申请

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.
摘要翻译：一种用于提供业务应用程序要求的符号模式检查的系统和方法。语言允许构建业务流程的模型，该模型包括多个动作，每个动作具有前提条件和后置条件或结果。为业务应用程序的属性构建规范，其规范描述了业务流程的状态和可能发生的顺序。最后，分析模型和规格，以确定模型是否满足规范。如果模型不符合规范，则业务应用中可能会出现问题。该过程可以自动化，以允许系统做出假设，以对应用程序中选定的潜在问题领域进行彻底分析。

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. 发明授权

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

5. 发明授权

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

6. 发明授权

US08706704B2 Method and system for creating semantic relationships using hyperlinks 有权
标题翻译：使用超链接创建语义关系的方法和系统
公开(公告)号：US08706704B2
公开(公告)日：2014-04-22
申请号：US11775913
申请日：2007-07-11
申请人： Steven R. Abrams , Bard Bloom , Paul T. Keyser , Douglas N. Kimelman , Eric M. Nelson , Tova Roth , Ian Simmonds , Steven Tang , Wendy D. Neuberger , Dru Ann Vlissides
发明人： Steven R. Abrams , Bard Bloom , Paul T. Keyser , Douglas N. Kimelman , Eric M. Nelson , Tova Roth , Ian Simmonds , Steven Tang , John M. Vlissides , Wendy D. Neuberger
IPC分类号： G06F17/30
CPC分类号： G06F17/30731 , G06F17/30896 , G06F17/30902
摘要： A method and system are disclosed for creating a hyperlink together with an associated semantic link between a source entity, and a target entity. The source entity includes descriptive text. The system includes means for selecting text within the source entity, and means for selecting the target entity. Also, means are provided for selecting a type of semantic link, and means are provided for creating a hyperlink between said selected text and said target entity. The system further includes means for creating a semantic link of said type between said source entity and said target entity, including means for including in the hyperlink a reference to said semantic link. In the preferred embodiment of the invention, the means for selecting the type of semantic link includes means for prompting a user to select from among a plurality of candidate types of semantic links.
摘要翻译：公开了用于在源实体和目标实体之间创建超链接以及相关联的语义链接的方法和系统。源实体包括描述性文本。该系统包括用于选择源实体内的文本的装置，以及用于选择目标实体的装置。此外，提供了用于选择一种语义链接的装置，并且提供了用于在所述所选择的文本和所述目标实体之间创建超链接的装置。该系统还包括用于在所述源实体和所述目标实体之间创建所述类型的语义链接的装置，包括用于在超链接中包括对所述语义链接的引用的装置。在本发明的优选实施例中，用于选择语义链接类型的装置包括用于提示用户从多个候选类型的语义链接中进行选择的装置。

7. 发明申请

US20090019353A1 MANIPULATING DESIGN MODELS BY EDITING GENERATED REPORTS 失效
标题翻译：通过编辑生成的报告来操纵设计模型
公开(公告)号：US20090019353A1
公开(公告)日：2009-01-15
申请号：US11776028
申请日：2007-07-11
申请人： Steven R. Abrams , Bard Bloom , Paul T. Keyser , Douglas N. Kimelman , Eric M. Nelson , Tova Roth , Ian Simmonds , Steven Tang , John M. Vlissides , Dru Ann Vlissides
发明人： Steven R. Abrams , Bard Bloom , Paul T. Keyser , Douglas N. Kimelman , Eric M. Nelson , Tova Roth , Ian Simmonds , Steven Tang , John M. Vlissides , Dru Ann Vlissides
IPC分类号： G06F17/20
CPC分类号： G06F17/24 , G06F17/2247 , G06F17/248
摘要： A method and system are disclosed for manipulating a model, where that model represents some or all of a design. The design includes a multitude of design elements, the model includes a multitude of model elements, and each of the design elements is represented by a single model element. The method comprises the steps of generating a suite of documents from the model, each of the documents describing a view of the model; and displaying the documents to a user as a series of forms. The user provides information to the forms to change the documents, and changes to the documents result in both changes to the model and consistent changes across the suite of documents. In the preferred embodiment, the model identifies specific relationships between the elements of the model, and each of the model elements has defined properties.
摘要翻译：公开了一种用于操纵模型的方法和系统，其中该模型表示设计的一些或全部。该设计包括许多设计元素，该模型包含多个模型元素，每个设计元素都由单个模型元素表示。该方法包括以下步骤：从模型生成一组文档，每个文档描述模型的视图; 并将文档作为一系列表单显示给用户。用户向表单提供更改文档的信息，对文档的更改会导致模型的更改以及整套文档的一致更改。在优选实施例中，模型识别模型的元素之间的特定关系，并且每个模型元素具有定义的属性。

8. 发明授权

US08499238B2 Manipulating design models by editing generated reports 失效
标题翻译：通过编辑生成的报告来操纵设计模型
公开(公告)号：US08499238B2
公开(公告)日：2013-07-30
申请号：US11776028
申请日：2007-07-11
申请人： Steven R. Abrams , Bard Bloom , Paul T. Keyser , Douglas N. Kimelman , Eric M. Nelson , Tova Roth , Ian Simmonds , Steven Tang , Dru Ann Vlissides
发明人： Steven R. Abrams , Bard Bloom , Paul T. Keyser , Douglas N. Kimelman , Eric M. Nelson , Tova Roth , Ian Simmonds , Steven Tang , John M. Vlissides
IPC分类号： G06F17/00
CPC分类号： G06F17/24 , G06F17/2247 , G06F17/248
摘要： A method and system are disclosed for manipulating a model, where that model represents some or all of a design. The design includes a multitude of design elements, the model includes a multitude of model elements, and each of the design elements is represented by a single model element. The method comprises the steps of generating a suite of documents from the model, each of the documents describing a view of the model; and displaying the documents to a user as a series of forms. The user provides information to the forms to change the documents, and changes to the documents result in both changes to the model and consistent changes across the suite of documents. In the preferred embodiment, the model identifies specific relationships between the elements of the model, and each of the model elements has defined properties.
摘要翻译：公开了一种用于操纵模型的方法和系统，其中该模型表示设计的一些或全部。该设计包括许多设计元素，该模型包含多个模型元素，每个设计元素都由单个模型元素表示。该方法包括以下步骤：从模型生成一组文档，每个文档描述模型的视图; 并将文档作为一系列表单显示给用户。用户向表单提供更改文档的信息，对文档的更改会导致模型的更改以及整套文档的一致更改。在优选实施例中，模型识别模型的元素之间的特定关系，并且每个模型元素具有定义的属性。

9. 发明申请

US20090018988A1 METHOD AND SYSTEM FOR CREATING SEMANTIC RELATIONSHIPS USING HYPERLINKS 有权
标题翻译：使用HYPERLINKS创建语义关系的方法和系统
公开(公告)号：US20090018988A1
公开(公告)日：2009-01-15
申请号：US11775913
申请日：2007-07-11
申请人： Steven R. Abrams , Bard Bloom , Paul T. Keyser , Douglas N. Kimelman , Eric M. Nelson , Tova Roth , Ian Simmonds , Steven Tang , John M. Vlissides , Dru Ann Vlissides
发明人： Steven R. Abrams , Bard Bloom , Paul T. Keyser , Douglas N. Kimelman , Eric M. Nelson , Tova Roth , Ian Simmonds , Steven Tang , John M. Vlissides , Dru Ann Vlissides
IPC分类号： G06F17/30
CPC分类号： G06F17/30731 , G06F17/30896 , G06F17/30902
摘要： A method and system are disclosed for creating a hyperlink together with an associated semantic link between a source entity, and a target entity. The source entity includes descriptive text. The system includes means for selecting text within the source entity, and means for selecting the target entity. Also, means are provided for selecting a type of semantic link, and means are provided for creating a hyperlink between said selected text and said target entity. The system further includes means for creating a semantic link of said type between said source entity and said target entity, including means for including in the hyperlink a reference to said semantic link. In the preferred embodiment of the invention, the means for selecting the type of semantic link includes means for prompting a user to select from among a plurality of candidate types of semantic links.
摘要翻译：公开了用于在源实体和目标实体之间创建超链接以及相关联的语义链接的方法和系统。源实体包括描述性文本。该系统包括用于选择源实体内的文本的装置，以及用于选择目标实体的装置。此外，提供了用于选择一种语义链接的装置，并且提供了用于在所述所选择的文本和所述目标实体之间创建超链接的装置。该系统还包括用于在所述源实体和所述目标实体之间创建所述类型的语义链接的装置，包括用于在超链接中包括对所述语义链接的引用的装置。在本发明的优选实施例中，用于选择语义链接类型的装置包括用于提示用户从多个候选类型的语义链接中进行选择的装置。

10. 发明申请

US20140052998A1 SECURITY MODEL FOR ACTOR-BASED LANGUAGES AND APPARATUS, METHODS, AND COMPUTER PROGRAMMING PRODUCTS USING SAME 失效
公开(公告)号：US20140052998A1
公开(公告)日：2014-02-20
申请号：US13611064
申请日：2012-09-12
申请人： Bard Bloom , John H. Field , Salvatore Guarnieri , Marco Pistoia
发明人： Bard Bloom , John H. Field , Salvatore Guarnieri , Marco Pistoia
IPC分类号： G06F21/24
CPC分类号： G06F21/6218 , G06F8/20 , G06F21/554 , G06F21/566 , G06F21/6227 , G06F2221/2113 , H04L63/08 , H04L63/20
摘要： An application includes: a programming model including a service provider, first components, second components, and sinks communicating via messages. Each of the second components is assigned a unique capability. A given one of the first components routes a message from the given first component to second component(s) and then to a sink. Each of the second component(s) sends the message to the service provider. The service provider creates a token corresponding at least to a received message and a unique capability assigned to an associated one of the second component(s) and sends the token to the associated one of the second component(s). The selected sink receives the message and a token corresponding to each of the second component(s), verifies each received token, and either accepts the message if each of the received tokens is verified or ignores the message if at least one of the received tokens is not verified.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式