Skip to main content

Engineering Service Oriented Applications: From StPowla Processes to SRML Models

Bocchi, Laura, Gorton, Stephen, Reiff-Marganiec, Stephan (2008) Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In: Fundamental Approaches to Software Engineering. 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science . pp. 163-178. Springer, Berlin, Germany 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) (KAR id:59186)

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: Conference or workshop item (Paper)
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: 02 Nov 2020 18:57 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):