Skip to main content

Goal-Directed Modeling of Self-adaptive Software Architecture

  • Conference paper
Book cover Enterprise, Business-Process and Information Systems Modeling (BPMDS 2009, EMMSAD 2009)

Abstract

Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new circumstances on their own to get them running and keep them running. Self-adaptive software system has been proposed as a good solution for this demand. However, very few techniques are available to date for systematically building such kind of system. Aiming at this requirement, this paper presents a sound approach to derive a self-adaptive software architecture model from the requirements goal model in systematic way. At the same time, we illustrate our approach by applying it to a simplified on-line shopping system.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Brandozzi, M., Perry, D.: From goal-oriented requirements to architectural prescriptions: The preskriptor process. In: Proc. of the 2nd Int’l. Software Requirements to Architectures Workshop, pp. 107–113 (2003)

    Google Scholar 

  2. van Lamsweerde, A.: Goal-oriented requirements engineering: From system objectives to UML models to precise software specifications. In: ICSE 2003, pp. 744–745 (2003)

    Google Scholar 

  3. Dardenne, A., Fickas, S., van Lamsweerde, A.: Goal-Directed Concept Acquisition in Requirements Elicitation. In: Proc. Sixth Int’l. Workshop Software Specification and Design, pp. 14–21 (1991)

    Google Scholar 

  4. Brandozzi, M., Perry, D.E.: Transforming goal oriented requirements specifications into architectural prescriptions. In: STRAW at ICSE 2001 (2001)

    Google Scholar 

  5. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of computer Programming 20, 3–50 (1993)

    Article  Google Scholar 

  6. Van Lamweerde, A., Darimont, R., Massonet, P.: Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt. In: Proc. of the RE 1995 –2nd IEEE Symposium on Requirements Engineering, York, pp. 194–203 (1995)

    Google Scholar 

  7. Van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25–43. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Parnas, D.: On the criteria to be used in decomposing systems into modules. CACM 15(12), 1053–1058 (1972)

    Article  Google Scholar 

  9. Peng, X., Wu, Y., Zhao, W.: A Feature-Oriented Adaptive Component Model for Dynamic Evolution. In: 11th European Conference on Software Maintenance and Reengineering, pp. 49–57 (2007)

    Google Scholar 

  10. Hoare, C.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)

    Google Scholar 

  11. Medvidovic, N., Gruenbacher, P., Egyed, A.F., Boehm, B.W.: Bridging Models across the Software Lifecycle. Technical Report USC-CSE-2000-521, University of Southern California (2000)

    Google Scholar 

  12. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)

    Book  Google Scholar 

  13. Jiao, W., Mei, H.: Dynamic Architectural Connectors in Cooperative Software Systems. In: Proc. of the 10th IEEE International Conference on Engineering of Complex Computer Systems (2005)

    Google Scholar 

  14. Ganek, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Systems Journal 42(1), 5–18 (2003)

    Article  Google Scholar 

  15. Zhang, J., Cheng, B.H.: Model-based development of dynamically adaptive software. In: Proc. of the 28th International Conference on Software Engineering (2006)

    Google Scholar 

  16. Brown, G., Cheng, H.C., Goldsby, H., Zhang, J.: Goal-oriented specification of adaptation requirements engineering in adaptive systems. In: Proc. of the Workshop on Software Engineering for Adaptive and Self-Managing Systems (2006)

    Google Scholar 

  17. Cheng, S.W., Garlan, D., Schmerl, B.R., Sousa, J.P., Spitnagel, B., Steenkiste, P.: Using architectural style as a basis for system self-repair. In: WICSA 3: Proceedings of the IFIP 17th World Computer Congress - TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture, pp. 45–59 (2002)

    Google Scholar 

  18. Yu, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.C.S.P.: From goals to high-variability software design. In: 17th International Symposium on Methodologies for Intelligent Systems, pp. 1–16 (2008)

    Google Scholar 

  19. van Lamsweerde, A., Dardenne, A., Delcourt, B., Dubisy, F.: The KAOS Project: Knowledge Acquisition in Automated Specification of Software. In: Proceedings AAAI Spring Symposium Series, Stanford University, American Association for Artificial Intelligence, pp. 59–62 (1991)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tang, S., Peng, X., Yu, Y., Zhao, W. (2009). Goal-Directed Modeling of Self-adaptive Software Architecture. In: Halpin, T., et al. Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2009 2009. Lecture Notes in Business Information Processing, vol 29. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01862-6_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01862-6_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01861-9

  • Online ISBN: 978-3-642-01862-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics