Please use this identifier to cite or link to this item:
Title: From StPowla processes to SRML models
Authors: Bocchi, Laura
Reiff-Marganiec, Stephan
Gorton, Stephen
First Published: May-2010
Publisher: Springer
Citation: Formal Aspects of Computing, 2010, 22(3-4), pp.243-268.
Abstract: Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, that can be dynamically published, discovered and invoked over a network. The engineering of such systems presents novel challenges, mostly due to the dynamicity and distributed nature of service-based applications. In this paper, we focus on the modelling of service orchestrations. We discuss the relationship between two languages developed under the Sensoria project: SRML as a high level modelling language for Service Oriented Architectures, and StPowla as a process-oriented orchestration approach that separates core business processes from system variability at the end-user’s level, where the focus is towards achieving business goals. A fundamental challenge of software engineering is to correctly align business goals with IT strategy, and as such we present an encoding of StPowla to SRML. This provides a formal framework for StPowla and also a separated view of policies representing system variability that is not present in SRML.
DOI Link: 10.1007/s00165-009-0118-7
ISSN: 0934-5043 (Print)
1433-299X (Online)
Type: Article
Description: This is the authors' final draft of the paper published as Formal Aspects of Computing, 2010, 22(3-4), pp.243-268. The original publication is available at , DOI: 10.1007/s00165-009-0118-7
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
FACS.pdf736.46 kBAdobe PDFView/Open

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