面向Artifact的业务过程模型

摘要：

提出一种面向Artifact的业务过程形式化模型.利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁.实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题.

关键词：业务过程管理、面向Artifact、谓词/变迁Petri网、半结构化数据

所属期刊栏目：36

分类号：N945.12(系统科学)

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

在线出版日期：2010-12-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：37-39,42