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

1. 发明申请

US20140040217A1 Checking Compatibility of Extended and Core SAM Schemas Based on Complex Goals 有权
标题翻译：基于复杂目标检查扩展和核心SAM模式的兼容性
公开(公告)号：US20140040217A1
公开(公告)日：2014-02-06
申请号：US13567544
申请日：2012-08-06
申请人： Jens Lemcke , Andreas Friesen , Bernhard Thimmel , Piergiorgio Bertoli , Marco Pistore , Otfried von Geisau
发明人： Jens Lemcke , Andreas Friesen , Bernhard Thimmel , Piergiorgio Bertoli , Marco Pistore , Otfried von Geisau
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06Q10/067 , G06Q30/04
摘要： Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being stored as a computer-readable document in memory and being an extension of a core SAM schema, providing one or more goals, each goal representing an intention of the core SAM schema, the one or more goals being provided in a computer-readable document stored in memory and comprising one or more primary goals that each express an intention of a process underlying the core SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.
摘要翻译：用于评估扩展状态和动作管理（SAM）模式的有效性的方法，系统和计算机可读存储介质。在一些实现中，动作包括接收扩展SAM模式，扩展SAM模式作为计算机可读文档存储在存储器中，并且是核心SAM模式的扩展，提供一个或多个目标，每个目标表示核心的意图 SAM模式，在存储在存储器中的计算机可读文档中提供一个或多个目标，并且包括一个或多个主要目标，每个主要目标表示核心SAM模式下的进程的意图，以及使用计算机处理一个或多个目标可执行模型检查工具，用于评估扩展SAM模式的有效性。

2. 发明授权

US08996472B2 Verification of status schemas based on business goal definitions 有权
标题翻译：基于业务目标定义验证状态模式
公开(公告)号：US08996472B2
公开(公告)日：2015-03-31
申请号：US13447419
申请日：2012-04-16
申请人： Jens Lemcke , Bernhard Thimmel , Otfried von Geisau , Andreas Friesen , Piergiorgio Bertoli , Marco Pistore
发明人： Jens Lemcke , Bernhard Thimmel , Otfried von Geisau , Andreas Friesen , Piergiorgio Bertoli , Marco Pistore
IPC分类号： G06F17/30 , G06Q10/00 , G06Q10/10
CPC分类号： G06Q10/00 , G06Q10/10
摘要： Methods, systems, and computer-readable storage media for evaluating a validity of a status and action management (SAM) schema. In some implementations, actions include receiving the SAM schema, the SAM schema being stored as a computer-readable document in memory, providing one or more goals, each goal representing an intention of the SAM schema, the one or more goals being provided in a computer-readable document stored in memory and including one or more primary goals and one or more recovery goals that each express an intention of a process underlying the SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the SAM schema.
摘要翻译：用于评估状态和动作管理（SAM）模式的有效性的方法，系统和计算机可读存储介质。在一些实现中，动作包括接收SAM模式，SAM模式作为计算机可读文档存储在存储器中，提供一个或多个目标，每个目标表示SAM模式的意图，一个或多个目标在存储在存储器中并且包括一个或多个主要目标和一个或多个恢复目标的计算机可读文件，每个恢复目标各自表示SAM模式的过程的意图，以及使用计算机可执行模型检查工具来处理一个或多个目标，以评估 SAM模式的有效性。

3. 发明授权

US08996473B2 Checking compatibility of extended and core SAM schemas based on complex goals 有权
标题翻译：基于复杂目标检查扩展和核心SAM模式的兼容性
公开(公告)号：US08996473B2
公开(公告)日：2015-03-31
申请号：US13567544
申请日：2012-08-06
申请人： Jens Lemcke , Andreas Friesen , Bernhard Thimmel , Piergiorgio Bertoli , Marco Pistore , Otfried von Geisau
发明人： Jens Lemcke , Andreas Friesen , Bernhard Thimmel , Piergiorgio Bertoli , Marco Pistore , Otfried von Geisau
IPC分类号： G06F17/30 , G06Q10/06 , G06Q30/04
CPC分类号： G06Q10/067 , G06Q30/04
摘要： Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being stored as a computer-readable document in memory and being an extension of a core SAM schema, providing one or more goals, each goal representing an intention of the core SAM schema, the one or more goals being provided in a computer-readable document stored in memory and comprising one or more primary goals that each express an intention of a process underlying the core SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.
摘要翻译：用于评估扩展状态和动作管理（SAM）模式的有效性的方法，系统和计算机可读存储介质。在一些实现中，动作包括接收扩展SAM模式，扩展SAM模式作为计算机可读文档存储在存储器中，并且是核心SAM模式的扩展，提供一个或多个目标，每个目标表示核心的意图 SAM模式，在存储在存储器中的计算机可读文档中提供一个或多个目标，并且包括一个或多个主要目标，每个主要目标表示核心SAM模式下的进程的意图，以及使用计算机处理一个或多个目标可执行模型检查工具，用于评估扩展SAM模式的有效性。

4. 发明申请

US20130275389A1 Verification of Status Schemas based on Business Goal Definitions 有权
标题翻译：基于业务目标定义的状态模式验证
公开(公告)号：US20130275389A1
公开(公告)日：2013-10-17
申请号：US13447419
申请日：2012-04-16
申请人： Jens Lemcke , Bernhard Thimmel , Otfried von Geisau , Andreas Friesen , Piergiorgio Bertoli , Marco Pistore
发明人： Jens Lemcke , Bernhard Thimmel , Otfried von Geisau , Andreas Friesen , Piergiorgio Bertoli , Marco Pistore
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06Q10/00 , G06Q10/10
摘要： Methods, systems, and computer-readable storage media for evaluating a validity of a status and action management (SAM) schema. In some implementations, actions include receiving the SAM schema, the SAM schema being stored as a computer-readable document in memory, providing one or more goals, each goal representing an intention of the SAM schema, the one or more goals being provided in a computer-readable document stored in memory and including one or more primary goals and one or more recovery goals that each express an intention of a process underlying the SAM schema, and processing the one or more goals using a computer-executable model checking tool for evaluating the validity of the SAM schema.
摘要翻译：用于评估状态和动作管理（SAM）模式的有效性的方法，系统和计算机可读存储介质。在一些实现中，动作包括接收SAM模式，SAM模式作为计算机可读文档存储在存储器中，提供一个或多个目标，每个目标表示SAM模式的意图，一个或多个目标在存储在存储器中并且包括一个或多个主要目标和一个或多个恢复目标的计算机可读文件，每个恢复目标各自表示SAM模式的过程的意图，以及使用计算机可执行模型检查工具来处理一个或多个目标，以评估 SAM模式的有效性。

5. 发明授权

US10417594B2 Validation of functional correctness of SAM schemas including action chains 有权
公开(公告)号：US10417594B2
公开(公告)日：2019-09-17
申请号：US13875539
申请日：2013-05-02
申请人： Jens Lemcke , Andreas Friesen , Piergiorgio Bertoli , Marco Pistore
发明人： Jens Lemcke , Andreas Friesen , Piergiorgio Bertoli , Marco Pistore
IPC分类号： G06Q10/06
摘要： Methods, systems, and computer-readable storage media for evaluating a validity of an extended status and action management (SAM) schema. In some implementations, actions include receiving the extended SAM schema, the extended SAM schema being an extension of a core SAM schema, providing one or more goals, goals representing an intention of the core SAM schema, receiving one or more action chains, action chains representing one or more actions of the extended SAM schema that are to be automatically executed, the one or more actions being associated with triggerability flags, a triggerability flag indicating whether a respective action is only triggerable using a respective action chain, and processing the one or more goals, the one or more action chains and the triggerability flags using a computer-executable model checking tool for evaluating the validity of the extended SAM schema.

6. 发明申请

US20120041794A1 METHOD AND SYSTEM TO VALIDATE COMPONENT-BASED IMPLEMENTATIONS OF BUSINESS PROCESSES 审中-公开
标题翻译：用于验证基于组件的业务流程实施的方法和系统
公开(公告)号：US20120041794A1
公开(公告)日：2012-02-16
申请号：US12854026
申请日：2010-08-10
申请人： Jens Lemcke , Andreas Friesen , Tirdad Rahmani
发明人： Jens Lemcke , Andreas Friesen , Tirdad Rahmani
IPC分类号： G06Q10/00
CPC分类号： G06Q10/06 , G06Q10/063
摘要： A computer-implemented method and system to validate component-based implementation of business processes are provided. The method comprises accessing an abstract business process and a specific business process. The specific business process includes sub-steps that refine a step in the abstract business process. A refinement between the abstract business process and the specific business process is validated using a first Petri Net. Component models are accesses, where the respective component models describe an operation performed by a component corresponding to the component model. A grounding between the sub-steps and the component models is validated using a second Petri Net.
摘要翻译：提供了一种用于验证基于组件的业务流程实现的计算机实现的方法和系统。该方法包括访问抽象业务流程和特定业务流程。具体业务流程包括细化抽象业务流程步骤的子步骤。抽象业务流程与具体业务流程之间的细化使用第一个Petri Net进行验证。组件模型是访问，其中各个组件模型描述由与组件模型相对应的组件执行的操作。子步骤和组件模型之间的接地使用第二个Petri网进行验证。

7. 发明申请

US20090063370A1 Composition of Web Services Using Representations 有权
标题翻译：使用表示的Web服务的组合
公开(公告)号：US20090063370A1
公开(公告)日：2009-03-05
申请号：US11849203
申请日：2007-08-31
申请人： Andreas Friesen , Jens Lemcke
发明人： Andreas Friesen , Jens Lemcke
IPC分类号： G06F15/00
CPC分类号： G06F8/20
摘要： A system for composing Web services may include a goal determiner unit and a composer unit. The goal determiner unit may be configured to access a primary goal of final states of Web service representations. The composer unit may be configured to compute a set of transitions from initial states of the Web service representations to the primary goal, compute intermediate states of one or more Web service representations, and generate a copy rule of the set of transitions, the copy rule having a condition part that specifies the intermediate states and a portion of the final states of the primary goal and an activity part that includes assignments of input variables consumed by transitions from the intermediate states.
摘要翻译：用于构成Web服务的系统可以包括目标确定单元和作曲者单元。目标确定单元可以被配置为访问Web服务表示的最终状态的主要目标。作曲者单元可以被配置为计算从Web服务表示的初始状态到主要目标的一组转换，计算一个或多个Web服务表示的中间状态，并且生成该组转换的复制规则，复制规则具有指定中间状态的条件部分和主要目标的最终状态的一部分以及包括从中间状态的转变消耗的输入变量的分配的活动部分。

8. 发明授权

US07979361B2 Composition of web services using representations 有权
标题翻译：使用表示构成Web服务
公开(公告)号：US07979361B2
公开(公告)日：2011-07-12
申请号：US11849203
申请日：2007-08-31
申请人： Andreas Friesen , Jens Lemcke
发明人： Andreas Friesen , Jens Lemcke
IPC分类号： G06G7/00 , G06E1/00 , G06E3/00 , G06F15/00
CPC分类号： G06F8/20
摘要： A system for composing Web services may include a goal determiner unit and a composer unit. The goal determiner unit may be configured to access a primary goal of final states of Web service representations. The composer unit may be configured to compute a set of transitions from initial states of the Web service representations to the primary goal, compute intermediate states of one or more Web service representations, and generate a copy rule of the set of transitions, the copy rule having a condition part that specifies the intermediate states and a portion of the final states of the primary goal and an activity part that includes assignments of input variables consumed by transitions from the intermediate states.
摘要翻译：用于构成Web服务的系统可以包括目标确定单元和作曲者单元。目标确定单元可以被配置为访问Web服务表示的最终状态的主要目标。作曲者单元可以被配置为计算从Web服务表示的初始状态到主要目标的一组转换，计算一个或多个Web服务表示的中间状态，并且生成该组转换的复制规则，复制规则具有指定中间状态的条件部分和主要目标的最终状态的一部分以及包括从中间状态的转变消耗的输入变量的分配的活动部分。

9. 发明授权

US08676866B2 Computing canonical hierarchical schemas 有权
标题翻译：计算规范分层模式
公开(公告)号：US08676866B2
公开(公告)日：2014-03-18
申请号：US13423471
申请日：2012-03-19
申请人： Jens Lemcke , Michael Dietrich , Gunther Stuhec
发明人： Jens Lemcke , Michael Dietrich , Gunther Stuhec
IPC分类号： G06F7/00
CPC分类号： G06Q10/10
摘要： Methods, systems, and computer-readable storage media for receiving a plurality of source hierarchical schemas, processing the source hierarchical schemas to generate a merged graph, which is comprising a plurality of merged nodes, each merged node being provided based on one or more nodes from at least two of the source hierarchical schemas, determining and resolving using conflicts in the merged graph to generate a conflict-free merged graph, wherein resolving comprises splitting one or more merged nodes into respective sub-sets of merged nodes, defining and processing a constraints satisfaction problem (CSP) to generate a plurality of mediated hierarchical schemas (MHSs), each MHS being a solution to the CSP, identifying an MHS of the plurality of MHSs as an optimum MHS, wherein a canonical hierarchical schema (CHS) is provided as the optimum MHS, and storing the CHS as a computer-readable document in a computer-readable memory.
摘要翻译：用于接收多个源分层模式的方法，系统和计算机可读存储介质，处理源分层模式以生成包括多个合并节点的合并图，每个合并节点是基于一个或多个节点从源分层模式中的至少两个，确定和解决使用合并图中的冲突以生成无冲突的合并图，其中解决包括将一个或多个合并的节点分解成合并的节点的相应子集，定义和处理约束满足问题（CSP）以产生多个中介层级模式（MHS），每个MHS是CSP的解决方案，将多个MHS的MHS识别为最佳MHS，其中提供了规范分级模式（CHS）作为最佳MHS，并将CHS作为计算机可读文档存储在计算机可读存储器中。

10. 发明授权

US08290989B2 Data model optimization 有权
标题翻译：数据模型优化
公开(公告)号：US08290989B2
公开(公告)日：2012-10-16
申请号：US12269324
申请日：2008-11-12
申请人： Gunther Stuhec , Florian Gessner , Jens Lemcke
发明人： Gunther Stuhec , Florian Gessner , Jens Lemcke
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06F17/30386 , G06F17/2785 , G06F17/30607
摘要： A name of one or more entity classes of the data model may be refined to conform to a naming convention. A semantic meaning of each of the names and one or more attributes of each entity class may be determined. It may be determined that the name of a first entity class is semantically similar to the name of a second entity class based on a semantic distance between the semantic meaning of the names, where a substantial similarity may be determined between the first entity class and the second entity class by comparing the semantic meaning of the one or more attributes of the first entity class to the semantic meaning of the one or more attributes of the second entity class. The data model may be normalized based on the substantial similarity.
摘要翻译：数据模型的一个或多个实体类的名称可以被改进以符合命名约定。可以确定每个实体类的每个名称和一个或多个属性的语义含义。可以确定第一实体类的名称在语义上类似于第二实体类的名称，该名称基于名称的语义意义之间的语义距离，其中可以在第一实体类和第第二实体类，通过将第一实体类的一个或多个属性的语义意义与第二实体类的一个或多个属性的语义意义进行比较。数据模型可以基于实质的相似性来归一化。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式