Execution Semantics for Service Choreographies

Decker, Gero and Zaha, Johannes Maria and Dumas, Marlon (2006) Execution Semantics for Service Choreographies. (Unpublished)

PDF - UNSPECIFIED
381Kb

Abstract

A service choreography is a model of the interactions in which a set of services engage to achieve a goal, seen from the perspective of an ideal observer that records all messages exchanged between these services. Choreographies have been put forward as a starting point for building service-oriented systems since they provide a global picture of the system’s behavior. In previous work we presented a language for service choreography modeling targeting the early phases of the development lifecycle. This paper provides an execution semantics for this language in terms of a mapping to -calculus. This formal semantics provides a basis for analyzing choreographies. The paper reports on experiences using the semantics to detect unreachable interactions.

ID Code:	4329
Item Type:	Journal Article
Divisions:	QUT Faculties and Divisions > Faculty of Science and Technology
Copyright Owner:	Copyright 2006 (please consult author)
Deposited On:	19 Jul 2006
Last Modified:	23 Jan 2009 02:06

Export: EndNote | Dublin Core

Staff only: HERDC collection form

Repository Staff Only: item control page