|||"Self-Adaptation Driven by SysML and Goal Models – A Literature Review", In e-Informatica Software Engineering Journal, vol. 16, no. 1, pp. 220101, 2022.
DOI: , 10.37190/e-Inf220101.|
Download article (PDF)Get article BibTeX file
Amal Ahmed Anda, Daniel Amyot
Background: Socio-cyber-physical systems (SCPSs) are a type of cyber-physical systems with social concerns. Many SCPSs, such as smart homes, must be able to adapt to reach an optimal symbiosis with users and their contexts. The Systems Modeling Language (SysML) is frequently used to specify ordinary CPSs, whereas goal modeling is a requirements engineering approach used to describe and reason about social concerns.
Objective: This paper aims to assess existing modeling techniques that support adaptation in SCPSs, and in particular those that integrate SysML with goal modeling.
Method: A systematic literature review presents the main contributions of 52 English articles selected from five databases that use both SysML and goal models (17 techniques), SysML models only (11 techniques), or goal models only (8 techniques) for analysis and self-adaptation.
Result: Existing techniques have provided increasingly better modeling support for adaptation in a SCPS context, but overall analysis support remains weak. The techniques that combine SysML and goal modeling offer interesting benefits by tracing goals to SysML (requirements) diagrams and influencing the generation of predefined adaptation strategies for expected contexts, but few target adaptation explicitly and most still suffer from a partial coverage of important goal modeling concepts and of traceability management issues.
adaptation, cyber-physical systems, goal modeling, socio-technical systems, sysml, traceability, uncertainty
1. B. Tekinerdogan, D. Blouin, H. Vangheluwe, M. Goulão, P. Carreira et al., Multi-Paradigm Modelling Approaches for Cyber-Physical Systems . Elsevier Science, 2020.
2. I. Horváth, “What the Design Theory of Social-Cyber-Physical Systems Must Describe, Explain and Predict?” in An Anthology of Theories and Models of Design . Springer, 2014, pp. 99–120.
3. I.J. Jureta, A. Borgida, N.A. Ernst, and J. Mylopoulos, “The requirements problem for adaptive systems,” ACM Transactions on Management Information Systems (TMIS) , Vol. 5, No. 3, 2015, p. 17.
4. A. Smirnov, A. Kashevnik, and A. Ponomarev, “Multi-level self-organization in cyber-physical-social systems: Smart home cleaning scenario,” Procedia CIRP , Vol. 30, 2015, pp. 329–334, 7th Industrial Product-Service Systems Conference – PSS, industry transformation for sustainability and business.
5. F. Zambonelli, “Towards a general software engineering methodology for the internet of things,” CoRR , Vol. abs/1601.05569, 2016. [Online]. http://arxiv.org/abs/1601.05569
6. E. Cavalcante, T. Batista, N. Bencomo, and P. Sawyer, “Revisiting goal-oriented models for self-aware systems-of-systems,” in 2015 IEEE International Conference on Autonomic Computing (ICAC) , July 2015, pp. 231–234.
7. M. Sanchez, E. Exposito, and J. Aguilar, “Autonomic computing in manufacturing process coordination in industry 4.0 context,” Journal of Industrial Information Integration , Vol. 19, 2020, p. 100159. [Online]. https://www.sciencedirect.com/science/article/pii/S2452414X20300340
8. J.O. Kephart and D.M. Chess, “The vision of autonomic computing,” Computer , Vol. 36, No. 1, 2003, pp. 41–50.
9. J. Bocanegra, J. Pavlich-Mariscal, and A. Carrillo-Ramos, “On the role of model-driven engineering in adaptive systems,” in Computing Conference (CCC), 2016 IEEE 11th Colombian . IEEE, 2016, pp. 1–8.
10. J.C. Muńoz-Fernández, R. Mazo, C. Salinesi, and G. Tamura, “10 challenges for the specification of self-adaptive software,” in 12th International Conference on Research Challenges in Information Science (RCIS) , May 2018, pp. 1–12.
11. F. Bordeleau, B. Combemale, R. Eramo, M. van den Brand, and M. Wimmer, “Tool-support of socio-technical coordination in the context of heterogeneous modeling,” in 6th Int. Workshop on the Globalization of Modeling Languages (GEMOC), MODELS 2018 Workshops , 2018, pp. 1–3.
12. BKCASE Governing Board, “Guide to the Systems Engineering Body of Knowledge (SEBoK) v. 1.9.1,” 2014, p. 945. [Online]. https://bit.ly/2PWwxFJ
13. T. Huldt and I. Stenius, “State-of-practice survey of model-based systems engineering,” Systems Engineering , 2018, pp. 1–12 (online first).
14. OMG, “OMG Systems Modeling Language (SysML), Version 1.6,” Object Management Group, 2019. [Online]. https://www.omg.org/spec/SysML/
15. S. Friedenthal, A. Moore, and R. Steiner, A practical guide to SysML: the systems modeling language . Morgan Kaufmann, 2014.
16. ISO, “ISO/IEC 19514:2017 – Information technology – Object management group systems modeling language (OMG SysML),” International Organization for Standardization, 2017. [Online]. https://www.omg.org/spec/SysML/
17. A. Soyler and S. Sala-Diakanda, “A model-based systems engineering approach to capturing disaster management systems,” in 2010 IEEE International Systems Conference , apr 2010, pp. 283–287.
18. A.S. Akbas and W. Karwowski, “A systems engineering approach to modeling and simulating software training management efforts,” in 25th European Modeling and Simulation Symposium, EMSS 2013 , 2013, pp. 264–269.
19. A.S. Akbas, K. Mykoniatis, A. Angelopoulou, and W. Karwowski, “A model-based approach to modeling a hybrid simulation platform (work in progress),” in Proceedings of the Symposium on Theory of Modeling & Simulation – DEVS Integrative , DEVS ’14. San Diego, CA, USA: Society for Computer Simulation International, 2014, pp. 31:1–31:6. [Online]. http://dl.acm.org/citation.cfm?id=2665008.2665039
20. D. Amyot, A.A. Anda, M. Baslyman, L. Lessard, and J.M. Bruel, “Towards Improved Requirements Engineering with SysML and the User Requirements Notation,” in 2016 IEEE 24th International Requirements Engineering Conference (RE) , sep 2016, pp. 329–334.
21. G. Mussbacher, D. Amyot, R. Breu, J.M. Bruel, B.H.C. Cheng et al., “The relevance of model-driven engineering thirty years from now,” in Model-Driven Engineering Languages and Systems , J. Dingel, W. Schulte, I. Ramos, S. Abrahão, and E. Insfran, Eds. Cham: Springer International Publishing, 2014, pp. 183–200.
22. J.A. Lane and T. Bohn, “Using SysML modeling to understand and evolve systems of systems,” Systems Engineering , Vol. 16, No. 1, 2013, pp. 87–98.
23. C. Ncube and S.L. Lim, “On systems of systems engineering: A requirements engineering perspective and research agenda,” in 26th International Requirements Engineering Conference (RE) . IEEE CS, Aug 2018, pp. 112–123.
24. A. Van Lamsweerde, Requirements engineering: From system goals to UML models to software . Chichester, UK: John Wiley & Sons, 2009, Vol. 10.
25. S. Woldeamlak, A. Diabat, and D. Svetinovic, “Goal-oriented requirements engineering for research-intensive complex systems: A case study,” Systems Engineering , Vol. 19, No. 4, 2016, pp. 322–333.
26. E.S.K. Yu, “Towards modelling and reasoning support for early-phase requirements engineering,” in Requirements Engineering, 1997, Proceedings of the Third IEEE International Symposium on , 1997, pp. 226–235.
27. D. Amyot and G. Mussbacher, “User Requirements Notation: the first ten years, the next ten years,” JSW , Vol. 6, No. 5, 2011, pp. 747–768.
28. ITU-T, “Recommendation Z.151 (10/18): User Requirements Notation (URN) – Language Definition,” 2018. [Online]. http://www.itu.int/rec/T-REC-Z.151/en
29. M. Daun, J. Brings, L. Krajinski, V. Stenkova, and T. Bandyszak, “A GRL-compliant iStar extension for collaborative cyber-physical systems,” Requirements Engineering , Vol. 26, No. 4, 2021, pp. 325–370.
30. K. Neace, R. Roncace, and P. Fomin, “Goal model analysis of autonomy requirements for unmanned aircraft systems,” Requirements Engineering , Vol. 23, No. 4, 2018, pp. 509–555.
31. A.A. Anda and D. Amyot, “Traceability management of GRL and SysML models,” in SAM’20: 12th System Analysis and Modelling Conference . ACM, 2020, pp. 117–126.
32. D. Amyot, S. Ghanavati, J. Horkoff, G. Mussbacher, L. Peyton et al., “Evaluating goal models within the Goal-oriented Requirement Language,” International Journal of Intelligent Systems , Vol. 25, No. 8, 2010, pp. 841–877.
33. D. Amyot, H. Becha, R. Bræk, and J.E. Rossebø, “Next generation service engineering,” in First ITU-T Kaleidoscope Academic Conference – Innovations in NGN: Future Network and Services , 2008, pp. 195–202.
34. M. Alenazi, N. Niu, W. Wang, and J. Savolainen, “Using obstacle analysis to support SysML-based model testing for cyber physical systems,” in 8th Int. Model-Driven Requirements Engineering Workshop (MODRE) . IEEE CS, 2018, pp. 46–55.
35. G. Blair, N. Bencomo, and R.B. France, “Models@ run. time,” Computer , Vol. 42, No. 10, 2009.
36. F.D. Macías-Escrivá, R. Haber, R. del Toro, and V. Hernandez, “Self-adaptive systems: A survey of current approaches, research challenges and applications,” Expert Systems with Applications , Vol. 40, No. 18, 2013, pp. 7267–7279.
37. C. Krupitzer, F.M. Roth, S. VanSyckel, G. Schiele, and C. Becker, “A survey on engineering approaches for self-adaptive systems,” Pervasive and Mobile Computing , Vol. 17, 2015, pp. 184–206.
38. B. Porter, R.R. Filho, and P. Dean, “A survey of methodology in self-adaptive systems research,” in International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2020) . IEEE, 2020, pp. 168–177.
39. F. Zahid, A. Tanveer, M.M. Kuo, and R. Sinha, “A systematic mapping of semi-formal and formal methods in requirements engineering of industrial cyber-physical systems,” Journal of Intelligent Manufacturing , 2021, pp. 1–36.
40. J. Horkoff, F.B. Aydemir, E. Cardoso, T. Li, A. Maté et al., “Goal-oriented requirements engineering: an extended systematic mapping study,” Requirements Engineering , Vol. 24, No. 2, 2019, pp. 133–160.
41. W. Wang, N. Niu, M. Alenazi, and L. Da Xu, “In-place traceability for automated production systems: A survey of PLC and SysML tools,” IEEE Transactions on Industrial Informatics , Vol. 15, No. 6, 2018, pp. 3155–3162.
42. S. Wolny, A. Mazak, C. Carpella, V. Geist, and M. Wimmer, “Thirteen years of SysML: a systematic mapping study,” Software & Systems Modeling , Vol. 19, No. 1, 2020, pp. 111–169.
43. B. Kitchenham and S. Charters, “Guidelines for performing systematic literature reviews in software engineering,” Keele University and Durham University Joint Report, Tech. Rep. EBSE 2007-001, 2007.
44. S.J. Tueno Fotso, M. Frappier, R. Laleau, A. Mammar, and M. Leuschel, “Formalisation of SysML/KAOS goal assignments with B system component decompositions,” in Integrated Formal Methods , C.A. Furia and K. Winter, Eds. Cham: Springer International Publishing, 2018, pp. 377–397.
45. C. Ingram, Z. Andrews, R. Payne, and N. Plat, “SysML fault modelling in a traffic management system of systems,” in System of Systems Engineering (SOSE), 2014 9th International Conference on . IEEE, 2014, pp. 124–129.
46. Y. Vanderperren and W. Dehaene, “SysML and systems engineering applied to UML-based SoC design,” in Proc. of the 2nd UML-SoC Workshop at 42nd DAC, USA , 2005.
47. I. Ozkaya, “Representing requirement relationships,” in First International Workshop on Visualization in Requirements Engineering, REV 2006 , 2007.
48. A. Matoussi, F. Gervais, and R. Laleau, “A goal-based approach to guide the design of an abstract Event-B specification,” in Engineering of Complex Computer Systems (ICECCS), 2011 16th IEEE International Conference on . IEEE, 2011, pp. 139–148.
49. R. Laleau, F. Semmak, A. Matoussi, D. Petit, A. Hammad et al., “A first attempt to combine SysML requirements diagrams and B,” Innovations in Systems and Software Engineering , Vol. 6, No. 1, 2010, pp. 47–54.
50. X. Cui and R. Paige, “An integrated framework for system/software requirements development aligning with business motivations,” in Proceedings – 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, ICIS 2012 , 2012, pp. 547–552.
51. C. Gnaho, R. Laleau, F. Semmak, and J.M. Bruel, “bCMS requirements modelling using SysML/KAOS,” 2013, https://goo.gl/QU9Tgn.
52. C. Gnaho, F. Semmak, and R. Laleau, “An overview of a SysML extension for goal-oriented NFR modelling: Poster paper,” in IEEE 7th International Conference on Research Challenges in Information Science (RCIS) , may 2013, pp. 1–2.
53. A. Mammar and R. Laleau, “On the use of domain and system knowledge modeling in goal-based Event-B specifications,” Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , Vol. 9952 LNCS, 2016, pp. 325–339.
54. E. Bousse, “Requirements management led by formal verification,” Master’s thesis, Master’s thesis, Computer Science, University of Rennes, France, 2012.
55. M. Ahmad, N. Belloir, and J.M. Bruel, “Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems,” Journal of Systems and Software , Vol. 107, 2015, pp. 50–70.
56. M. Ahmad, J.M. Bruel, R. Laleau, and C. Gnaho, “Using RELAX, SysML and KAOS for ambient systems requirements modeling,” in Procedia Computer Science , Vol. 10, 2012, pp. 474–481.
57. M. Ahmad, J. Araújo, N. Belloir, J.M. Bruel, C. Gnaho et al., “Self-adaptive systems requirements modelling: Four related approaches comparison,” in Comparing Requirements Modeling Approaches Workshop (CMA@ RE), 2013 International . IEEE, 2013, pp. 37–42.
58. M. Ahmad, I. Dragomir, J.M. Bruel, I. Ober, and N. Belloir, “Early analysis of ambient systems SysML properties using Omega2-IFX,” in SIMULTECH 2013 , 2013.
59. M. Ahmad, “First step towards a domain specific language for self-adaptive systems,” in New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on . IEEE, 2010, pp. 285–290.
60. M. Ahmad and J.M. Bruel, “bCMS requirements modelling using RELAX/SysML/ KAOS,” in 3rd CMA Workshop at RE’2013 , 2013.
61. M. Ahmad and J.M. Bruel, “A comparative study of RELAX and SysML/KAOS,” Institut de Recherche en Informatique de Toulouse, University Toulouse II Le Mirail, France, Tech. Rep., 2014.
62. N. Belloir, V. Chiprianov, M. Ahmad, M. Munier, L. Gallon et al., “Using relax operators into an mde security requirement elicitation process for systems of systems,” in Proceedings of the 2014 European Conference on Software Architecture Workshops . ACM, 2014, p. 32.
63. L. Apvrille and Y. Roudier, “SysML-Sec: A SysML environment for the design and development of secure embedded systems,” APCOSEC, Asia-Pacific Council on Systems Engineering , 2013, pp. 8–11.
64. L. Apvrille and Y. Roudier, “Designing safe and secure embedded and cyber-physical systems with SysML-Sec,” in International Conference on Model-Driven Engineering and Software Development . Springer, 2015, pp. 293–308.
65. Y. Roudier and L. Apvrille, “SysML-Sec: A model driven approach for designing safe and secure systems,” in Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on . IEEE, 2015, pp. 655–664.
66. A. Tsadimas, M. Nikolaidou, and D. Anagnostopoulos, “Extending SysML to explore non-functional requirements: the case of information system design,” in Proceedings of the 27th Annual ACM Symposium on Applied Computing . ACM, 2012, pp. 1057–1062.
67. D. Spyropoulos and J.S. Baras, “Extending Design Capabilities of SysML with Trade-off Analysis: Electrical Microgrid Case Study,” Procedia Computer Science , Vol. 16, 2013, pp. 108–117.
68. O. Badreddin, V. Abdelzad, T.C. Lethbridge, and M. Elaasar, “FSysML: Foundational executable SysML for cyber-physical system modeling,” in CEUR Workshop Proceedings , Vol. 1731, 2016, pp. 38–51.
69. Z. Fan, T. Yue, and L. Zhang, “SAMM: an architecture modeling methodology for ship command and control systems,” Software and Systems Modeling , Vol. 15, No. 1, 2016, pp. 71–118.
70. H. Wang, “Multi-Level Requirement Model and Its Implementation For Medical Device,” Master’s thesis, Master’s thesis, Mechanical and Energy Engineering, Purdue University, United States, 2018.
71. S. Lee, S. Park, and Y.B. Park, “Self-adaptive system verification based on SysML,” in 2019 International Conference on Electronics, Information, and Communication (ICEIC) . IEEE CS, 2019, pp. 1–3.
72. I. Maskani, J. Boutahar, and S. El Ghazi El Houssaïni, “Modeling telemedicine security requirements using a SysML security extension,” in 2018 6th International Conference on Multimedia Computing and Systems (ICMCS) , 2018, pp. 1–6.
73. A. Anda and D. Amyot, “An optimization modeling method for adaptive systems based on goal and feature models,” in 2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE) . IEEE, 2020, pp. 11–20.
74. A.A. Anda and D. Amyot, “Arithmetic semantics of feature and goal models for adaptive cyber-physical systems,” in 2019 IEEE 27th International Requirements Engineering Conference (RE) . IEEE, 2019, pp. 245–256.
75. A.A. Anda, “Modeling adaptive socio-cyber-physical systems with goals and SysML,” in 26th International Requirements Engineering Conference (RE) . IEEE CS, 2018, pp. 442–447.
76. OMG, “Business Motivation Model (BMM), Version 1.3,” Object Management Group, 2015. [Online]. https://www.omg.org/spec/BMM/
77. J. Whittle, P. Sawyer, N. Bencomo, B.H.C. Cheng, and J.M. Bruel, “RELAX: a language to address uncertainty in self-adaptive systems requirement,” Requirements Engineering , Vol. 15, No. 2, 2010, pp. 177–196.
78. Y. Fan, A.A. Anda, and D. Amyot, “An arithmetic semantics for GRL goal models with function generation,” in System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering , F. Khendek and R. Gotzhein, Eds. Cham: Springer International Publishing, 2018, pp. 144–162.
79. I. Mistrik, N. Ali, R. Kazman, J. Grundy, and B. Schmerl, Managing Trade-offs in Adaptable Software Architectures . Morgan Kaufmann, 2016.
80. M. Salehie and L. Tahvildari, “Self-adaptive software: Landscape and research challenges,” ACM transactions on autonomous and adaptive systems (TAAS) , Vol. 4, No. 2, 2009, p. 14.
81. J. Andersson, R. De Lemos, S. Malek, and D. Weyns, “Modeling dimensions of self-adaptive software systems,” Software engineering for self-adaptive systems , 2009, pp. 27–47.
82. M. Morandini, L. Penserini, and A. Perini, “Automated mapping from goal models to self-adaptive systems,” in Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering . IEEE Computer Society, 2008, pp. 485–486.
83. M. Morandini, L. Penserini, A. Perini, and A. Marchetto, “Engineering requirements for adaptive systems,” Requirements Engineering , Vol. 22, No. 1, 2017, pp. 77–103.
84. P. Bareiß, D. Schütz, R. Priego, M. Marcos, and B. Vogel-Heuser, “A model-based failure recovery approach for automated production systems combining SysML and industrial standards,” in 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) , sep 2016, pp. 1–7.
85. J. Parri, F. Patara, S. Sampietro, and E. Vicario, “A framework for model-driven engineering of resilient software-controlled systems,” Computing , 2020, pp. 1–24.
86. L. Baresi, L. Pasquale, and P. Spoletini, “Fuzzy goals for requirements-driven adaptation,” in Requirements Engineering Conference (RE), 2010 18th IEEE International . IEEE, 2010, pp. 125–134.
87. L. Baresi and L. Pasquale, “Adaptive goals for self-adaptive service compositions,” in Web Services (ICWS), 2010 IEEE international conference on . IEEE, 2010, pp. 353–360.
88. L. Baresi and L. Pasquale, “Live goals for adaptive service compositions,” Proceedings of the 2010 ICSE Workshop on Software , 2010.
89. M. Hussein, S. Li, and A. Radermacher, “Model-driven development of adaptive iot systems.” in MODELS (Satellite Events) , 2017, pp. 17–23.
90. S. Meacham, “Towards self-adaptive IoT applications: Requirements and adaptivity patterns for a fall-detection ambient assisting living application,” in Components and Services for IoT Platforms . Springer, 2017, pp. 89–102.
91. F.G.C. Ribeiro, S. Misra, and M.S. Soares, “Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems,” in International Conference on Computational Science and Its Applications . Springer, 2013, pp. 70–81.
92. A.J. Lopes, R. Lezama, and R. Pineda, “Model Based Systems Engineering for Smart Grids as systems of systems,” in Procedia Computer Science , Vol. 6, 2011, pp. 441–450.
93. L.S. Souza, S. Misra, and M.S. Soares, “SmartCitySysML: A SysML Profile for Smart Cities Applications,” in Computational Science and Its Applications – ICCSA 2020 . LNCS 12254, Springer, 2020, pp. 383–397.
94. W. Qian, X. Peng, B. Chen, J. Mylopoulos, H. Wang et al., “Rationalism with a dose of empiricism: combining goal reasoning and case-based reasoning for self-adaptive software systems,” Requirements Engineering , Vol. 20, No. 3, 2015, pp. 233–252.
95. R. Ramnath, V. Gupta, and J. Ramanathan, “RED-Transaction and Goal-Model Based Analysis of Layered Security of Physical Spaces,” in Computer Software and Applications, 2008. COMPSAC’08. 32nd Annual IEEE International . IEEE, 2008, pp. 679–685.
96. O. Ginigeme and A. Fabregas, “Model based systems engineering high level design of a sustainable electric vehicle charging and swapping station using discrete event simulation,” in 2018 Annual IEEE International Systems Conference (SysCon) . IEEE, 2018, pp. 1–6.
97. J. Horkoff, R. Salay, M. Chechik, and A. Di Sandro, “Supporting early decision-making in the presence of uncertainty,” in Requirements Engineering Conference (RE), 2014 IEEE 22nd International . IEEE, 2014, pp. 33–42.
98. J.B. Warmer and A.G. Kleppe, The object constraint language: Precise modeling with UML (Addison-Wesley Object Technology Series) . Addison-Wesley Professional, 1998.
99. R. Salay, M. Famelis, and M. Chechik, “Language independent refinement using partial modeling,” in Fundamental Approaches to Software Engineering , J. de Lara and A. Zisman, Eds. Springer Berlin Heidelberg, 2012, pp. 224–239.
100. A. Pnueli, “The temporal logic of programs,” in Foundations of Computer Science, 1977., 18th Annual Symposium on . IEEE, 1977, pp. 46–57.
101. W. Emmerich, B. Butchart, L. Chen, B. Wassermann, and S. Price, “Grid service orchestration using the business process execution language (bpel),” Journal of Grid Computing , Vol. 3, No. 3-4, 2005, pp. 283–304, cited By 104.
102. A. Rahman and D. Amyot, “A DSL for importing models in a requirements management system,” in 4th Int. Model-Driven Requirements Engineering Workshop (MoDRE) . IEEE CS, 2014, pp. 37–46.
103. IBM, “Rational DOORS v9.6.1,” 2018. [Online]. http://goo.gl/yGWpze
104. B.H.C. Cheng, R. De Lemos, H. Giese, P. Inverardi, and J. Magee et al., “Software Engineering for Self-Adaptive Systems: A Research Roadmap,” in Software engineering for self-adaptive systems , Vol. LNCS 5525. Springer, 2009, pp. 1–26.
105. S.A. Alwidian, M. Dhaouadi, and M. Famelis, “A vision towards a conceptual basis for the systematic treatment of uncertainty in goal modelling,” in SAM’20: 12th System Analysis and Modelling Conference , A. Gherbi, W. Hamou-Lhadj, and A. Bali, Eds. ACM, 2020, pp. 139–142.
106. P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, “Tropos: An agent-oriented software development methodology,” Autonomous Agents and Multi-Agent Systems , Vol. 8, No. 3, 2004, pp. 203–236.
107. P. Giorgini, J. Mylopoulos, E. Nicchiarelli, and R. Sebastiani, “Reasoning with goal models,” in International Conference on Conceptual Modeling . Springer, 2002, pp. 167–181.
108. J.O. Kephart and W.E. Walsh, “An artificial intelligence perspective on autonomic computing policies,” in Policies for Distributed Systems and Networks, 2004. POLICY 2004. Proceedings. Fifth IEEE International Workshop on . IEEE, 2004, pp. 3–12.
109. R. de Lemos, H. Giese, H.A. Müller, M. Shaw, J. Andersson et al., “Software engineering for self-adaptive systems: A second research roadmap,” in Software Engineering for Self-Adaptive Systems II . Springer, 2013, pp. 1–32.
110. Z. Yang, Z. Li, Z. Jin, and Y. Chen, “A systematic literature review of requirements modeling and analysis for self-adaptive systems,” in Requirements Engineering: Foundation for Software Quality , C. Salinesi and I. van de Weerd, Eds. Springer, 2014, pp. 55–71.
111. R. Feldt and A. Magazinius, “Validity Threats in Empirical Software Engineering Research-An Initial Survey.” in SEKE , 2010, pp. 374–379.
112. A. Ampatzoglou, S. Bibi, P. Avgeriou, M. Verbeek, and A. Chatzigeorgiou, “Identifying, categorizing and mitigating threats to validity in software engineering secondary studies,” Information and Software Technology , Vol. 106, 2019, pp. 201–230.
113. B. Combemale, J.A. Kienzle, and G. Mussbacher et al., “A hitchhiker’s guide to model-driven engineering for data-centric systems,” IEEE Software , Vol. 38, No. 4, 2021, pp. 71–84.