Verification mechanism for semantic Web service composition based on colored Petri-nets
Min Liu · Computer Integrated Manufacturing Systems · 2007
Web services composition is a complex and error-prone process,but existing composition specifications provide no way to verify correctness and ensure a smooth execution.To tackle this problem,Colored Petri-nets(CP-nets) was applied as formal tool to describe and model Web services composition.Basic rules for composition algebra were defined by service composition algebra.According to relevant semantics of composition elements of Web service ontology,corresponding operators were constructed.Furthermore,the techniques were provided to analyze and validate the CP-nets,by which the dynamic behaviors of the established model could be verified and composition errors such as deadlocks could be detected in advance,as a result the composition reliability was improved and runtime failure was avoided.Finally,an example was given to illustrate the effectiveness of the approach.