Web Services Composition Modeling and Verification Based on Petri Net
Ding Chong-chon · Computer Knowledge and Technology · 2014
This paper first puts forward Web services composition modeling method based on Petri net. The formal modeling for Web services composition is also the article research content. Then the paper uses the reachability tree as the analytical tool to analyse and verify the features of services composition model, such as accessibility, activity and boundedness. Finally, the article us.es a specific example to illustrate the application of this method.