Formal Aspects of Computing

, Volume 22, Issue 3–4, pp 243–268 | Cite as

From StPowla processes to SRML models

  • Laura Bocchi
  • Stephen Gorton
  • Stephan Reiff-Marganiec
Original Article

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.

Keywords

Service modelling Policies workflows Service oriented architecture 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ABFL07.
    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–373Google Scholar
  2. AF08.
    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–16Google Scholar
  3. AtHEvdA06.
    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–308Google Scholar
  4. BBC06.
    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–57Google Scholar
  5. BFL08a.
    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. BFL08b.
    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–1064Google Scholar
  7. BFMM07.
    Buscemi MG, Ferrari L, Moiso C, Montanari U (2007) Constraint-based policy negotiation and enforcement for telco servicesGoogle Scholar
  8. BGR08.
    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–178Google Scholar
  9. BHLF07.
    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–107Google Scholar
  10. BKM07.
    Broy M, Krüger IH, Meisinger M (2007) A formal model of services. ACM Trans. Softw Eng Methodol 16(1): 5CrossRefGoogle Scholar
  11. BLF08.
    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)Google Scholar
  12. BLZ03.
    Bocchi L, Laneve C, Zavattaro G (2003) A calculus for long running transactions. In: FMOODS 2003, Lecture Notes in Computer Science. Springer, HeidelbergGoogle Scholar
  13. BM07.
    Buscemi MG, Montanari U (2007) Cc-pi: a constraint-based language for specifying service level agreements, pp 18–32Google Scholar
  14. BTW01.
    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–401Google Scholar
  15. DFS06.
    Dustdar S, Fiadeiro JL, Sheth AP (eds) (2006) Business process management, vol 4102. Lecture Notes in Computer Science. Springer, HeidelbergGoogle Scholar
  16. (ed06.
    Schlimmer J (ed) Web services policy 1.2—framework (WS-Policy). W3C, April 2006. http://www.w3.org/Submission/WS-Policy/
  17. FBS02.
    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–202Google Scholar
  18. FLB06.
    Fiadeiro JL, Lopes A, Bocchi L (2006) A formal approach to service component architecture. Web services and formal methods, vol 4184, pp 193–213Google Scholar
  19. GLG06.
    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–338Google Scholar
  20. GM05.
    Gnesi S, Mazzanti F (2005) A model checking verification environment for uml statecharts. In: AICA, Udine 2005, 5–7 October 2005Google Scholar
  21. GMRMS07.
    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 2007Google Scholar
  22. GRM06a.
    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 AlamitosGoogle Scholar
  23. GRM06b.
    Gorton S, Reiff-Marganiec S Towards a task-oriented, policy-driven business requirements specification for web services. In: Dustdar et al. [DFS06], pp 465–470Google Scholar
  24. GRM06c.
    Gorton S, Reiff-Marganiec S Towards a task-oriented, policy-driven business requirements specification for web services. In: Dustdar et al. [DFS06], pp 465–470Google Scholar
  25. HA04.
    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. HB03.
    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 SocietyGoogle Scholar
  27. HW03.
    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 AlamitosGoogle Scholar
  28. LFB07.
    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–55Google Scholar
  29. LPT07.
    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–47Google Scholar
  30. MGR04.
    Müller R, Greiner U, Rahm E (2004) Agentwork: a workflow system supporting rule-based workflow adaptation. Data Knowl Eng 51(2): 223–256CrossRefGoogle Scholar
  31. MHD05.
    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. Mos05.
    Moses T (2005) extensible access control markup language specification. Available from http://www.oasis-open.org
  33. MRMS07.
    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, HeidelbergGoogle Scholar
  34. MRMSon.
    Montangero C, Reiff-Marganiec S, Semini L (2008) Logic-based conflict detection for distributed policies. Fundamentae Informatica (accepted)Google Scholar
  35. OEtH05.
    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 2005Google Scholar
  36. RD98.
    Reichert M, Dadam P (1998) Adeptflex-supporting dynamic changes of workflows without losing control. J Intell Inf Syst 10(2): 93–129CrossRefGoogle Scholar
  37. Rei05.
    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–258Google Scholar
  38. RM03.
    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–208Google Scholar
  39. RMTB05.
    Reiff-Marganiec S, Turner KJ, Blair L (2005) Appel: the accent project policy environment/language. Technical report TR-161, University of StirlingGoogle Scholar
  40. RvdAtHW06.
    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 SocietyGoogle Scholar
  41. SCZ03.
    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 YorkGoogle Scholar
  42. sen.
    Software engineering for service-oriented overlay computers (Sensoria). Web site: http://sensoria.fast.de/
  43. SUF97.
    Bistarelli S, Montanari U, Rossi F (1997) Semiring-based constraint satisfaction and optimization. J ACM 44(2): 201–236MATHCrossRefMathSciNetGoogle Scholar
  44. vdAtH05.
    van der Aalst WMP, ter Hofstede AHM (2005) Yawl: yet another workflow language. Inf Syst 30(4): 245–275CrossRefGoogle Scholar
  45. vdAtHKB03.
    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. Wan06.
    Wang HJ (2006) A logic-based methodology for busines process analysis and design: linking business policies to workflow models. PhD thesis, University of ArizonaGoogle Scholar
  47. WBC07.
    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)Google Scholar
  48. Whi04.
    White SA (2004) Business process modelling notation. Object Management Group (OMG) and Business process management initiative. Available from http://www.bpmn.org
  49. WvdAD06.
    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–176Google Scholar
  50. ZPPSP05.
    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–387CrossRefGoogle Scholar

Copyright information

© British Computer Society 2009

Authors and Affiliations

  • Laura Bocchi
    • 1
  • Stephen Gorton
    • 2
  • Stephan Reiff-Marganiec
    • 1
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUK
  2. 2.ATX Technologies LimitedLondonUK

Personalised recommendations