Skip to main content
SpringerLink
Log in
Book cover

Requirements Engineering pp 105–119Cite as

Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems

  • Conference paper

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 432))

Abstract

Self-adaptive system (SAS) is capable of adjusting its behavior to cope with changes in the deployed environment. Parametric adaptation is an important fashion for achieving adaptation. Context can be defined as the reification of the environment. It may influence the decisions on how to adjust the system behavior. Thus, how to incorporate context into the parametric adaptation mechanism becomes a challenging issue. This paper provides solutions to this issue from a requirements engineering perspective. We develop the goal-oriented requirements model for SASs and build the context model for the environment, and then integrate these two models via defined relations. Adaptation goal model is derived by refining the adaptation goal with adaptation tasks which are underpinned by MAPE loop. Finally, we show how to utilize the specifications to design parametric adaptation algorithms. Our approach is illustrated with an example from the intelligent transportation application.

This research is supported by the National Natural Science Foundation of China under Grant Nos. 61232015 and 91318301.

This is a preview of subscription content, 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   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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cheng, B.H.C., et al.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol. 5525, pp. 1–26. Springer, Heidelberg (2009)

    Google Scholar 

  2. Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 2, 1–42 (2009)

    Article  Google Scholar 

  3. Andrea, A.F., Savigni, A.: A Framework for Requirements Engineering for Context-Aware Services. In: 1st International Workshop From Software Requirements to Architectures (2001)

    Google Scholar 

  4. Brun, Y., Di Marzo Serugendo, G., Gacek, C., Giese, H., Kienle, H., Litoiu, M., Müller, H., Pezzè, M., Shaw, M.: Engineering Self-Adaptive Systems through Feedback Loops. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 48–70. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  5. Yang, Z., Li, Z., Jin, Z., Chen, Y.: A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems. In: Salinesi, C., van de Weerd, I. (eds.) REFSQ 2014. LNCS, vol. 8396, pp. 55–71. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  6. Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy Goals for Requirements-Driven Adaptation. In: 18th IEEE International Conference on Requirements Engineering, pp. 125–134 (2010)

    Google Scholar 

  7. Vogel, T., Giese, H.: Requirements and assessment of languages and frameworks for adaptation models. In: Kienzle, J. (ed.) MODELS 2011 Workshops. LNCS, vol. 7167, pp. 167–182. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  8. Sawyer, P., Bencomo, N., Whittle, J., Letier, E., Finkelstein, A.: Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems. In: 18th IEEE International Conference on Requirements Engineering, pp. 95–103 (2010)

    Google Scholar 

  9. Souza, V.E.S., Lapouchnian, A., Robinson, W.N., Mylopoulos, J.: Awareness requirements for adaptive systems. In: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 60–69 (2011)

    Google Scholar 

  10. Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.M.: RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. In: 17th IEEE International Conference on Requirements Engineering, pp. 79–88 (2009)

    Google Scholar 

  11. Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 468–483. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  12. Yiqiao, W., Mylopoulos, J.: Self-Repair through Reconfiguration: A Requirements Engineering Approach. In: 24th IEEE/ACM International Conference on Automated Software Engineerin, pp. 257–268 (2009)

    Google Scholar 

  13. McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing Adaptive Software. Computer 37, 56–64 (2004)

    Article  Google Scholar 

  14. Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in Tropos. Requir. Eng. 9, 132–150 (2004)

    Article  Google Scholar 

  15. Dardenne, A., Lamsweerde, A.V., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20, 3–50 (1993)

    Article  MATH  Google Scholar 

  16. Bell, C.A., Hunter, K.M.: Low Volume Highway-rail Grade Crossing Treatments for the Oregon High Speed Rail Corridor, technical report, Transportation Research Institute, Oregon State University (1997)

    Google Scholar 

  17. Feather, M.S., Fickas, S., van Lamsweerde, A., Ponsard, C.: Reconciling system requirements and runtime behavior. In: 9th International Workshop on Software Specification and Design, pp. 50–59 (1998)

    Google Scholar 

  18. Wang, Y., Mcilraith, S.A., Yu, Y., Mylopoulos, J.: Monitoring and diagnosing software requirements. Automated Software Engg. 16, 3–35 (2009)

    Article  Google Scholar 

  19. Zhang, J., Cheng, B.H.C.: Using temporal logic to specify adaptive program semantics. Journal of Systems and Software 79, 1361–1369 (2006)

    Article  Google Scholar 

  20. Brown, G., Cheng, B.H.C., Goldsby, H., Zhang, J.: Goal-oriented specification of adaptation requirements engineering in adaptive systems. In: 1st International Workshop on Self-Adaptation and Self-Managing Systems, pp. 23–29 (2006)

    Google Scholar 

  21. Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng. 15, 439–458 (2010)

    Article  Google Scholar 

  22. Lapouchnian, A., Mylopoulos, J.: Modeling Domain Variability in Requirements Engineering with Contexts. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol. 5829, pp. 115–130. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Academy of Math. and Syst. Sci., Chinese Academy of Sciences, Haidian Dstr., Beijing, 100190, P.R. China

    Zhuoqun Yang

  2. Key Laboratory of High Confidence Software Technologies (MoE), Peking University, Haidian Dstr., Beijing, 100871, P.R. China

    Zhi Jin

Authors
  1. Zhuoqun Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhi Jin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research Center for Human Centered Technology Design, Faculty of Engineering and Information Technology, University of Technology Sydney, Australia

    Didar Zowghi

  2. Key Laboratory of High Confidence Software Technologies (MoE), Peking University, Ministry of Education, 100871, Beijing, P.R. China

    Zhi Jin

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yang, Z., Jin, Z. (2014). Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems. In: Zowghi, D., Jin, Z. (eds) Requirements Engineering. Communications in Computer and Information Science, vol 432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-43610-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-43610-3_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-43609-7

  • Online ISBN: 978-3-662-43610-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation