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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. Adapt. Syst. 2, 1–42 (2009)
Andrea, A.F., Savigni, A.: A Framework for Requirements Engineering for Context-Aware Services. In: 1st International Workshop From Software Requirements to Architectures (2001)
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)
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)
Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy Goals for Requirements-Driven Adaptation. In: 18th IEEE International Conference on Requirements Engineering, pp. 125–134 (2010)
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)
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)
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)
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)
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)
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)
McKinley, P.K., Sadjadi, S.M., Kasten, E.P., Cheng, B.H.C.: Composing Adaptive Software. Computer 37, 56–64 (2004)
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)
Dardenne, A., Lamsweerde, A.V., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20, 3–50 (1993)
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)
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)
Wang, Y., Mcilraith, S.A., Yu, Y., Mylopoulos, J.: Monitoring and diagnosing software requirements. Automated Software Engg. 16, 3–35 (2009)
Zhang, J., Cheng, B.H.C.: Using temporal logic to specify adaptive program semantics. Journal of Systems and Software 79, 1361–1369 (2006)
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)
Ali, R., Dalpiaz, F., Giorgini, P.: A goal-based framework for contextual requirements modeling and analysis. Requir. Eng. 15, 439–458 (2010)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)