Automatic Composition of Petri Net Based Web Services
Qian Hua Zhu · Chinese Journal of Computers · 2006
Automatic Composition of Web services is one of the most important issues in the research of service-oriented computing (SOC). According to the relationship of messages and activities, Web services are defined as message oriented activity based Petri net model (Moap). The model is characterized in terms of message domain and service process. The formal is used to the service cooperation and the communication with client; the latter is the description of Petri net based service process. Moap supports the reuse of the composite services. Compared with automata based models, Moap can describe parallel composition and the meta-message mechanism benefits the automatic composition. Based on Moap, the problem of service composition is presented including the definition of composite Web service system and the service cooperation. Then, the rules of automatic service composition are proposed and the soundness and the completeness are proven. Finally, an example also proofs the usability of Moap.