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
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;
Conference_Titel :
Service Sciences (ICSS), 2010 International Conference on
Conference_Location :
Hangzhou
Print_ISBN :
978-0-7695-4017-7
DOI :
10.1109/ICSS.2010.26
