Towards the theoretical foundation of choreography

With the growth of interest on the web services, people pay increasinglyattention to the choreography, that is, to describe collaborations ofparticipants in accomplishing a common business goal from a globalviewpoint. In this paper, based on a simple choreography language and arole-oriented process language, we study some fundamental issues relatedto choreography, especially those related to implementation, includingsemantics, projection and natural projection, dominant role in choices anditerations, etc. We propose the concept of dominant role and somenovel languages structures related to it. The study reveals some cluesabout the language, the semantics, the specification and theimplementation of choreography.

[1]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[2]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[3]  T. D. Fletcher,et al.  Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[4]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[5]  Jing Li,et al.  Conformance Validation between Choreography and Orchestration , 2007, TASE.

[6]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[7]  Yang Hongli,et al.  Towards the formal model and verification of web service choreography description language , 2006 .

[8]  Jan Mendling,et al.  From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL , 2005, OTM Workshops.

[9]  Marco Carbone,et al.  Structured Global Programming for Communication Behaviour , 2006 .

[10]  Savas Parastatidis,et al.  Sequencing Constraints SSDL Protocol Framework , 2005 .

[11]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[12]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[13]  Wil M. P. van der Aalst,et al.  Life After BPEL? , 2005, EPEW/WS-FM.

[14]  Li Jing,et al.  Conformance Validation between Choreography and Orchestration , 2007 .

[15]  Roberto Gorrieri,et al.  Choreography and Orchestration Conformance for System Design , 2006, COORDINATION.