Skip to main content
SpringerLink
Log in

Model-Driven Development of Adaptable Service-Oriented Business Processes

  • Chapter
Rigorous Software Engineering for Service-Oriented Systems

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6582))

Abstract

Businesses typically structure their activities with workflows, which are often implemented in a rather static fashion in their IT systems. Nowadays, system requirements change rapidly as businesses try to maintain their competitive edge, calling for similar agility of the IT systems. To this end, we present StPowla, an approach that marries service oriented architecture, policies and workflows to support the agile execution of business workflows. In StPowla, the business is modelled by workflows, whose tasks are eventually carried out by services. Adapatation is obtained by allowing the stakeholders to define policies that establish the quality levels required of the services. The prototype StPowla support architecture comprizes the transformation of the workflow model into executable WS–BPEL to be deployed in the ODE–BPEL execution engine, the generation of default policies from the model, and the enactment of the policies by the Appel policy server. The SENSORIA Finance Case Study is used throughout the paper.

This work has been partially sponsored by the project Sensoria, IST-2005-016004. The authors would also like to thank Hong Qing (Harry) Yu for his contributions towards the implementation of the approach and his input to a draft of section 4.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. http://www.fico.com/en/Products/DMTools/Pages/Fair-Isaac-Blaze-Advisor-System.aspx (last visited: March 2009)

  2. http://www.ilog.com/products/businessrules/index.cfm (last visited: March 2009)

  3. 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)

    Chapter  Google Scholar 

  4. Bajech, M., Krisper, M.: A methodology and tool support for managing business rules in organizations. Information Systems 30, 423–443 (2005)

    Article  Google Scholar 

  5. ter Beek, M., Gnesi, S., Montangero, C., Semini, L.: Detecting policy conflicts by model checking UML state machines. In: Reiff-Marganiec, S., Nakamura, M. (eds.) Feature Interactions in Software and Communication System X, pp. 59–74. IOS Press, Amsterdam (2009)

    Google Scholar 

  6. ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol. 4916, pp. 133–148. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Bocchi, L., Gorton, S., Reiff-Marganiec, S.: Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 163–178. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Buscemi, M.G., Ferrari, L., Moiso, C., Montanari, U.: Constraint-Based Policy Negotiation and Enforcement for Telco Services. In: TASE 2007, pp. 463–472. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  9. Buscemi, M.G., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 18–32. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Charfi, A., Mezini, M.: Hybrid web service composition: business processes meet business rules. In: Aiello, M., Aoyama, M., Curbera, F., Papazoglou, M.P. (eds.) ICSOC, pp. 30–38. ACM, New York (2004)

    Chapter  Google Scholar 

  11. Charfi, A., Mezini, M.: AO4BPEL: An Aspect-oriented Extension to BPEL. In: World Wide Web, pp. 309–344 (2007)

    Google Scholar 

  12. Gorton, S., Montangero, C., Reiff-Marganiec, S., Semini, L.: StPowla: SOA, Policies and Workflows. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol. 4907, pp. 351–362. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Gorton, S., Reiff-Marganiec, S.: Policy support for business-oriented web service management. In: Web Congress. LA-Web 2006. Fourth Latin American, pp. 199–202. IEEE Computer Society, Los Alamitos (2006)

    Chapter  Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. In: Proceedings of the Computer Security Foundations Workshop (CSFW 2003), pp. 187–201. IEEE Computer Society, Los Alamitos (2003)

    Chapter  Google Scholar 

  16. IBM. BPEL4WS, Business Process Execution Language for Web Services, version 1.1 (2003)

    Google Scholar 

  17. Kamoun, F.: A roadmap towards the convergence of business process management and service oriented architecture. Ubiquity 8(14) (2007)

    Google Scholar 

  18. Koch, N., Mayer, P., Heckel, R., Gonczy, L., Montangero, C.: UML for service-oriented systems, SENSORIA EU-IST 016004 Deliverable D1.4.a. (2007), http://www.pst.ifi.lmu.de/projekte/Sensoria/del_24/D1.4.a.pdf

  19. Mazzanti, F.: UMC User Guide v3.3. Technical Report 2006-TR-33, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, CNR (2006)

    Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. Montangero, C., Reiff-Marganiec, S., Semini, L.: Logic-based conflict detection for distributed policies. Fundamenta Informaticae 89(4), 511–538 (2008)

    MATH  Google Scholar 

  22. Montangero, C., Semini, L.: Distributed states logic. In: 9th International Symposium on Temporal Representation and Reasoning (TIME 2002), Manchester, UK. IEEE CS Press, Los Alamitos (2002)

    Google Scholar 

  23. Montangero, C., Semini, L., Semprini, S.: Logic Based Coordination for Event–Driven Self–Healing Distributed Systems. In: De Nicola, R., Ferrari, G., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 248–262. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Montangero, C., Semini, L.: Barbed model–driven software development: A case study. Electron. Notes Theor. Comput. Sci. 207, 171–186 (2008)

    Article  Google Scholar 

  25. Moser, S., van Lessen, T.: Developing, deploying and running a hello world BPEL process with the Eclipse BPEL designer and Apache ODE, http://people.apache.org/~vanto/helloworld-bpeldesignerandode.pdf

  26. Mukhija, A., Rosenblum, D.S., Dingwall-Smith, A.: Dino: Dynamic and adaptive composition of autonomous services (2007), http://www.cs.ucl.ac.uk/research/dino/

  27. 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)

    Article  Google Scholar 

  28. Núñez, S.: ILOG JRules 6.5 brings rules to SOA. InfoWorld: Product Guide: ILOG JRules 2007: Review (2007)

    Google Scholar 

  29. Oasis Organization. Web services business process execution language version 2.0. - primer (2007)

    Google Scholar 

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

    Article  Google Scholar 

  31. Reiff-Marganiec, S., Turner, K.J.: Feature interaction in policies. Comput. Networks 45(5), 569–584 (2004)

    Article  Google Scholar 

  32. 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 

  33. Siewe, F., Cau, A., Zedan, H.: A compositional framework for access control policies enforcement. In: FMSE 2003, pp. 32–42. ACM Press, New York (2003)

    Google Scholar 

  34. Tai, S.: Composing web services specifications: Experiences in implementing policy-driven transactional processes. In: BTW. LNI, vol. 65, pp. 547–559. GI (2005)

    Google Scholar 

  35. Teubner, C.: The Forrester Wave: Human Centric BPM for Java Platforms, Q3 2007 (2007), http://www.forrester.com/Research/Document/Excerpt/-0,7211,38886,00.html

  36. 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)

    Article  Google Scholar 

  37. UMC v3.5., http://fmt.isti.cnr.it/umc

  38. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Italy

    Carlo Montangero & Laura Semini

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

    Stephan Reiff-Marganiec

Authors
  1. Carlo Montangero
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stephan Reiff-Marganiec
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Laura Semini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Ludwig-Maximilians-Universität München, Oettingenstraße 67, 80538, München, Germany

    Martin Wirsing  & Matthias Hölzl  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Montangero, C., Reiff-Marganiec, S., Semini, L. (2011). Model-Driven Development of Adaptable Service-Oriented Business Processes. In: Wirsing, M., Hölzl, M. (eds) Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, vol 6582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20401-2_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-20401-2_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-20400-5

  • Online ISBN: 978-3-642-20401-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation