Technical Report TR-2012-01

BibliographyMancioppi, Michele; Danylevych, Olha: Awareness-based Realizability Analysis of Service Choreographies.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Technical Report Computer Science No. 2012/01.
74 pages, english.
CR-SchemaH.4.1 (Office Automation)
Keywordsservice choreographies; realizability; awareness; exception handling

Service choreographies are technical contracts which specify the message-based interactions among collaborating parties, called participants. The interaction paradigm for modeling choreographies foresees the specification of the messaging occurring among the participants from a global perspective, e.g. as a workflow in which the message exchanges among the participants are modeled as activities. Since the ordering and timing of the message exchanges are specified from a global perspective, it is surprisingly simple to specify choreographies that cannot be correctly enacted by their participants. A choreography that is specified so that its participants cannot play their roles is said to be unrealizable. Realizability is a fundamental property of interaction choreographies. In a sense, an unrealizable interaction choreography fails its purpose: it specifies a distributed messaging behavior that cannot be enacted accurately by its participants. In this work we present a method for the analysis of the realizability of interaction choreographies based on the concept of participant awareness. Participant awareness is a symbolic representation of what a participant ``knows'' of the global state of the enactments it partakes. The realizability analysis presented in this work is specified on the basis of ChorTex, a choreography modeling language based on process algebras. ChorTex has exception throwing and handling constructs that are very similar to those available in orchestration languages like BPEL, and that can be used to realize interrupting, event-based constructs like termination end events in BPMN v2.0. Our finding is that, due to the distributed nature of choreography enactments, modelers must use such constructs with extreme care.

Full text and
other links
PDF (874287 Bytes)
Contactmichele.mancioppi(at) or michele.mancioppi(at)
Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Project(s)S-Cube NoE
Entry dateFebruary 13, 2012
   Publ. Institute   Publ. Computer Science