Service choreography#Web Service Choreography

Service choreography is better understood through the comparison with another paradigm of service composition: service orchestration. On one hand, in service choreographies the logic of the message-based interactions among the participants is specified from a global perspective. In service orchestration, on the other hand, the logic is specified from the local point of view of one controlling participant, called the orchestrator. In the service orchestration language BPEL, for example, the specification of the service orchestration (e.g. the BPEL process file) is a workflow that can be deployed on the service infrastructure (for example a BPEL execution engine like Apache ODE). The deployment of the service orchestration specification transforms a workflow into a composite service.{{Cite book|last1=Arellanes|first1=Damian|last2=Lau|first2=Kung-Kiu|title=2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA) |chapter=Exogenous Connectors for Hierarchical Service Composition |date=2017|location=Kanazawa|publisher=IEEE|pages=125–132|doi=10.1109/SOCA.2017.25|isbn=9781538613269|s2cid=31211787|chapter-url=https://eprints.lancs.ac.uk/id/eprint/145571/1/Exogenous_Connectors_For_Hierarchical_Service_Composition.pdf}}

In a sense, service choreography and orchestrations are two sides of the same coin. On one hand, the roles of a service choreography can be extracted as service orchestrations through a process called projection. Through projection it is possible to realize skeletons, i.e. incomplete service orchestrations that can be used as baselines to realize the web services that participate to the service choreography. On the other hand, already existing service orchestrations may be composed in service choreographies.

Service choreographies are not executed: they are enacted. A service choreography is enacted when its participants execute their roles. That is, unlike service orchestration, service choreographies are not run by some engine on the service infrastructure, but they “happen" when their roles are executed. This is because the logic of the service choreography is specified from a global point of view, and thus it is not realized by one single service like in service orchestration.

The key question which much of the research into choreography seeks to answer is this: Suppose a global choreography is constructed that describes the possible interactions between the participants in a collaboration. What conditions does the choreography need to obey if it is to be guaranteed that the collaboration succeeds? Here, succeeds means that the emergent behaviour that results when the collaboration is enacted, with each participant acting independently according to its own skeleton, exactly follows the choreography from which the skeletons were originally projected. When this is the case, the choreography is said to be realizable. In general, determining realizability of a choreography is a non-trivial question, particularly where the collaboration uses asynchronous messaging and it is possible for different participants to send messages simultaneously.

In the ambit of the specifications concerning Web services, the following specifications have focused on defining languages to model service choreographies:

• Web Service Choreography Description Language (WS-CDL) is a XML-based specification from the W3C for modelling choreographies using constructs inspired by Pi calculus
• Web Service Choreography Interface (WSCI) is an XML-based specification that was put forward to the W3C by Intalio, Sun Microsystems, BEA Systems and SAP AG, and that served as input to the Web Service Choreography Description Language (WS-CDL)

Moreover, the OMG specification BPMN version [http://www.omg.org/cgi-bin/doc?dtc/09-08-14 2.0] includes diagrams to model service choreographies.Jack Vaughan: [http://searchsoa.techtarget.com/news/article/0,289142,sid26_gci1372109,00.html BPMN 2.0 adds notation to handle BPM choreography]. SearchSOA.com, 22 Oct 2009

Academic proposals for service choreography languages include:

• Let's Dance
• BPEL4Chor
• Chor{{cite web|title=Chor Programming Language|url=http://www.chor-lang.org}}

Moreover, a number of service choreography formalisms have been proposed based on:

• Petri Nets, for example Interaction Petri Nets and Open Workflow Nets
• Finite-State Machines
• Guarded Automata
• Timed Automata
• Pi calculus
• Process calculi

{{Use dmy dates|date=March 2014}}

Web service choreography (WS-Choreography) is a specification by the W3C defining an XML-based business process modeling language that describes collaboration protocols of cooperating Web Service participants, in which services act as peers, and interactions may be long-lived and stateful. (Orchestration is another term with a very similar, but still different meaning.)

The main effort to get a choreography, The W3C Web Services Choreography Working Group, was closed on 10 July 2009[http://www.w3.org/2002/ws/chor/ Web Services Choreography Working Group] at W3 leaving WS-CDL as a Candidate Recommendation.

"Many presentations at the W3C Workshop on Web services of 11–12 April 2001 pointed to the need for a common interface and composition language to help address choreography. The Web Services Architecture Requirements Working Draft created by the Web Services Architecture Working Group also lists the idea of Web service choreography capabilities as a Critical Success Factor, in support of several different top-level goals for the nascent Web services architecture"[http://www.w3.org/2005/12/wscwg-charter.html].

The problem of choreography was of great interest to the industry during that time; efforts such as WSCL (Web Service Conversation Language) and WSCI (Web Service Choreography Interface) were submitted to W3C and were published as Technical Notes. Moreover, complementary efforts were launched:[http://www.w3.org/2005/12/wscwg-charter.html Charter]

• BPML, now BPMN
• BPSS by ebXML [http://www.ebXML.org]
• WSFL by IBM
• XLANG by Microsoft
• BPEL4WS by IBM, Microsoft and BEA

"In June 2002, Intalio, Sun, BEA and SAP released a joint specification named Web Services Choreography Interface (WSCI). This specification was also submitted to W3C as a note in August 2002. W3C has since formed a new Working Group called Web Services Choreography Working Group within the Web services Activity. The WSCI specification is one of the primary inputs into the [http://www.w3.org/2002/ws/chor Web Services Choreography Working Group] which published a [http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/ Candidate Recommendation on WS-CDL version 1.0] on November 9th, 2005"[http://searchwebservices.techtarget.com/originalContent/0,289142,sid26_gci925987,00.html]. "XLang, WSFL and WSCI are no longer being supported by any standard organization or companies. BPEL replaced Xlang and WSFL WSCI was superseded by WS-CDL"{{usurped|1=[https://web.archive.org/web/20160608195736/http://www.ebpml.org/deprecated.htm]}}.

The upcoming Business Process Modeling Notation version 2.0 will introduce diagrams for specifying service choreographies.

The academic field has put forward other service choreography languages, for example Let's Dance, BPEL4Chor and MAP.Adam Barker, Christopher D. Walton, David Robertson: [https://dx.doi.org/10.1109/TSC.2009.8 Choreographing Web Services]. IEEE Transactions on Services Computing, volume 2, number 2, pages 152-166, IEEE Computer Society, April–June 2009

Service choreographies specify message-based interactions among participants from a global perspective.

In the same way as programming languages can be grouped into programming paradigms, service choreography languages can be grouped in styles:

• Interaction modelling: the logic of the choreography is specified as a workflow in which the activities represent the message exchanges between the participants S-Cube Knowledge Model: [http://www.s-cube-network.eu/km/terms/i/interaction-choreography-model Interaction Choreography Model] (for example Web Service Choreography Description Language (WS-CDL) and Let's Dance)
• Interconnected interfaces modelling: the logic of the choreography is split across its participants through the roles they play (i.e. their expected messaging behavior). The roles are connected using message flows, channels, or equivalent constructsS-Cube Knowledge Model: [http://www.s-cube-network.eu/km/terms/i/interconnected-interface-choreography-model Interconnected Interface Choreography Model] (this is for example the case of BPEL4Chor)

There are several active research projects on the topic of service choreography.

• [http://www.chorevolution.eu/ CHOReVOLUTION: Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet]
• [http://www.chor-lang.org/ CRC: Choreographies for Reliable and efficient Communication software]
• [https://github.com/salboaie/SwarmESB SwarmESB - a light, open source, ESB or message hub for node.js]
• [https://profs.info.uaic.ro/~ads/PrivateSkyEn/ PrivateSKY - experimental development in public-private partnership for local cloud platforms with advanced data protection features]

• Choreographic programming - A programming paradigm where programs are choreographies.
• BPEL - Business Process Execution Language, OASIS standard
• Executable choreography
• Service composability principle
• Web Service Choreography Description Language - A language for describing choreographies developed in the scope of the W3C

Chris Peltz: [http://csdl.computer.org/comp/mags/co/2003/10/rx046abs.htm Web Services Orchestration and Choreography]. IEEE Computer (COMPUTER) 36(10):46-52 (2003)

Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao: [https://dx.doi.org/10.1007/978-3-540-79230-7_1 Towards a Theory of Web Service Choreographies]. WS-FM 2007:1-16

Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang: [http://doi.acm.org/10.1145/1242572.1242704 Towards the theoretical foundation of choreography]. WWW 2007:973-982

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu: [https://dx.doi.org/10.1007/978-3-540-73196-2_6 "Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation"]. FORTE 2007:81-96

Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer: [http://doi.ieeecomputersociety.org/10.1109/AICT-ICIW.2006.131 Model-Based Analysis of Obligations in Web Service Choreography]. AICT/ICIW 2006:149

Johannes Maria Zaha, Alistair P. Barros, Marlon Dumas, Arthur H. M. ter Hofstede: [https://dx.doi.org/10.1007/11914853_10 Let's Dance: A Language for Service Behavior Modeling]. OTM Conferences 2006:145-162

Gero Decker, Oliver Kopp, Frank Leymann, Mathias Weske: [http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.59 BPEL4Chor: Extending BPEL for Modeling Choreographies]. ICWS 2007:296-303

Gero Decker, Mathias Weske: [https://dx.doi.org/10.1007/978-3-540-75183-0_22 Local Enforceability in Interaction Petri Nets]. BPM 2007:305-319

Karsten Schmidt: [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.7062 Controllability of Open Workflow Nets]. EMISA 2005:236-249

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: [https://dx.doi.org/10.1007/11767954_5 Choreography and Orchestration Conformance for System Design]. COORDINATION 2006:63-81

Tevfik Bultan, Jianwen Su, Xiang Fu: [http://doi.ieeecomputersociety.org/10.1109/MIC.2006.1 Analyzing Conversations of Web Services]. IEEE Internet Computing (INTERNET) 10(1):18-25 (2006)

Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou: [https://dx.doi.org/10.1007/978-3-540-89652-4_24 Sound Multi-party Business Protocols for Service Networks]. ICSOC 2008:302-316

Adam Barker, Christopher D. Walton, David Robertson: [https://dx.doi.org/10.1109/TSC.2009.8 Choreographing Web Services]. IEEE Transactions on Services Computing, volume 2, number 2, pages 152-166, IEEE Computer Society, April–June 2009

ShuiGuang Deng, Zhaohui Wu, Mengchu Zhou, Ying Li, Jian Wu: [https://dx.doi.org/10.1007/11901181_4 Modeling Service Compatibility with Pi-calculus for Choreography]. ER 2006:26-39

Paolo Besana, Adam Barker: [https://dx.doi.org/10.1007/978-3-642-05148-7_26 An Executable Calculus for Service Choreography]. OTM Conferences 2009:373-380

Raman Kazhamiakin, Marco Pistore: [https://dx.doi.org/10.1007/11888116_5 Analysis of Realizability Conditions for Web Service Choreographies]. FORTE 2006:61-76

Gero Decker, Oliver Kopp, Alistair P. Barros: An Introduction to Service Choreographies (Servicechoreographien - eine Einführung). it - Information Technology (IT) 50(2):122-127 (2008)

Ashley McNeile: [https://dx.doi.org/10.1007/s11761-010-0060-9 Protocol Contracts with Application to Choreographed Multiparty Collaborations]. Service Oriented Computing and Applications Volume 4, Number 2, 109-136 (2010)

{{cite conference | last1 = Carbone | first1 = Marco | last2 = Montesi | first2 = Fabrizio | year = 2013 | title = Deadlock-freedom by design: Multiparty Asynchronous Global Programming | doi = 10.1145/2429069.2429101 }}

• [http://www.w3.org/TR/ws-cdl-10/ Web Service Choreography Description Language] - [http://www.w3.org W3C] specification for WS-Choreography
• [http://www.w3.org/TR/ws-cdl-10-primer/ Web Service Choreography Description Language: Primer] -
• [http://www.w3.org/TR/wsci/ Web Service Choreography Interface (WSCI) 1.0] - specification by Intalio, Sun, BEA and SAP; input into WS-Choreography
• [https://cordis.europa.eu/project/rcn/96288/factsheet/en Large-scale Choreographies for the Future Internet] - European Commission FP7 Research Project
• [http://www-128.ibm.com/developerworks/webservices/library/ws-choreography/ Web services choreography in practice] - Motivation and description of WSCI
• [http://www.servicechoreographies.com Service Choreographies] - Site promoting the concept of service choreography as a basis for service-oriented systems design. The site also describes a language for modeling choreographies on top of WSCI, namely Let's Dance.
• [http://www.w3.org/TR/ws-cdl-10/ Web Services Choreography Description Language Version 1.0]
• [http://www.w3.org/2002/ws/chor/ W3C Web Services Choreography Working Group]
• [http://www.is.pku.edu.cn/~fmows/ Formal Modelling of Web Services]
• [http://www.w3.org/2002/ws/chor/edcopies/theory/note.pdf A Theoretical Basis of Communication-Centred Concurrent Programming]
• [http://portal.acm.org/citation.cfm?id=1242704 Towards the Theoretical Foundation of Choreography]
• [http://www.math.pku.edu.cn:8000/var/preprint/7073.pdf Exploring Into the Essence of Choreography]

{{Portal bar|Business|Technology|Science|Electronics|Internet}}

Category:Service-oriented (business computing)

Category:Web service specifications