Skip to main content
SpringerLink
Log in

From StPowla processes to SRML models

  • Original Article
  • Published:
Formal Aspects of Computing

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abreu J, Bocchi L, Fiadeiro JL, Lopes A (2007) Specifying and composing interaction protocols for service-oriented system modelling. In: Formal methods for networked and distributed systems, vol 4574. Lecture Notes in Computer Science. Springer, Heidelberg, pp 358–373

  2. Abreu J, Fiadeiro JL (2008) A coordination model for service-oriented interactions. In: Proceedings of coordination languages and models, vol 5052. Lecture Notes in Computer Science. Springer, Heidelberg, pp 1–16

  3. Adams M, ter Hofstede AHM, Edmond D, van der Aalst WMP (2006) Worklets: a service-oriented implementation of dynamic flexibility in workflows. In: Meersman R, Tari Z (eds) OTM Conferences (1), vol 4275. Lecture Notes in Computer Science. Springer, Heidelberg, pp 291–308

  4. Boreale M, Bruni R, Caires L, De Nicola R, Lanese I, Loreti M, Martins F, Montanari U, Ravara A, Sangiorgi D, Vasconcelos V, Zavattaro G (2006) SCC: a service centered calculus. In: Web services and formal methods, vol 4184. Lecture Notes in Computer Science, Springer, Heidelberg, pp 38–57

  5. Bocchi L, Fiadeiro JL, Lapadula A, Pugliese R, Tiezzi F (2008) From architectural to behavioural specification: an encoding of SRML into cows. Technical report, Dipartimento di Sistemi e Informatica, Universit à di Firenze, 2008. Available at http://rap.dsi.unifi.it/cows/

  6. Bocchi L, Fiadeiro JL, Lopes A (2008) Service-oriented modelling of automotive systems. 32nd Annual IEEE international computer software and applications conference (COMPSAC) 0, pp 1059–1064

  7. Buscemi MG, Ferrari L, Moiso C, Montanari U (2007) Constraint-based policy negotiation and enforcement for telco services

  8. Bocchi L, Gorton S, Reiff-Marganiec S (2008) Engineering service oriented applications: from StPowla processes to SRML models. In: Fiadeiro JL, Inverardi P (eds) Fundamental approaches to software engineering, vol 4961. Lecture Notes in Computer Science. Springer, Heidelberg, pp 163–178

  9. Bocchi L, Hong Y, Lopes A, Fiadeiro JL (2007) From BPEL to SRML: a formal transformational approach. In: Dumas M, Heckel R (eds) Web services and formal methods, vol 4937. Lecture Notes in Computer Science, Springer, Heidelberg, pp 92–107

  10. Broy M, Krüger IH, Meisinger M (2007) A formal model of services. ACM Trans. Softw Eng Methodol 16(1): 5

    Article  Google Scholar 

  11. Bocchi L, Lopes A, Fiadeiro JL (2008) A use-case driven approach to formal service-oriented modelling. In: International symposium on leveraging applications of formal methods, verification and validation. Lecture Notes in Computer Science. Springer, Heidelberg (to appear)

  12. Bocchi L, Laneve C, Zavattaro G (2003) A calculus for long running transactions. In: FMOODS 2003, Lecture Notes in Computer Science. Springer, Heidelberg

  13. Buscemi MG, Montanari U (2007) Cc-pi: a constraint-based language for specifying service level agreements, pp 18–32

  14. Boley H, Tabet S, Wagner G (2001) Design rationale for ruleml: a markup language for semantic web rules. In: Cruz IF, Decker S, Euzenat J, McGuinness DL (eds) SWWS, pp 381–401

  15. Dustdar S, Fiadeiro JL, Sheth AP (eds) (2006) Business process management, vol 4102. Lecture Notes in Computer Science. Springer, Heidelberg

  16. Schlimmer J (ed) Web services policy 1.2—framework (WS-Policy). W3C, April 2006. http://www.w3.org/Submission/WS-Policy/

  17. Fu X, Bultan T, Su J (2002) Formal verification of e-services and workflows. In: Bussler C, Hull R, McIlraith SA, Orlowska ME, Pernici B, Yang J (eds), WES, vol 2512 of LNCS, pp 188–202

  18. Fiadeiro JL, Lopes A, Bocchi L (2006) A formal approach to service component architecture. Web services and formal methods, vol 4184, pp 193–213

  19. Guidi C, Lucchi R, Gorrieri R, Busi N, Zavattaro G (2006) SOCK: a calculus for service oriented computing. In: Dan A, Lamersdorf W (eds) International confetence on service oriented computing, vol 4294. Lecture Notes in Computer Science. Springer, Heidelberg, pp 327–338

  20. Gnesi S, Mazzanti F (2005) A model checking verification environment for uml statecharts. In: AICA, Udine 2005, 5–7 October 2005

  21. Gorton S, Montangero C, Reiff-Marganiec S, Semini L (2007) StPowla: SOA, policies and workflows. In: Proceedings of 3rd international workshop on engineering service-oriented applications: analysis, design, and composition, Vienna, Austria, 17th September 2007

  22. Gorton S, Reiff-Marganiec S (2006) Policy support for business-oriented web service management. In: Proceedings of the Fourth Latin American Web Congress (LA-WEB’06), pp 199–202, Washington, DC, USA, 2006. IEEE Computer Society, Los Alamitos

  23. Gorton S, Reiff-Marganiec S Towards a task-oriented, policy-driven business requirements specification for web services. In: Dustdar et al. [DFS06], pp 465–470

  24. Gorton S, Reiff-Marganiec S Towards a task-oriented, policy-driven business requirements specification for web services. In: Dustdar et al. [DFS06], pp 465–470

  25. Haas H, Brown A (2004) Web services glossary. W3C working group note, World Wide Web Consortium (W3C). http://www.w3.org/TR/ws-gloss/

  26. Hamadi R, Benatallah B (2003) A petri net-based model for web service composition. In: Schewe K-D, Zhou X (eds) ADC, vol 17 of CRPIT, pp 191–200. Australian Computer Society

  27. Halpern JY, Weissman V (2003) Using first-order logic to reason about policies. In: 16th IEEE Computer Security Foundations Workshop (CSFW’03), p 187, IEEE Computer Society, Los Alamitos

  28. Lopes A, Fiadeiro JL, Bocchi L (2007) Algebraic semantics of service component modules. In: Algebraic development techniques, vol 4409. Lecture Notes in Computer Science. Springer, Heidelberg, pp 37–55

  29. Lapadula A, Pugliese R, Tiezzi F (2007) A calculus for orchestration of web services. In: European symposium of programming, vol 4421. Lecture Notes in Computer Science. Springer, Heidelberg, pp 33–47

  30. Müller R, Greiner U, Rahm E (2004) Agentwork: a workflow system supporting rule-based workflow adaptation. Data Knowl Eng 51(2): 223–256

    Article  Google Scholar 

  31. Beisiegel M, Blohm H, Booz D, Dubray J, Colyer A, Edwards M, Ferguson D, Flood B, Greenberg M, Kearns D, Marino J, Mischkinsky J, Nally M, Pavlik G, Rowley M, Tam K, Trieloff C (2005) Building systems using a service oriented architecture. Whitepaper, SCA Consortium, http://www.oracle.com/technology/tech/webservices/standards/sca/pdf/SCA_White_Paper1_09.pdf

  32. Moses T (2005) extensible access control markup language specification. Available from http://www.oasis-open.org

  33. Montangero C, Reiff-Marganiec S, Semini L (2007) Logic-based detection of conflicts in appel policies. In: Arbab F, Sirjani M (eds) FSEN2007, vol 4676. Lecture Notes in Computer Science. Springer, Heidelberg

  34. Montangero C, Reiff-Marganiec S, Semini L (2008) Logic-based conflict detection for distributed policies. Fundamentae Informatica (accepted)

  35. O’Sullivan J, Edmond D, ter Hofstede AHM (2005) Formal description of non-functional service properties. Technical report FIT-TR-2005-01, Queensland University of Technology, Brisbane, February 2005

  36. Reichert M, Dadam P (1998) Adeptflex-supporting dynamic changes of workflows without losing control. J Intell Inf Syst 10(2): 93–129

    Article  Google Scholar 

  37. Reisig W (2005) Modeling- and analysis techniques for web services and business processes. In: Steffen M, Zavattaro G (eds) Formal methods for open object-based distributed systems, vol 3535. Lecture Notes in Computer Science. Springer, Heidelberg, pp 243–258

  38. Reiff-Marganiec S (2003) Policies: giving users control over calls. In: Ryan MD, Meyer J-JCh, Ehrich H-D (eds) Objects, agents, and features, vol 2975. Lecture Notes in Computer Science. Springer, Heidelberg, pp 189–208

  39. Reiff-Marganiec S, Turner KJ, Blair L (2005) Appel: the accent project policy environment/language. Technical report TR-161, University of Stirling

  40. Russell N, van der Aalst WMP, ter Hofstede AHM, Wohed P (2006) On the suitability of uml 2.0 activity diagrams for business process modelling. In: Stumptner M, Hartmann S, Kiyoki Y (eds) APCCM, vol 53 of CRPIT, pp 95–104. Australian Computer Society

  41. Siewe F, Cau A, Zedan H (2003) A compositional framework for access control policies enforcement. In: Proceedings of the 2003 ACM workshop on Formal methods in security engineering. ACM Press, New York

  42. Software engineering for service-oriented overlay computers (Sensoria). Web site: http://sensoria.fast.de/

  43. Bistarelli S, Montanari U, Rossi F (1997) Semiring-based constraint satisfaction and optimization. J ACM 44(2): 201–236

    Article  MATH  MathSciNet  Google Scholar 

  44. van der Aalst WMP, ter Hofstede AHM (2005) Yawl: yet another workflow language. Inf Syst 30(4): 245–275

    Article  Google Scholar 

  45. van der Aalst WMP, ter Hofstede AHM, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distributed and parallel databases, 14(1):5–51, Information also available from http://www.workflowpatterns.com

  46. Wang HJ (2006) A logic-based methodology for busines process analysis and design: linking business policies to workflow models. PhD thesis, University of Arizona

  47. Wirsing M, Bocchi L, Clark A, Fiadeiro JL, Gilmore S, Hölzl M, Koch N, Pugliese R (2007) SENSORIA: engineering for service-oriented overlay computers. MIT, Cambridge (submitted)

  48. White SA (2004) Business process modelling notation. Object Management Group (OMG) and Business process management initiative. Available from http://www.bpmn.org

  49. Wohed P, van der Aalst WMP, Dumas M, ter Hofstede AHM, Russell N. On the suitability of bpmn for business process modelling. In: Dustdar et al. [DFS06], pages 161–176

  50. Zhang X, Parisi-Presicce F, Sandhu R, Park J (2005) Formal model and policy specification of usage control. ACM Trans. Inf Syst Secur 8(4): 351–387

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Leicester, Leicester, UK

    Laura Bocchi & Stephan Reiff-Marganiec

  2. ATX Technologies Limited, London, UK

    Stephen Gorton

Authors
  1. Laura Bocchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephen Gorton
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stephan Reiff-Marganiec
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Laura Bocchi.

Additional information

J.L. Fiadeiro, P. Inverardi and T.S.E. Maibaum

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bocchi, L., Gorton, S. & Reiff-Marganiec, S. From StPowla processes to SRML models. Form Asp Comp 22, 243–268 (2010). https://doi.org/10.1007/s00165-009-0118-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00165-009-0118-7

Keywords

Search

Navigation