StPowla: SOA, Policies and Workflows

  • S. Gorton
  • C. Montangero
  • S. Reiff-Marganiec
  • L. Semini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4907)


We introduce StPowla, a workflow based approach to business process modelling that integrates a simple graphical notation, to ease the presentation of the core business process, a user–friendly policy language, Appel, to provide the necessary adaptation to the varied expectations of the various business stakeholders, and the Service Oriented Architecture, to assemble and orchestrate available services in the business process. We illustrate the approach with a loan approval process.


  1. 1.
    Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A service-oriented implementation of dynamic flexibility in workflows. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 291–308. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architecture and Applications. Springer, Heidelberg (2004)CrossRefzbMATHGoogle Scholar
  3. 3.
    Boley, H., Tabet, S., Wagner, G.: Design rationale for ruleml: A markup language for semantic web rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) SWWS, pp. 381–401 (2001)Google Scholar
  4. 4.
    Buscemi, M.G., Ferrari, L., Moiso, C., Montanari, U.: Constraint-based policy negotiation and enforcement for telco services (2007)Google Scholar
  5. 5.
    Buscemi, M.G., Montanari, U.:Cc-pi: A constraint-based language for specifying service level agreements, pp. 18–32 (2007)Google Scholar
  6. 6.
    Schlimmer, J. (ed.): Web services policy 1.2 – framework (WS-Policy). W3C (April 2006),
  7. 7.
    Fu, X., Bultan, T., Su, J.: Formal verification of e-services and workflows. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 188–202. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  8. 8.
    Gorton, S., Reiff-Marganiec, S.: Policy support for business-oriented web service management. In: Proceedings of the Fourth Latin American Web Congress (LA-WEB 2006), Washington, DC, USA, pp. 199–202. IEEE Computer Society Press, Los Alamitos (2006)CrossRefGoogle Scholar
  9. 9.
    Gorton, S., Reiff-Marganiec, S.: Towards a task-oriented, policy-driven business requirements specification for web services. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 465–470. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. In: 16th IEEE Computer Security Foundations Workshop (CSFW 2003), p. 187. IEEE Computer Society Press, Los Alamitos (2003)CrossRefGoogle Scholar
  11. 11.
    Hamadi, R., Benatallah, B.: A petri net-based model for web service composition. In: Schewe, K.-D., Zhou, X. (eds.) ADC. CRPIT, vol. 17, pp. 191–200. Australian Computer Society (2003)Google Scholar
  12. 12.
    Jordan, D., Evdemon, J., et al.: Web services business process execution language version 2.0. W3C (August 2006),
  13. 13.
    Kamoun, F.: A roadmap towards the convergence of business process management and service oriented architecture. Ubiquity 8(14) (2007)Google Scholar
  14. 14.
    Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for service-oriented systems, SENSORIA EU-IST 016004 Deliverable D1.4.a (2007),
  15. 15.
    Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in APPEL policies. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 257–271. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  16. 16.
    Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based detection of conflicts in APPEL policies. In: IPM–FSEN. LNCS. Springer, Heidelberg (2007)Google Scholar
  17. 17.
    Müller, R., Greiner, U., Rahm, E.: Agent work: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223–256 (2004)CrossRefGoogle Scholar
  18. 18.
    OMG. Business Process Modeling Notation (BPMN) Specification (February 2006)Google Scholar
  19. 19.
    O’Sullivan, J., Edmond, D., ter Hofstede, A.H.M.: Formal description of non-functional service properties. Technical Report FIT-TR-2005-01, Queensland University of Technology, Brisbane (February 2005)Google Scholar
  20. 20.
    Reichert, M., Dadam, P.: Adept\(_{\mbox{flex}}\)-supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst. 10(2), 93–129 (1998)CrossRefGoogle Scholar
  21. 21.
    Reiff-Marganiec, S., Turner, K.J., Blair, L.: Appel: The accent project policy environment/language. Technical Report TR-161, University of Stirling (December 2005)Google Scholar
  22. 22.
    Siewe, F., Cau, A., Zedan, H.: A compositional framework for access control policies enforcement. In: Proceedings of the 2003 ACM workshop on Formal Methods in Security Engineering, pp. 32–42. ACM Press, New York (2003)CrossRefGoogle Scholar
  23. 23.
    Turner, K.J., Reiff-Marganiec, S., Blair, L., Pang, J., Gray, T., Perry, P., Ireland, J.: Policy support for call control. Computer Standards and Interfaces 28(6), 635–649 (2006)CrossRefGoogle Scholar
  24. 24.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)CrossRefGoogle Scholar
  25. 25.
    Zhang, X., Parisi-Presicce, F., Sandhu, R., Park, J.: Formal model and policy specification of usage control. ACM Trans. Inf. Syst. Secur. 8(4), 351–387 (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • S. Gorton
    • 1
  • C. Montangero
    • 2
  • S. Reiff-Marganiec
    • 1
  • L. Semini
    • 2
  1. 1.Department of Computer ScienceUniversity of LeicesterUK
  2. 2.Dipartimento di InformaticaUniversità di PisaItaly

Personalised recommendations