Correction of Unrealizable Service Choreographies
Michele Mancioppi · Data Archiving and Networked Services (DANS) · 2008
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.