DocumentCode
2866210
Title
Research on Web Service Composition and Verification
Author
Cheng Yongshang ; Wang Zhijian ; Zhou Xiaofeng
Author_Institution
Hohai Univ., Nanjing
fYear
2007
fDate
29-31 Oct. 2007
Firstpage
467
Lastpage
470
Abstract
The modeling techniques are desired for reliable Web service composition. In this paper, a modeling method based on CP-nets (colored Petri nets) is described. In order to model Web service composition, 5 kinds of main patterns for composing services are presented and the relatives of the composite services are described in detail. After discussing the verification of the composite service model, an algorithm is given to test the dead transition of the composite service model. Finally, the advantages of modeling using CP-nets are clearly showed through an instance.
Keywords
Petri nets; Web services; formal verification; Web service composition; colored Petri net; formal verification; Algebra; Application software; Control systems; Educational institutions; Grid computing; Knowledge engineering; Petri nets; Reliability engineering; Testing; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Semantics, Knowledge and Grid, Third International Conference on
Conference_Location
Shan Xi
Print_ISBN
0-7695-3007-9
Electronic_ISBN
978-0-7695-3007-9
Type
conf
DOI
10.1109/SKG.2007.115
Filename
4438596
Link To Document