公开(公告)号：US20140236554A1

公开(公告)日：2014-08-21

申请号：US14347958

申请日：2011-10-07

Applicant: HEWLETT-PACKARD DEVELOPMENT COMPANY, L.P.

Inventor： Yin Wang ,  Ahmed Nazeem

IPC: G06N5/00

CPC classification number: G06N5/00 ,  G06Q10/10 ,  G06Q30/06

Abstract: A method and a system of generating a non-deterministic model of an artifact system for a received goal are provided.A description of artifacts and services associated with an original version of a process is received. Component automata represent the artifacts and services that are automatically generated. There is one component automaton for each attribute of an artifact. States of a particular component automaton represents potential values of a particular attribute and transitions between the states represent services that operate on the values. A non-deterministic model of the process is generated by automatically generating a composite automaton, which includes the component automata, based on the received goal. The composite automaton provides the non-deterministic model of the process

Abstract translation: 提供了一种生成用于接收到的目标的伪像系统的非确定性模型的方法和系统。 接收与进程的原始版本相关联的工件和服务的描述。 组件自动机代表自动生成的工件和服务。 工件的每个属性都有一个组件自动机。 特定组件自动机的状态表示特定属性的潜在值，状态之间的转换表示对值进行操作的服务。 基于接收到的目标，通过自动生成包括组件自动机的复合自动机来产生该过程的非确定性模型。 复合自动机提供了非确定性的过程模型