Abstract
Ambient Assisted Living (AAL) systems are usually deployed in complex environments and should behave autonomously. So, self-adaptation is an essential concern of these systems that should be part of their requirements specification. The modelling of self-adaptation requirements is a challenging task because it is strongly related to other system requirements. The achievement of self-adaptation requirements typically implies prioritisation or denial of different requirements, so it is crucial to have mechanisms for their modelling and analysis. We study the suitability of requirement specification languages for self-adaptation in the context of a project to develop AAL systems. Specifically, we compare specifications made in RELAX, Tropos4AS and GODA. Our study with 14 people concludes that understanding these specifications is similar for the three languages but poses some difficulties for users. Specifically, users perceive the understanding of RELAX specification requires less effort and makes them feel less frustrated.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Gralha de Almeida, A.C.: Quality evaluation of requirements models: the case of goal models and scenarios. Ph.D. thesis, Universidade Nova de Lisboa (2019)
Anda, A.A., Amyot, D.: Self-adaptation driven by SysML and goal models - a literature review. e-Informatica Softw. Eng. J. 16(1) (2022)
Ballesteros, J., Ayala, I., Caro-Romero, J.R., Amor, M., Fuentes, L.: Evolving dynamic self-adaptation policies of mhealth systems for long-term monitoring. J. Biomed. Inform. 108, 103494 (2020)
Baresi, L., Pasquale, L., Spoletini, P.: Fuzzy goals for requirements-driven adaptation. In: 18th IEEE International Requirements Engineering Conference, pp. 125–134 (2010)
Bencomo, N.: Requirements for self-adaptation. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2011. LNCS, vol. 7680, pp. 271–296. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-35992-7_7
Cheng, B.C., Goldsby, H.: Goal-oriented modeling of requirements engineering for dynamically adaptive system. In: 14th IEEE International Requirements Engineering Conference (2006)
Escalona, M.J., Koch, N.: Requirements engineering for web applications - a comparative study. J. Web Eng. 2(3), 193–212 (2004)
Félix Solano, G., Diniz Caldas, R., Nunes Rodrigues, G., Vogel, T., Pelliccione, P.: Taming uncertainty in the assurance process of self-adaptive systems: a goal-oriented approach. In: IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2019)
Keller, K., Brings, J., Daun, M., Weyer, T.: A comparative analysis of ITU-MSC-based requirements specification approaches used in the automotive industry. In: System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering (2018)
Kephart, J., Chess, D.: The vision of autonomic computing. Computer 36(1), 41–50 (2003)
Mendonça, D.F., Nunes Rodrigues, G., Ali, R., Alves, V., Baresi, L.: GODA: a goal-oriented requirements engineering framework for runtime dependability analysis. Inf. Softw. Technol. 80, 245–264 (2016)
Morandini, M., Penserini, L., Perini, A., Marchetto, A.: Engineering requirements for adaptive systems. Requirements Eng. 22(1), 77–103 (2017)
Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: High variability design for software agents: extending tropos. ACM Trans. Auton. Adapt. Syst. (2007)
Purohit, P., Khanpara, P., Patel, U., Kathiria, P.: IoT based ambient assisted living technologies for healthcare: concepts and design challenges. In: 6th International Conference on I-SMAC, pp. 111–116 (2022)
Sharafi, Z., Marchetto, A., Susi, A., Antoniol, G., Guéhéneuc, Y.G.: An empirical study on the efficiency of graphical vs. textual representations in requirements comprehension. In: 21st International Conference on Program Comprehension (ICPC), pp. 33–42 (2013)
Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.M.: Relax: a language to address uncertainty in self-adaptive systems requirement. Requirements Eng. 15(2), 177–196 (2010)
Acknowledgements
This work is partially funded by projects TED2021-131739B-C21, PDC2022-133597-C42 and IRIS PID2021-12281 2OB-I00 funded by the Gobierno de España and FEDER funds, by the Junta de Andalucía (Spain) under contract QUAL21 010UMA and project DISCO B1-201212 funded by Universidad de Málaga.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ayala, I., Amor, M., Fuentes, L. (2023). Analysing Requirements Specification Languages for Self-adaptive AAL Systems. In: Bravo, J., Urzáiz, G. (eds) Proceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023). UCAmI 2023. Lecture Notes in Networks and Systems, vol 842. Springer, Cham. https://doi.org/10.1007/978-3-031-48642-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-031-48642-5_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-48641-8
Online ISBN: 978-3-031-48642-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)