DocumentCode :
2698226
Title :
Correctness verification of synchronization based workflow model
Author :
Jian, Cai ; Wen, Zhao ; Shikun, Zhang ; Lifu, Wang
Author_Institution :
Sch. of Electron. & Comput. Sci., Peking Univ., Beijing
fYear :
2005
fDate :
12-18 Oct. 2005
Firstpage :
527
Lastpage :
530
Abstract :
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In 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 workflows 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 counterexample when an error exists in model, this will help to improve the model
Keywords :
Petri nets; business data processing; formal verification; synchronisation; workflow management software; Petri net; business process operation; correctness verification; model checking; spin model checker; synchronization based workflow model; traditional information system; workflow management system; Automata; Computer science; Control systems; Engineering management; Logic; Logistics; Management information systems; Resource management; Time factors; Workflow management software; Petri net; model checking; spin model checker; workflow; workjlow logic; workjlow semantic;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
e-Business Engineering, 2005. ICEBE 2005. IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2430-3
Type :
conf
DOI :
10.1109/ICEBE.2005.43
Filename :
1552940
Link To Document :
بازگشت