Constraint-Aware Correctness Analyzing of Composite Web Service Based on Open Petri Net
Xin D. Gao, Xianwen Fang, Zhicai Xu · 2011
Under the environment constraint, the correctness analyzing of the composite Web service has been a research hot spot. Firstly, the paper proposes the modeling methods of Web services and Web environments based on open Petri net (OPN). Then, in order to analyze the correctness of the composite Web service under the environment constraint, several determining algorithms about correctness of composite web service are presented. Finally, a concrete example is given out. Theoretical analysis and experimental results indicate that the methods can analyze the correctness of constraint composite service effectively.