Skip to main content

Engineering Service Oriented Applications: From StPowla Processes to SRML Models

Bocchi, Laura and Gorton, Stephen and Reiff-Marganiec, Stephan (2008) Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 163-178. ISBN 978-3-540-78742-6. E-ISBN 978-3-540-78743-3. (doi:10.1007/978-3-540-78743-3_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://doi.org/10.1007/978-3-540-78743-3_13

Abstract

Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, 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. We also extend the current status of StPowla to include workflow reconfigurations. 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.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-540-78743-3_13
Uncontrolled keywords: business process; service orient architecture; business process modelling; strict preference; business process modelling notation
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Depositing User: Laura Bocchi
Date Deposited: 28 Nov 2016 10:43 UTC
Last Modified: 15 Oct 2019 12:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/59186 (The current URI for this page, for reference purposes)
Bocchi, Laura: https://orcid.org/0000-0002-7177-9395
  • Depositors only (login required):