High Efficiency Algorithm of Correctness of Web Service Composition under Environment Constraint Based on IPN

The correctness of the composite Web service under the environment constraint needs new model and analyze methods. First, Web services domain and Web environment domain models based on interface Petri net are proposed. Then, an efficient determining algorithm about soundness of composite Web service is presented for the sake of analyzing the soundness of the composite Web service under the environment constraint. Finally, the algorithm is programmed and its validity is testified through the concrete example.