06014350

j

06014350 Rodr{\'\i}guez, Ismael D{\'\i}az, Gregorio Rabanal, Pablo Mateo, Jose Antonio A centralized and a decentralized method to automatically derive choreography-conforming web service systems. J. Log. Algebr. Program. 81, No. 2, 127-159 (2012). 2012 Elsevier Science Inc. (North-Holland), New York, NY EN automatic web service composition formal specification web service choreography

doi:10.1016/j.jlap.2011.10.001

Summary: We present a formal model to represent orchestrations and choreographies and we define several conformance semantic relations allowing to detect whether a set of orchestration models, representing some web services, leads to the overall communications described in a choreography. Given this formal model, we develop automatic methods to derive a set of web services from a given choreography, in such a way that the system consisting of these services necessarily conforms to the choreography. These methods enable the construction of conforming systems of services even in cases where projecting the choreography into each service would lead to a non-conforming system. This issue is addressed by adding some control messages that make services interact as required by the choreography. Two different derivation methods are presented. In the centralized method, a new service is responsible of managing these additional control messages. In the decentralized method, the responsibility of handling these messages is distributed among all services.