Correctness verification of synchronization based workflow model

被引：0

作者：

Cai, J ^{[1
]}

Zhao, W ^{[1
]}

Zhang, SK ^{[1
]}

Wang, LF ^{[1
]}

机构：

[1] Peking Univ, Sch Elect Engn & Comp Sci, Beijing 100871, Peoples R China

来源：

ICEBE 2005: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS | 2005年

关键词：

workflow; model checking; petri net; workflow logic; workflow semantic; spin model checker;

D O I：

10.1109/ICEBE.2005.43

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work It? contrast to traditional information systems, they attempt to support frequent changes of the workflows at hand Therefore, the need for analysis methods to verify the correctness Of work/flows is becoming more prominent. In this paper, we present a method for correctness verification of synchronization based workflow, model. Moreover, the method can give a counter example when an error exists in model, this will help to improve the model.

引用

页码：527 / 530

页数：4