DocumentCode
2778728
Title
The Implementation of XPDL Workflow Verification Service Based on SaaS
Author
Xiao, Ding ; Zhang, Qianqian
Author_Institution
Beijing Key Lab. of Intell., Beijing Univ. of Posts & Telecommun., Beijing, China
fYear
2010
fDate
13-14 May 2010
Firstpage
154
Lastpage
158
Abstract
The process sub-model is the core of workflow model, verifying process sub-model before deployment can reduce the cost of shutdown, inspection and repair at run-time. This paper proposes verification algorithms, which focus on structural errors of process sub-model, and those algorithms will use the characteristics of the extended Petri net discussed in this paper. Simultaneously, this paper explains how to design a XPDL Validator based on SaaS and it emphasis on mapping XPDL process definition to extended Petri net.
Keywords
Web services; XML; formal verification; workflow management software; XPDL process definition; XPDL workflow verification service; extended Petri net; process sub-model; software-as-a-service; verification algorithms; Costs; Databases; Error correction; Inspection; Laboratories; Logic; Runtime; Simultaneous localization and mapping; Web and internet services; Workflow management software; Mapping algorithm; SaaS; Verification algorithm; XPDL; extended Petri net;
fLanguage
English
Publisher
ieee
Conference_Titel
Service Sciences (ICSS), 2010 International Conference on
Conference_Location
Hangzhou
Print_ISBN
978-0-7695-4017-7
Type
conf
DOI
10.1109/ICSS.2010.26
Filename
5494292
Link To Document