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.
|Qualification||Doctor of Philosophy|
|Award date||8 Sep 2015|
|Place of Publication||Tilburg|
|Print ISBNs||978 90 5668 450 1|
|Publication status||Published - 2015|