Please use this identifier to cite or link to this item:
Scopus Web of Science® Altmetric
Type: Journal article
Title: Design for service compatibility
Author: Grossmann, G.
Schrefl, M.
Stumptner, M.
Citation: Software and System Modeling, 2013; 12(3):489-515
Publisher: Springer Verlag
Issue Date: 2013
ISSN: 1619-1366
Statement of
Georg Grossmann, Michael Schrefl, Markus Stumptner
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 abstraction 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 behavioural consistency of inheritance hierarchies, a model-driven approach for creating consistent service orchestrations is proposed. Service execution and interaction is represented with a high-level model in terms of extended Petri net notation; formal criteria are provided for service consistency that can be checked in terms of local model properties, and give a multi-step design approach for developing services that are guaranteed to be interoperable. Finally, it is outlined how the presented results can be carried over and applied to modelling processes using the Business Process Modelling Notation (BPMN).
Keywords: Service compatibility
Petri net
Business process modelling
Behavior diagrams
Consistency rules
Rights: © Springer-Verlag 2012
DOI: 10.1007/s10270-012-0229-0
Grant ID:
Appears in Collections:Aurora harvest 7
Computer Science publications

Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.