'Correction of unrealizable service choreographies’

M. Mancioppi

Research output: ThesisDoctoral ThesisScientific

486 Downloads (Pure)

Abstract

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
Supervisors/Advisors
  • Papazoglou, Mike, Promotor
  • van den Heuvel, Willem-Jan, Promotor
Award date8 Sep 2015
Place of PublicationTilburg
Publisher
Print ISBNs978 90 5668 450 1
Publication statusPublished - 2015

Fingerprint

Defects
Flow graphs
Modeling languages

Cite this

Mancioppi, M. (2015). 'Correction of unrealizable service choreographies’. Tilburg: CentER, Center for Economic Research.
Mancioppi, M.. / 'Correction of unrealizable service choreographies’. Tilburg : CentER, Center for Economic Research, 2015. 215 p.
@phdthesis{223148b531894cd89684d005b0b3edb1,
title = "'Correction of unrealizable service choreographies’",
abstract = "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.",
author = "M. Mancioppi",
year = "2015",
language = "English",
isbn = "978 90 5668 450 1",
series = "CentER Dissertation Series",
publisher = "CentER, Center for Economic Research",
school = "Tilburg University",

}

Mancioppi, M 2015, ''Correction of unrealizable service choreographies’', Doctor of Philosophy, Tilburg University, Tilburg.

'Correction of unrealizable service choreographies’. / Mancioppi, M.

Tilburg : CentER, Center for Economic Research, 2015. 215 p.

Research output: ThesisDoctoral ThesisScientific

TY - THES

T1 - 'Correction of unrealizable service choreographies’

AU - Mancioppi, M.

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

M3 - Doctoral Thesis

SN - 978 90 5668 450 1

T3 - CentER Dissertation Series

PB - CentER, Center for Economic Research

CY - Tilburg

ER -

Mancioppi M. 'Correction of unrealizable service choreographies’. Tilburg: CentER, Center for Economic Research, 2015. 215 p. (CentER Dissertation Series).