Skip to main content
Article thumbnail
Location of Repository

From StPowla processes to SRML models

By Laura Bocchi, Stephan Reiff-Marganiec and Stephen Gorton


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-7Service 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

Topics: Service modelling, Policies, workflows, Service oriented architecture
Publisher: Springer
Year: 2010
DOI identifier: 10.1007/s00165-009-0118-7
OAI identifier:

Suggested articles


  1. (2003). A calculus for long running transactions. doi
  2. (2007). A calculus for orchestration of web services. doi
  3. (2003). A compositional framework for access control policies enforcement. doi
  4. (2008). A coordination model for service-oriented interactions. In doi
  5. (2006). A Formal Approach to Service Component Architecture. Web Services and Formal Methods, doi
  6. (2007). A formal model of services. doi
  7. (2006). A Logic-based Methodology for Busines Process Analysis and Design: Linking Business Policies to Workflow Models.
  8. (2005). A model checking verification environment for uml statecharts. In AICA,
  9. (2003). A petri net-based model for web service composition.
  10. (2008). A use-case driven approach to formal service-oriented modelling. doi
  11. (1998). Adeptflex-supporting dynamic changes of workflows without losing control.
  12. (2004). Agentwork: a workflow system supporting rule-based workflow adaptation. doi
  13. (2007). Algebraic Semantics of Service Component Modules. doi
  14. (2006). Antonio Ravara, Davide Sangiorgi, Vasco Vasconcelos, and Gianluigi Zavattaro. SCC: a service centered calculus. doi
  15. (2005). APPEL: the ACCENT project policy environment/language.
  16. (2005). Building Systems using a Service Oriented Architecture. Whitepaper, SCA Consortium,
  17. (2004). Business process modelling notation. doi
  18. (2007). Cc-pi: A constraint-based language for specifying service level agreements. doi
  19. (2007). Constraint-based policy negotiation and enforcement for telco services. doi
  20. (2001). Design rationale for ruleml: A markup language for semantic web rules.
  21. (2008). Engineering Service Oriented Applications: From StPowla Processes to SRML Models. doi
  22. (2005). extensible access control markup language specification. Available from,
  23. (2005). Formal model and policy specification of usage control. doi
  24. (2002). Formal verification of e-services and workflows. doi
  25. (2008). From Architectural to Behavioural Specification: An encoding of SRML into cows. Technical report, Dipartimento di Sistemi e Informatica, Universit a` di Firenze, doi
  26. (2007). From BPEL to SRML: A Formal Transformational Approach. doi
  27. (2008). Logic-based conflict detection for distributed policies. Fundamentae Informatica, doi
  28. (2007). Logic-based detection of conflicts in APPEL policies. doi
  29. (2005). Modeling- and analysis techniques for web services and business processes. doi
  30. On the suitability of bpmn for business process modelling. doi
  31. (2003). Policies: Giving users control over calls. doi
  32. (2006). Policy support for business-oriented web service management. doi
  33. (1997). Semiring-based constraint satisfaction and optimization. doi
  34. (2007). SENSORIA: Engineering for Service-Oriented Overlay Computers.
  35. Service-Oriented Modelling of Automotive Systems. doi
  36. (2006). SOCK: A calculus for service oriented computing. doi
  37. Software engineering for service-oriented overlay computers (SENSORIA). doi
  38. (2007). Specifying and composing interaction protocols for serviceoriented system modelling. doi
  39. (2007). StPowla: SOA, Policies and Workflows. doi
  40. (2006). ter Hofstede, and Petia Wohed. On the suitability of uml 2.0 activity diagrams for business process modelling. doi
  41. (2005). ter Hofstede. Formal description of non-functional service properties.
  42. (2005). ter Hofstede. Yawl: yet another workflow language. doi
  43. Towards a task-oriented, policy-driven business requirements specification for web services. doi
  44. (2003). Using first-order logic to reason about policies. doi
  45. (2004). Web Services Glossary. W3C Working Group Note, World Wide Web Consortium
  46. (2006). Web services policy 1.2 – framework (WS-Policy).
  47. (2003). Workflow patterns. doi
  48. (2006). Worklets: A service-oriented implementation of dynamic flexibility in workflows. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.