Choreographing Web Services

Adam Barker, Christopher D. Walton, David Robertson

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

This paper introduces the multiagent protocols (MAP) Web service choreography language and demonstrates how service choreographies can be specified, verified, and enacted with a comparatively simple process language. MAP is a directly executable specification, services do not have to be preconfigured at design-time. Instead, a choreography, specified in MAP, can be sent dynamically to a group of distributed peers to execute at runtime. Furthermore, MAP is based on a formal foundation, this allows model checking of the choreography definition prior to live distribution and enactment. A motivating scenario, taken from the AstroGrid science use-cases, serves as the focal point for the paper and highlights the benefits of choreography, through data flow optimization and lack of centralized server. The MAP formal syntax and model checking environment are discussed in the context of the motivating scenario, along with MagentA, an implementation of MAP which provides a concrete, and open-source framework for the enactment of distributed choreographies. MAP is evaluated by demonstrating the languages conformance to the service interaction patterns, a collection of 13 recurring workflow patterns.
Original languageEnglish
Pages (from-to)152-166
Number of pages15
JournalIEEE Transactions on Services Computing
Issue number2
Publication statusPublished - Apr 2009


Dive into the research topics of 'Choreographing Web Services'. Together they form a unique fingerprint.

Cite this