A Petri Net-Based Model for Aspect-Oriented Web Service Composition

Aspect-oriented programming is an emerging programming paradigm. Now the concept of aspect-orientation stretches over other development phases and other domains. Many researches have focused on aspect-oriented Web service composition domain. However, none of them offers a formal foundation for the aspect-oriented service composition. In this paper, we propose a Petri net-based algebra for aspect-oriented Web service composition. In our model, Web service composition is modeled as basic composition net and aspect nets, and then weaving mechanism is provided to compose the basic net and aspect nets. The formal semantics of the composition operation is expressed in terms of Petri nets. Thus, the properties of woven composite service can be verified and analyzed based on the underlying Petri net.