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

被引：6

作者：

邓建 ^{[1
]}

陈智 ^{[2
]}

曾家智 ^{[1
]}

机构：

[1] 电子科技大学计算机科学与工程学院

[2] 电子科技大学通信抗干扰国家级重点实验室

来源：

计算机集成制造系统 | 2011年 / 17卷 / 05期

关键词：

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

D O I：

10.13196/j.cims.2011.05.216.dengj.023

中图分类号：

TP301.1 [自动机理论];

学科分类号：

摘要：

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

引用

页码：1110 / 1119

页数：10

共 4 条

[1] XPDL2.0规范的过程控制模式分析 [J].

凌卫青 ;

王坚 .

计算机集成制造系统, 2007, (09) :1839-1846

[2] Semantics and analysis of business process models in BPMN [J].

Dijkman, Remco M. ;

Dumas, Marlon ;

Ouyang, Chun .

INFORMATION AND SOFTWARE TECHNOLOGY, 2008, 50 (12) :1281-1294

[3]

XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows[J] . H.M.W. Verbeek,W.M.P. van der Aalst,Akhil Kumar.Information Technology and Management . 2004 (1)

[4] Mathematical aspects of net theory [J].

C. A. Petri .

Soft Computing, 2001, 5 (2) :146-151

← 1 →