'Correction of unrealizable service choreographies’

M. Mancioppi

Research output: ThesisDoctoral Thesis

775 Downloads (Pure)


This thesis is devoted to the detection and correction of design flaws affecting service choreographies. Service choreographies are models that specify how software services are composed in a decentralized, message-driven fashion. In particular, this work focuses on flaws that compromise the realizability of services choreographies, i.e., those flaws that prevent the choreographies from actually been enacted by their participants in a distributed fashion. Contributions include a novel realizability analysis method based on Control Flow Graphs and the concept of participant-awareness, a large portfolio of strategies for generating changes for correcting the realizability defects without risking of introducing others as side-effect and observations on the interplay of realizability in choreographies and the type of modeling constructs that are offered by choreography modeling languages.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Tilburg University
  • Papazoglou, Mike, Promotor
  • van den Heuvel, Willem-Jan, Promotor
Award date8 Sept 2015
Place of PublicationTilburg
Print ISBNs978 90 5668 450 1
Publication statusPublished - 2015


Dive into the research topics of ''Correction of unrealizable service choreographies’'. Together they form a unique fingerprint.

Cite this