Research on Web Service Composition and Verification
Cheng Yong-shang, Zhijian Wang, Xiao-feng Zhou · Third International Conference on Semantics, Knowledge and Grid (SKG 2007) · 2007
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.