An Executable Calculus for Service Choreography

  • Authors:
  • Paolo Besana;Adam Barker

  • Affiliations:
  • University of Edinburgh,;University of Melbourne,

  • Venue:
  • OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Lightweight Coordination Calculus (LCC) is a compact choreography language based on process calculus. LCC is a directly executable specification and can therefore be dynamically distributed to a group of peers for enactment at run-time; this offers flexibility and allows peers to coordinate in open systems without prior knowledge of an interaction. This paper contributes to the body of choreography research by proposing two extensions to LCC covering parallel composition and choreography abstraction. These language extensions are evaluated against a subset of the Service Interaction Patterns, a benchmark in the process modelling community.