专利快速检索-快速检索全球专利，免费商用专利数据库-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. 发明授权

US09021392B2 Managing extension projects with repository based tagging 有权
标题翻译：使用基于库的标记管理扩展项目
公开(公告)号：US09021392B2
公开(公告)日：2015-04-28
申请号：US12843180
申请日：2010-07-26
申请人： Stefan A. Baeuerle , Uwe Schlarb , Bernhard Thimmel , Frank Jentsch , Jurgen Specht , Karsten Fanghänel , Matthias Lebr , Klaus Rauer
发明人： Stefan A. Baeuerle , Uwe Schlarb , Bernhard Thimmel , Frank Jentsch , Jurgen Specht , Karsten Fanghänel , Matthias Lebr , Klaus Rauer
IPC分类号： G06F3/048 , G06F9/44 , G06F17/30 , G06Q40/00 , G06F9/445 , G06F3/0482
CPC分类号： G06Q40/00 , G06F3/0482 , G06F8/36 , G06F8/65 , G06F8/658 , G06F8/71
摘要： According to some embodiments, information about a delta change package may be received. The delta change package may be, for example, associated with a customer extension project to be applied to content from a business service provider. A description tag for the delta change package may be received from a user, and the delta change package may be associated with the description tag in a repository of the business service provider.
摘要翻译：根据一些实施例，可以接收关于增量更改包的信息。增量更改包可以例如与要应用于来自商业服务提供商的内容的客户扩展项目相关联。可以从用户接收增量更改包的描述标签，并且增量更改包可以与商业服务提供商的仓库中的描述标签相关联。

6. 发明授权

US08892667B2 Systems and methods for sending and receiving communications 有权
标题翻译：用于发送和接收通信的系统和方法
公开(公告)号：US08892667B2
公开(公告)日：2014-11-18
申请号：US13248820
申请日：2011-09-29
申请人： Frank Brunswig , Daniel Goldmann , Bare Said , Jan Teichmann , Stefan Baeuerle , Robert Getzner , Bernhard Thimmel
发明人： Frank Brunswig , Daniel Goldmann , Bare Said , Jan Teichmann , Stefan Baeuerle , Robert Getzner , Bernhard Thimmel
IPC分类号： G06F15/16 , G06F9/54
CPC分类号： G06F9/546
摘要： A computer system includes instructions recorded on a computer-readable storage medium and executable by at least one processor. The computer system includes a process component of a first deployment unit and a component module. The process component has a handling module and an object module. The handling module is operatively coupled to the object module. The handling module is operatively coupled to the component module. The handling module is configured to receive a message from a second deployment unit.
摘要翻译：计算机系统包括记录在计算机可读存储介质上并由至少一个处理器执行的指令。计算机系统包括第一部署单元和组件模块的处理组件。过程组件具有处理模块和对象模块。处理模块可操作地耦合到对象模块。处理模块可操作地耦合到组件模块。处理模块被配置为从第二部署单元接收消息。

7. 发明授权

US08868830B2 Practical code list cache for value help 有权
标题翻译：实用的代码列表缓存值的帮助
公开(公告)号：US08868830B2
公开(公告)日：2014-10-21
申请号：US13196865
申请日：2011-08-02
申请人： Olaf Duevel , Udo Klein , Friedhelm Krebs , Steffen Riemann , Bernhard Thimmel
发明人： Olaf Duevel , Udo Klein , Friedhelm Krebs , Steffen Riemann , Bernhard Thimmel
IPC分类号： G06F12/16 , G06Q10/10 , G06Q30/00 , G06F3/01
CPC分类号： G06F3/01 , G06Q10/10 , G06Q30/00
摘要： Methods and apparatus, including computer program products, are provided for providing value help. In one aspect, there is provided a computer-implemented method. The method may include receiving, at a code list provider, a request from a user interface for code list value help; determining, based on the request, whether to access at least one of a cache and a secondary storage; accessing, by the code list provider, a cache including at least a first code list, the cache implemented in memory, when the determination results in access to the cache; accessing a secondary storage including at least a second code list, when the determination results in access to the secondary storage; and sending, by the code list provider, at least one of the first code list and the second code list to a user interface to enable the user interface to provide code list value help. Related apparatus, systems, methods, and articles are also described.
摘要翻译：提供包括计算机程序产品在内的方法和设备，以提供价值帮助。一方面，提供了一种计算机实现的方法。该方法可以包括在代码列表提供者处接收来自用户界面的用于代码列表值帮助的请求; 基于所述请求确定是否访问高速缓存和辅助存储器中的至少一个; 当所述确定导致对所述高速缓存的访问时，由所述代码列表提供者访问至少包括第一代码列表，所述高速缓存器中的高速缓存; 当确定导致访问次级存储器时，访问包括至少第二代码列表的辅助存储器; 以及由所述代码列表提供者将所述第一代码列表和所述第二代码列表中的至少一个发送到用户界面，以使所述用户界面能够提供代码列表值帮助。还描述了相关装置，系统，方法和制品。

8. 发明授权

US08365200B1 Using cancellation status models in a computer system 有权
标题翻译：在计算机系统中使用取消状态模型
公开(公告)号：US08365200B1
公开(公告)日：2013-01-29
申请号：US12571759
申请日：2009-10-01
申请人： Bernhard Thimmel , Frank Michael Kraft , Jacques Duparc
发明人： Bernhard Thimmel , Frank Michael Kraft , Jacques Duparc
IPC分类号： G06F3/00 , G06F9/44 , G06F9/46 , G06F13/00
CPC分类号： G06Q30/00 , G06F8/10 , G06F8/35 , G06F9/4488 , G06Q10/08
摘要： A computer system, in which cancellation status models are used. The computer system receives a request to cancel a parent data object node instance and accesses a first cancellation building block that models a first cancellation subprocess for the first type of data object node and that is integrated in a first status schema defined for the first type of data object node. The computer system executes cancellation of the parent data object node instance by accessing data that indicates whether or not a child data object node instance is able to be cancelled and conditioning cancellation of the parent data object node instance on the accessed data indicating that the child data object node instance is able to be cancelled.
摘要翻译：使用取消状态模型的计算机系统。计算机系统接收到取消父数据对象节点实例的请求，并且访问对第一类型的数据对象节点建模第一消除子过程的第一抵消构建块，并且被集成在为第一类型的数据对象节点定义的第一状态模式中数据对象节点。计算机系统通过访问指示子数据对象节点实例是否能够取消的数据来执行父数据对象节点实例的取消，并且对所访问的数据的父数据对象节点实例进行调节消除，指示子数据对象节点实例能够被取消。

9. 发明授权

US08200715B1 Using status models with adaptable process steps in a computer system 有权
标题翻译：在计算机系统中使用具有适应性过程步骤的状态模型
公开(公告)号：US08200715B1
公开(公告)日：2012-06-12
申请号：US12634996
申请日：2009-12-10
申请人： Frank Michael Kraft , Bernhard Thimmel , Wasim Sadiq
发明人： Frank Michael Kraft , Bernhard Thimmel , Wasim Sadiq
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06F9/4488
摘要： Techniques are described for using a design-time status schema model to describe the progress of a data object through a computing process. The status schema model includes status variables, processing actions and constraints for performing actions. The status schema model also includes preconditions for performing actions and a modeling element where the modeling element indicates a process step for a business process where the process step can be switched on and off at runtime. A precondition belonging to the process step identifies how a status affects whether an action is to be allowed to be performed at runtime by a data object node instance having the status. At runtime, the status schema model is used to control processing performed by, or on, an instance of a data object corresponding to the status schema model. The precondition is evaluated at runtime only if the process step is switched on.
摘要翻译：描述了使用设计时状态模式模型通过计算过程描述数据对象的进度的技术。状态模式模型包括状态变量，处理动作和执行操作的约束。状态模式模型还包括用于执行动作的前提条件和建模元素，其中建模元素指示业务流程的流程步骤，其中流程步骤可以在运行时被打开和关闭。属于过程步骤的前提条件识别状态如何影响是否允许在运行时由具有状态的数据对象节点实例执行动作。在运行时，状态模式模型用于控制由状态模式模型对应的数据对象的实例执行的处理。只有在打开过程步骤时，才能在运行时对前提条件进行评估。

10. 发明授权

US08020172B2 Using status models having status derivations in a computer system 有权
标题翻译：使用在计算机系统中具有状态推导的状态模型
公开(公告)号：US08020172B2
公开(公告)日：2011-09-13
申请号：US11617638
申请日：2006-12-28
申请人： Frank Michael Kraft , Guenter Pecht-Seibert , Klaus Meyer , Bernhard Thimmel , Patrick Josef Bardroff , Gregor Schilberth , Wasim Sadiq
发明人： Frank Michael Kraft , Guenter Pecht-Seibert , Klaus Meyer , Bernhard Thimmel , Patrick Josef Bardroff , Gregor Schilberth , Wasim Sadiq
IPC分类号： G06F9/44 , G06Q30/00
CPC分类号： G06Q30/0637 , G06F9/4488
摘要： A design-time status schema model describes the progress of a data object through a computing process. The status schema model includes status variables, processing actions and constraints for performing actions. The status schema model also may describe permitted changes to a status variable in response to performing an action. At runtime, the status schema model is used to control processing performed by, or on, an instance of a data object corresponding to the status schema model.
摘要翻译：设计时状态模式模型通过计算过程描述数据对象的进度。状态模式模型包括状态变量，处理动作和执行操作的约束。状态模式模型还可以描述响应于执行动作的状态变量的允许的改变。在运行时，状态模式模型用于控制由状态模式模型对应的数据对象的实例执行的处理。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式