Verification Mechanism for Web Service Composition Based on Extended Colored Petri Net
Chungang Yan · 2009
The development of Web service technology provides us a kind of platform-independent,self-described,location-transparent software module.Utilizing Web service composition technology,business demand can be met quickly and flexibly.As Web service composition becomes more and more complexity,design of composition process became more and more error-prone.We put forward a model for Web service composition description based on extended colored Petri net.This model is independent of any process description languages,supports hierarchical process description and can describe a more comprehensive process.Moreover,we also presented methods to validate control flow correctness,data flow correctness and process instance correctness of the process,thus we can insure the process correctness from these three levels.