CPN-based verification of web service composition model
Ya-bei Wang, Shangliang Pan · 2010
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.