Automatically Deriving Choreography-Conforming Systems of Services

We present a formal method 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. A formal model to represent orchestrations and choreographies is given, 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 by a choreography.

[1]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[2]  Xiang Fu,et al.  Specification of realizable service conversations using collaboration diagrams , 2007, IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07).

[3]  Rocco De Nicola,et al.  Trace and Testing Equivalence on Asynchronous Processes , 2002, Inf. Comput..

[4]  Gregor von Bochmann,et al.  Realizability of Collaboration-based Service Specifications , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[5]  Jan Tretmans,et al.  Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation , 1996, Comput. Networks ISDN Syst..

[6]  Jan Tretmans,et al.  Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.

[7]  Mohamed G. Gouda,et al.  Synthesis of Communicating Finite-State Machines with Guaranteed Progress , 1984, IEEE Trans. Commun..

[8]  Munindar P. Singh,et al.  Service-Oriented Computing: Key Concepts and Principles , 2005, IEEE Internet Comput..

[9]  Gregorio Díaz,et al.  Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach , 2009, FMOODS/FORTE.

[10]  Chao Cai,et al.  Towards the theoretical foundation of choreography , 2007, WWW '07.

[11]  Nobuko Yoshida,et al.  Theoretical Aspects of Communication-Centred Programming , 2008, Electron. Notes Theor. Comput. Sci..

[12]  Wil M. P. van der Aalst,et al.  From Public Views to Private Views - Correctness-by-Design for Services , 2007, WS-FM.

[13]  Matthew Hennessy,et al.  Testing Theories for Asynchronous Languages , 1998, FSTTCS.

[14]  Mario Bravetti,et al.  Towards a Unifying Theory for Choreography Conformance and Contract Compliance , 2007, SC@ETAPS.

[15]  Xiang Fu,et al.  Choreography Modeling and Analysis with Collaboration Diagrams , 2008, IEEE Data Eng. Bull..

[16]  Mario Bravetti,et al.  Contract Compliance and Choreography Conformance in the Presence of Message Queues , 2008, WS-FM.