DocumentCode
2643896
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
Volume
1
fYear
2010
fDate
17-19 Sept. 2010
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICEIT.2010.5607669
Filename
5607669
Link To Document