Model driven orchestration : design for service compatibility
Date
2010
Authors
Grossmann, G.
Schrefl, M.
Stumptner, M.
Editors
Petriu, P.
C, D.
C, D.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010 / Petriu, P., C, D. (ed./s), vol.6395 LNCS, iss.PART 2, pp.17-31
Statement of Responsibility
Conference Name
MODELS 2010 (3 Oct 2010 - 8 Oct 2010 : Olso, Norway)
Abstract
Service composition is a recent field that has seen a flurry of different approaches proposed towards the goal of flexible distributed heterogeneous interoperation of software systems, usually based on the expectation that such systems must be derived from higher level models rather than be coded at low level. In practice, achieving service interoperability nonetheless continues to require significant modelling approach at multiple levels, and existing formal approaches typically require the analysis of the global space of joint executions of interacting services. Based on our earlier work on providing locally checkable consistency rules for guaranteeing the behavioral consistency of inheritance hierarchies, we propose a model-driven approach for creating consistent service orchestrations. We represent service execution and interaction with a high-level model in terms of Petri-net based Behavior diagrams, provide formal criteria for service consistency that can be checked in terms of local model properties, and give a design methodology for developing services that are guaranteed to be interoperable.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright 2010 Springer-Verlag Berlin Heidelberg