Hierarchical Colored Petri Net Description Model for Web Service Composition

Aiming at resource expression and correctness validation problem of Web service composition,this paper puts forward a formal description model for Web service composition process based on hierarchical colored Petri net.The model can describe control flow and data flow of Web service composition contemporarily,so it can describe composition process comprehensively.It supports correctness analysis and validation of composition process,and can simulate process instance run.Modeling instance demonstrates the effectiveness and practicality of the model.