Research of the Verification in Workflow Process Modeling on the Application of Petri Nets

被引：1

作者：

Li Ye-bai ^{[1
]}

Mao Fu-qi ^{[1
]}

机构：

[1] N China Univ Technol, Coll Informat Engn, Beijing 100144, Peoples R China

来源：

2010 INTERNATIONAL CONFERENCE ON E-EDUCATION, E-BUSINESS, E-MANAGEMENT AND E-LEARNING: IC4E 2010, PROCEEDINGS | 2010年

关键词：

Workflow; Verification; Petri nets; Process;

D O I：

10.1109/IC4E.2010.71

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A critical challenge for workflow management systems is their ability to respond effectively to changes in business processes. Unfortunately, today's workflow management systems are not well suited to dealing with frequent changes, because there are few checks to assure some minimal level of correctness. This paper presents a method using Petri-Net-Based techniques which makes the workflow process model verification mechanism integrated into the graphical process design component. As well as the verification process and verification approach are described.

引用

页码：21 / 24

页数：4

共 9 条

[1] LI HB, 2009, COMPUTER RES DEV, P1143
[2] TANG BZ, 2004, COMPUTER ENG APPL, P37
[3] Van der Aalst W., 1996, Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC96), P179
[4] The application of Petri nets to workflow management
Van der Aalst, WMP
[J]. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 21 - 66
[5] vanderAalst W. M. P., 2003, P 2003 INT C BUS PRO, P161
[6] VERBEEK HMW, 2008, COMPUT J, P246
[7] *WFMC, 1995, TC001003 WFMC
[8] XIE JL, 2007, COMPUTER APPL SOFTWA, P167
[9] YU B, 2001, MICROCOMPUTER INFORM, P220

← 1 →