Labeled Generalized Stochastic Petri Net Based Approach for Web Services Composition

A Web Service is a component written in any language, deployed on any platform, which has a standard wrapping layer based on XML.The component can interact with other applications which themselves comply with the Web Services standards. Generally, a single service does not satisfy the users needs that are more and more complex. Therefore, services must be made able to becomposed to build new value added services. This process is called Web services Composition. This latter is a critical subject that requires formal techniques for its completion. In this paper, we show how basic and existent services can be composed to create a composite service which offers a new functionality. In this context, we propose an expressive Labeled generalized stochastic Petri net based algebra that succeeds in the complex Web services composition. Basic and advanced constructs which are supported by the proposed algebra are syntactically and semantically defined.