From StPowla processes to SRML models

Laura Bocchi (1) , Stephen Gorton (2) , Stephan Reiff-Marganiec (1)

1 Department of Computer Science
2 ATX Technologies Limited

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 project: SRML as a high level modelling language for Service Oriented Architectures, and 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 to SRML. This provides a formal framework for and also a separated view of policies representing system variability that is not present in SRML.

Mots clés: Service modelling; Policies; workflows; Service oriented architecture

Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec. From StPowla processes to SRML models. Formal Aspects of Computing, 2009, 22 (3), pp.243-268. ⟨10.1007/s00165-009-0118-7⟩. ⟨hal-00504646⟩