业务过程模型的Petri网形式化检查方法

摘要：

为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Petri网,构造出一种可建模企业问复杂业务协同的业务过程流网.采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具.采用业务过程流网对供应链中企业间采购订单过程进行了建模.实验结果表明,业务过程流网能将符合过程定义町扩展标记语占规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析.

关键词：企业间协同、业务建模、模型检查、业务过程建模符号、可扩展标记语言、Petri网

所属期刊栏目：17

分类号：TP311;TP319(计算技术、计算机技术)

资助基金：国家863计划资助项目2007AA040801

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

页数：共10页

页码：1110-1119