Abstract
Automatic Web Service composition is gaining momentum as the potential silver bullet in Service Oriented Architecture. The need for interservice compatibility;analysis and indirect composition has gone beyond what the existing service composition/verification technologies can handle. Given two services whose interface invocation constraints are described by a Web Services-Business Process Execution Language (WS-BPEL or BPEL), we analyze their compatibility and adopt mediation as a lightweight approach to make them compatible without changing their internal logic. We first transform a BPEL description into a service workflow net, which is a kind of colored Petri net (CPN). Based on this formalism, we analyze the compatibility of two services, and then devise an approach to check whether there exists any message mediator so that their composition does not violate the constraints imposed by either side. The method for mediator generation is finally proposed to assist the automatic composition of partially compatible services. Our approach is validated through a real-life case and further research directions are pointed out.
Note to Practitioners-Web services are an emerging area for business process automation. This work presents a novel and fundamental framework to analyze and compose web services. It is based on CPNs and a newly proposed concept called Communicating Reachability Graph. Given any two services developed using Business Process Execution Language, the proposed method converts them into CPNs and analyzes their compatibility. Meanwhile, it finds out if a message mediator exists in. case of partial compatibility. If so, it is synthesized. A real-life case is used to illustrate the feasibility of the proposed concepts and method. They can be readily