Title :
CPN-based verification of web service composition model
Author :
Wang, Yabei ; Pan, Shangliang
Author_Institution :
Res. Inst. of Comput. Sci. & Technol., Ningbo Univ., Ningbo, China
Abstract :
In order to ensure the correctness of web service composition in WS-BPEL, this paper proposes modeling, analysis and verification based on Colored Petri Nets(CPN), and provides the mapping between WS-BPEL process and CPN model. Then we use CPN tools to create model for web service composition based on CPN. The model defines the web service net and then analyzes its reachability tree to validate the service composition.
Keywords :
Petri nets; Web services; business data processing; formal verification; CPN-based verification; WS-BPEL; Web service composition model; colored Petri nets; reachability tree; Analytical models; Programming; CPN; WS-BPEL; Web service; Web service composition;
Conference_Titel :
Educational and Information Technology (ICEIT), 2010 International Conference on
Conference_Location :
Chongqing
Print_ISBN :
978-1-4244-8033-3
Electronic_ISBN :
978-1-4244-8035-7
DOI :
10.1109/ICEIT.2010.5607669
