摘要:
提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题。
关键词:
业务过程管理,
面向Artifact,
谓词/变迁Petri网,
半结构化数据
Abstract:
According to the properties of Artifact, semi-structured data is used to represent it. Taking advantage of Predict/Transition Petri-Net(Pr/T-Net), a new method is proposed to formalize the business process model, in which the static predict is the set of Document Type Definition(DTD) which gives Artifact structure and the transition is a kind of first-order logic language which operates the XML. The arrival, persistence and uniqueness of the Artifact are analyzed.
Key words:
Business Process Management(BPM),
Artifact-oriented,
Predicate/Transition Petri-Net(Pr/T-Net),
semi-structured data
中图分类号:
王颖, 刘国华, 赵丹枫, 赵威. 面向Artifact的业务过程模型[J]. 计算机工程, 2010, 36(20): 37-39.
WANG Ying, LIU Guo-Hua, DIAO Dan-Feng, DIAO Wei. Artifact-oriented Business Process Model[J]. Computer Engineering, 2010, 36(20): 37-39.