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

41. 发明授权

US07966621B2 Using multiple status models in a computer system 有权
标题翻译：在计算机系统中使用多个状态模型
公开(公告)号：US07966621B2
公开(公告)日：2011-06-21
申请号：US11617616
申请日：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分类号： G06F3/00 , G06F7/00 , G06F17/30
CPC分类号： 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.
摘要翻译：设计时状态模式模型通过计算过程描述数据对象的进度。状态模式模型包括状态变量，处理动作和执行操作的约束。状态模式模型还可以描述响应于执行动作的状态变量的允许的改变。在运行时，状态模式模型用于控制由状态模式模型对应的数据对象的实例执行的处理。

42. 发明申请

US20090089309A1 Using Status Models With Inhibiting Status Values In A Computer System 有权
标题翻译：在计算机系统中使用抑制状态值的状态模型
公开(公告)号：US20090089309A1
公开(公告)日：2009-04-02
申请号：US11862813
申请日：2007-09-27
申请人： Bernhard Thimmel , Frank Michael Kraft , Wasim Sadiq
发明人： Bernhard Thimmel , Frank Michael Kraft , Wasim Sadiq
IPC分类号： G06F17/30
CPC分类号： G06Q10/06 , G06F8/10
摘要： Actions are controlled actions in a computer-based process by a status schema model defined at design-time, stored in a computer-readable medium and including a precondition identifying 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. A status schema instance is created for a particular data object node instance being used in a computer-based process. The status schema instance corresponds to the status schema model and includes a status variable having an inhibiting status value. Conditioned upon a determination that the data object node instance includes a value for a status variable that corresponds to the inhibiting status value of the status variable of the status schema model, actions are prohibited to be performed by the data object node instance other than an action with an explicit precondition from the inhibiting status value.
摘要翻译：操作是在基于计算机的过程中由在设计时定义的状态模式模型的控制动作，存储在计算机可读介质中，并且包括识别状态如何影响是否允许在运行时执行动作的前提条件具有状态的数据对象节点实例。为基于计算机的进程中使用的特定数据对象节点实例创建状态模式实例。状态模式实例对应于状态模式模型，并包括具有禁止状态值的状态变量。在确定数据对象节点实例包括与状态模式模型的状态变量的禁止状态值相对应的状态变量的值的情况下，动作被禁止除数据对象节点实例之外的动作具有从抑制状态值的明确前提条件。

43. 发明授权

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模式的有效性。

44. 发明申请

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模式的有效性。

45. 发明授权

US08522261B2 Using status models with state guards in a computer system 有权
标题翻译：在计算机系统中使用状态模型与状态保护
公开(公告)号：US08522261B2
公开(公告)日：2013-08-27
申请号：US11617580
申请日：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
CPC分类号： G06F8/24
摘要： 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.
摘要翻译：设计时状态模式模型通过计算过程描述数据对象的进度。状态模式模型包括状态变量，处理动作和执行操作的约束。状态模式模型还可以描述响应于执行动作的状态变量的允许的改变。在运行时，状态模式模型用于控制由状态模式模型对应的数据对象的实例执行的处理。

46. 发明授权

US07945594B2 Using status models with inhibiting status values in a computer system 有权
标题翻译：在计算机系统中使用具有禁止状态值的状态模型
公开(公告)号：US07945594B2
公开(公告)日：2011-05-17
申请号：US11862813
申请日：2007-09-27
申请人： Bernhard Thimmel , Frank Michael Kraft , Wasim Sadiq
发明人： Bernhard Thimmel , Frank Michael Kraft , Wasim Sadiq
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06Q10/06 , G06F8/10
摘要： Actions are controlled actions in a computer-based process by a status schema model defined at design-time, stored in a computer-readable medium and including a precondition identifying 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. A status schema instance is created for a particular data object node instance being used in a computer-based process. The status schema instance corresponds to the status schema model and includes a status variable having an inhibiting status value. Conditioned upon a determination that the data object node instance includes a value for a status variable that corresponds to the inhibiting status value of the status variable of the status schema model, actions are prohibited to be performed by the data object node instance other than an action with an explicit precondition from the inhibiting status value.
摘要翻译：操作是在基于计算机的过程中由在设计时定义的状态模式模型的控制动作，存储在计算机可读介质中，并且包括识别状态如何影响是否允许在运行时执行动作的前提条件具有状态的数据对象节点实例。为基于计算机的进程中使用的特定数据对象节点实例创建状态模式实例。状态模式实例对应于状态模式模型，并包括具有禁止状态值的状态变量。在确定数据对象节点实例包括与状态模式模型的状态变量的禁止状态值相对应的状态变量的值的情况下，动作被禁止除数据对象节点实例之外的动作具有从抑制状态值的明确前提条件。

47. 发明申请

US20080005743A1 Using Status Models with Status Transitions in a Computer System 审中-公开
标题翻译：在计算机系统中使用具有状态转换的状态模型
公开(公告)号：US20080005743A1
公开(公告)日：2008-01-03
申请号：US11617495
申请日：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/30
CPC分类号： 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

热门服务

关于我们

友情链接

联系方式