Analysis and Verification of Independent Global Constraints for Web Service Composition Model
Yinghua Feng · Journal of Changsha University · 2013
The analysis method of Petri net is used to verify the correctness and reliability of independent global constraints for Web service composition model.Firstly,according to the feature of the constraint,after improving the fire rule of the transition t,the method of the reachable tree is used to verify the correctness.Then,the reliability of the model is verified by constructing a reliability verification figure.Finally,an example is given to analyze the specific process and the result shows that the method is feasible.