Skip to main content
Springer Nature Link
Log in

Adaptation Goals for Adaptive Service-Oriented Architectures

  • Chapter
  • First Online:
Relating Software Requirements and Architectures

  • 1396 Accesses

Abstract

Service-oriented architecture supports the definition and execution of complex business processes in a flexible way. A service-based application assembles the functionality provided by disparate, remote services in a seamless way. Since the architectural style prescribes that all features be provided remotely, these applications adapt to changes and new business needs by selecting new partner services to interact with. Despite the success of the architectural style, a clear link between the actual applications and the requirements they are supposed to meet is still missing. The embedded dynamism also imposes that requirements properly state how an application can evolve and adapt at runtime. We solve these problems by extending classical goal models to represent both conventional (functional and non-functional) requirements and adaptation policies. The goal model is then used to automatically devise the application’s architecture (i.e., the composition) and its adaptation capabilities. It becomes a live, runtime entity whose evolution helps govern the actual adaptation of the application. All key elements are exemplified through a service-based news provider.

This research has been funded by the European Commission, Programmes: IDEAS-ERC, Project 227977 SMScom, and FP7/2007–2013, Projects 215483 S-Cube (Network of Excellence).

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    For this example, we use operator sometimes in the future (⋄).

  2. 2.

    Operator @ has the following meaning 0: @P ≡ •(¬P) ∧ P

  3. 3.

    Membership functions do not continue to be greater than 0 when the response time is infinite.

  4. 4.

    Note that if an adaptation goal is applied globally, there is no need to identify the process instance on which adaptation must be performed.

References

  1. Active Endpoints (2010) The ActiveBPEL engine. http://www.activevos.com/community-open-source.php. Accessed 1 June 2010

  2. Ali R, Dalpiaz F, Giorgini P (2009) A goal modeling framework for self-contextualizable software. In: Halpin TA et al (eds) BMMDS/EMMSAD’09. 14th international conference on exploring modeling methods in systems analysis and design, Amsterdam, June 2009. Lecture notes in business information, vol 29. Springer, pp 326–338

    Google Scholar 

  3. Baresi L, Bianculli D, Ghezzi C, Guinea S, Spoletini P (2007) Validation of web service compositions. IET Software 1(6):219–232

    Article  Google Scholar 

  4. Baresi L, Guinea S (2011) Self-supervising BPEL processes. IEEE Transactions on Software Engineering 37(2):247–263

    Article  Google Scholar 

  5. Baresi L, Guinea S, Pasquale L (2008) Integrated and composable supervision of BPEL processes. In: Bouguettaya A et al (eds) ICSOC’08. 6th international conference of service oriented computing, Sydney, December 2008. Lecture notes in computer science, vol 5364. Springer, Heidelberg, pp 614–619

    Google Scholar 

  6. Baresi L, Pasquale L, Spoletini P (2010) Fuzzy goals for requirements-driven adaptation. In: Proceedings of the 18th international requirements engineering conference, Sydney, Australia

    Google Scholar 

  7. Cheng BHC, Sawyer P, Bencomo N, Whittle J (2009) A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Shurr A et al (eds) MoDELS’09. 12th international conference on model driven engineering languages and systems, Denver, October 2009. Lecture notes in computer science, vol 5795. Springer, Heidelberg, pp 468–483

    Google Scholar 

  8. Cheng SW, Garlan D, Schmerl B (2006) Architecture-based self-adaptation in the presence of multiple objectives. In: Proceedings of the 2nd international workshop on self-adaptation and self-managing systems, Shanghai, China

    Google Scholar 

  9. Fickas S, Feather MS (1995) Requirements monitoring in dynamic environments. In: Proceedings of the 2nd international symposium on requirements engineering, York, England

    Google Scholar 

  10. Goldsby HJ, Sawyer P, Bencomo N, Cheng BHC, Hughes D (2008) Goal-based modeling of dynamically adaptive system requirements. In: Proceedings of the 15th international conference on engineering of computer-based systems, Belfast, Ireland, 31 March–4 April 2008

    Google Scholar 

  11. Huhns MN, Holderfield VT, Gutierrez RLZ (2003) Robust software via agent-based redundancy. In: Proceedings of the 2nd international joint conference on autonomous agents & multiagent Systems, Melbourne, Australia

    Google Scholar 

  12. Kazhamiakin R, Pistore M, Roveri M (2004) A framework for integrating business processes and business requirements. In: Proceedings of the 8th international conference on enterprise distributed object computing, Monterey, California, USA

    Google Scholar 

  13. Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes CV, Loingtier J, Irwin, J (1997) Aspect-oriented programming. In: Aksit M (eds) ECOOP’97. 11th European conference on object-oriented programming, Jyvaskyla, Finland, June 1997. Lecture notes in computer science, vol 1241. Springer, pp 220–242

    Google Scholar 

  14. van Lamsweerde A (2009) Requirements engineering: from system goals to UML models to software specifications. Wiley, Chichester

    Google Scholar 

  15. Mahfouz A, Barroca L, Laney RC, Nuseibeh B (2009) Requirements-driven collaborative choreography customization. In: Baresi L et al (eds) ICSOC-ServiceWave’09. 7th international joint conference ICSOC-ServiceWave, Stockholm, Sweden, November 2009. Lecture notes in computer science, vol 5900. Springer, Heidelberg, pp 144–158

    Google Scholar 

  16. Morandini M, Penserini L, Perini A (2008) Modelling self-adaptivity: a goal-oriented approach. In: Brueckner SA (eds) SASO’08. 2nd international conference on self-adaptive and self-organising systems, Springer, Los Alamitos, pp 469–470

    Google Scholar 

  17. Morandini M, Penserini L, Perini A (2008) Towards goal-oriented development of self-adaptive systems. In: Proceedings of the 3rd international workshop on software engineering for adaptive and self-managing systems, Leipzig

    Google Scholar 

  18. OASIS (2007) Web services business process execution language version 2.0. http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html. Accessed 1 June 2010

  19. Pasquale L (2011) A goal-oriented methodology for self-supervised service compositions. Dissertation, Politecnico di Milano

    Google Scholar 

  20. Penserini L, Perini A, Susi A, Mylopoulos J (2007) High variability design for software agents: extending tropos. Trans Auton Adaptive Syst 2(4):75–102

    Google Scholar 

  21. Pnueli A (1977) The temporal logic of programs. In: Proceedings of the 18th annual symposium on foundations of computer science, Providence, Rhode Island, USA, 31 October–22 November 1977

    Google Scholar 

  22. Proctor M et al (2009) Drools. http://www.jboss.org/drools/. Accessed 1 June 2010

  23. Qureshi NA, Perini A (2009) Engineering adaptive requirements. In: Proceedings of the 4th international workshop on software engineering for adaptive and self-managing systems, Vancouver, BC, Canada

    Google Scholar 

  24. Robinson WN (2003) Monitoring web service requirements. In: Proceedings of the 11th international requirements engineering conference, Monterey Bay, CA, USA

    Google Scholar 

  25. Salifu M, Yu Y, Nuseibeh B (2007) Specifying monitoring and switching problems in context. In: Proceedings of the 15th international requirements engineering conference, New Delhi, India

    Google Scholar 

  26. Wang Y, Mylopoulos J (2009) Self-repair through reconfiguration: a requirements engineering approach. In: Proceedings of the 24th international conference on automated software engineering, Auckland, New Zeland

    Google Scholar 

  27. Whittle J, Sawyer P, Bencomo N, Cheng BHC (2009) RELAX: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 17th international requirements engineering conference, Atlanta, GA, USA, 31 August–4 September 2009

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento Elettronica e Informazione, Politecnico di Milano, Milan, 20133, Italy

    Luciano Baresi & Liliana Pasquale

Authors
  1. Luciano Baresi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Liliana Pasquale
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luciano Baresi .

Editor information

Editors and Affiliations

  1. University of Groningen, Nijenborgh 9, Groningen, 9747, Netherlands

    Paris Avgeriou

  2. Faculty of Information, Swinburne University of Technology, PO Box 218, Victoria, 3122, Australia

    John Grundy

  3. The Open University, Milton Keynes, MK7 6AA, UK

    Jon G. Hall

  4. Dept. Computer Science, Vrije Universiteit, De Boelelaan 1081 A, Amsterdam, 1081 HV, Netherlands

    Patricia Lago

  5. Werderstr. 45, Heidelberg, 69120, Germany

    Ivan Mistrík

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Baresi, L., Pasquale, L. (2011). Adaptation Goals for Adaptive Service-Oriented Architectures. In: Avgeriou, P., Grundy, J., Hall, J.G., Lago, P., Mistrík, I. (eds) Relating Software Requirements and Architectures. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21001-3_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21001-3_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21000-6

  • Online ISBN: 978-3-642-21001-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics