计算机工程 ›› 2010, Vol. 36 ›› Issue (20): 37-39.doi: 10.3969/j.issn.1000-3428.2010.20.013

• 博士论文 • 上一篇    下一篇

面向Artifact的业务过程模型

王 颖1,刘国华1,2,赵丹枫1,赵 威1   

  1. (1. 燕山大学信息科学与工程学院计算机科学与工程系,河北 秦皇岛 066004;2. 东华大学计算机科学与技术学院,上海 201620)
  • 出版日期:2010-10-20 发布日期:2010-10-18
  • 作者简介:王 颖(1980-),女,博士研究生,主研方向:业务过程管理,Petri网,半结构化数据XML;刘国华,教授、博士生导师;赵丹枫、赵 威,博士研究生
  • 基金项目:

    国家自然科学基金资助项目(60773100)

Artifact-oriented Business Process Model

WANG Ying1, LIU Guo-hua1,2, ZHAO Dan-feng1, ZHAO Wei1   

  1. (1. Department of Computer Science and Engineering, School of Information Science and Engineering, Yanshan University, Qinhuangdao 066004, China; 2. School of Computer Science and Technology, Donghua University, Shanghai 201620, China)
  • Online:2010-10-20 Published:2010-10-18

摘要:

提出一种面向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

中图分类号: