research-article

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

Authors:

Nicolas Belloir,

Jean-Michel BruelAuthors Info & Claims

Journal of Systems and Software, Volume 107, Issue C

Pages 50 - 70

https://doi.org/10.1016/j.jss.2015.05.028

Published: 01 September 2015 Publication History

Abstract

We propose a model-based approach for the modeling and verification of requirements.We integrate the notion of goal-oriented concepts for the requirements definition of self-adaptive systems.We identify the adaptability features associated with the requirements of these systems.We apply it on an ambient assisted living system. Self-Adaptive Systems modify their behavior at run-time in response to changing environmental conditions. For these systems, Non-Functional Requirements play an important role, and one has to identify as early as possible the requirements that are adaptable. We propose an integrated approach for modeling and verifying the requirements of Self-Adaptive Systems using Model Driven Engineering techniques. For this, we use Relax, which is a Requirements Engineering language which introduces flexibility in Non-Functional Requirements. We then use the concepts of Goal-Oriented Requirements Engineering for eliciting and modeling the requirements of Self-Adaptive Systems. For properties verification, we use OMEGA2/IFx profile and toolset. We illustrate our proposed approach by applying it on an academic case study.

References

[1]

Jean R. Abrial, Cambridge University Press, New York, NY, USA, 1996.

[2]

Manzoor Ahmad, First step towards a domain specific language for self-adaptive systems, IEEE, 2010.

[3]

Manzoor Ahmad, Mathématique Informatique Télécommunications, University of Toulouse Mirail, France, 2013.

[4]

Manzoor Ahmad, João Araújo, Nicolas Belloir, Régine Laleau, Jean-Michel Bruel, Christophe Gnaho, Farrida Semmak, Self-adaptive systems requirements modelling: Four related approaches comparison, IEEE Computer Society Press, Rio de Janeiro Brazil, 2013.

[5]

Manzoor Ahmad, Jean-Michel Bruel, A comparative study of RELAX and SysML/Kaos, Institut de Recherche en Informatique de Toulouse, University Toulouse II Le Mirail, France, 2014.

[6]

Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho, Modélisation des Exigences pour les Systmes Auto-adaptatifs: Intégration des Techniques Relax/SysML/Kaos, 2012.

[7]

Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho, Using RELAX, SysML and KAOS for ambient systems requirements modeling, Elsevier Procedia Computer Science, 2012.

[8]

Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir, Early analysis of ambient systems sysml properties using omega2-ifx, 2013.

[9]

Ludovic Apvrille, Jean P. Courtiat, Christophe Lohr, Pierre de Saqui-Sannes, TURTLE: A real-time UML profile supported by a formal validation toolkit, IEEE Trans. Softw. Eng., 30 (2004) 473-487.

Digital Library

[10]

Uwe Aíßmann, Nelly Bencomo, Betty H.C. Cheng, Robert B. France, [email protected] (Dagstuhl Seminar 11481), DagstuhlReports, 1 (2011).

[11]

Luciano Baresi, Liliana Pasquale, Paola Spoletini, Fuzzy goals for requirements-driven adaptation, IEEE Computer Society, Washington, DC, USA, 2010.

[12]

Bascans, Jérémy, Walczak, Jérémy, Zeghoudi, Jérôme, Ahmad, Manzoor, Geisel, Jacob, Bruel, Jean-Michel, 2013. COOL RELAX Editor, M2ICE Project, Université de Toulouse le Mirail.

[13]

Kawtar Benghazi, María Visitación Hurtado, María Luisa Rodríguez, Manuel Noguera, Applying formal verification techniques to ambient assisted living systems, Springer-Verlag, Berlin/Heidelberg, 2009.

[14]

Gordon S. Blair, Nelly Bencomo, Robert B. France, Models@ Run.Time, Computer, 42 (2009) 22-27.

Digital Library

[15]

Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis, The IF toolset, Springer-Verlag, Berlin/Heidelberg, 2004.

[16]

Betty H.C. Cheng, Pete Sawyer, Nelly Bencomo, Jon Whittle, A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty, Springer-Verlag, Berlin/Heidelberg, 2009.

[17]

Betty H.C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Software engineering for self-adaptive systems: A research roadmap, Springer-Verlag, Berlin, Heidelberg, 2009.

[18]

Lawrence Chung, Brian A. Nixon, Eric Yu, John Mylopoulos, Springer-Verlag, 1999.

[19]

Edmund M. Clarke, Orna Grumberg, Doron Peled, MIT Press, London, 1999.

[20]

Edmund M. Clarke, William Klieber, Milo Novek, Paolo Zuliani, Model checking and the state explosion problem, in: Lecture Notes in Computer Science, 7682, Springer-Verlag, Berlin Heidelberg, 2012, pp. 1-30.

[21]

Jane Cleland-Huang, Raffaella Settimi, Xuchang Zou, Peter Solc, Automated classification of non-functional requirements, Requir. Eng., 12 (2007) 103-120.

Digital Library

[22]

Jean P. Courtiat, Celso A.S. Santos, Christophe Lohr, B. Outtaj, Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique, Comput. Commun., 23 (2000) 1104-1123.

Digital Library

[23]

Luiz Marcio Cysneiros, Julio Cesar Sampaio do Prado Leite, Non functional requirements: From elicitation to conceptual models, IEEE Trans. Softw. Eng., 30 (2004) 328-350.

Digital Library

[24]

Rogério de Lemos, Holger Giese, A. Hausi Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Software engineering for self-adaptive systems: A second research roadmap, in: Lecture Notes in Computer Science, 7475, Springer-Verlag, Berlin Heidelberg, 2013, pp. 1-32.

[25]

Iulia Dragomir, Iulian Ober, David Lesens, A case study in formal system engineering with SysML, IEEE, 2012.

[26]

Christophe Gnaho, Farida Semmak, Une Extension SysML pour l'ingénierie des Exigences Non-Fonctionnelles Orientée But, Lavoisier Paris FRANCE, 2010.

[27]

Heather J. Goldsby, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, Danny Hughes, Goal-based modeling of dynamically adaptive system requirements, IEEE Computer Society, Washington, DC, USA, 2008.

[28]

Eric P. Kasten, Seyed M. Sadjadi, Philip K. McKinley, Architecture and operation of an adaptable communication substrate, 2003.

[29]

Jeffrey O. Kephart, David M. Chess, The Vision of Autonomic Computing, Computer, 36 (2003).

[30]

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouet, A First Attempt to Combine SysML Requirements Diagrams and B, Innovations in Systems and Software Engineering, 6 (2010).

[31]

Axel V. Lamsweerde, Requirements Engineering: From System Goals to UML Models to Software Specifications, Wiley, 2009.

Digital Library

[32]

Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Yijun Yu, Towards Requirements-Driven Autonomic Systems Design, ACM, New York, NY, USA, 2005.

[33]

Robyn R. Lutz, Targeting safety-related errors during software requirements analysis, J. Syst. Softw., 34 (1993) 223-230.

[34]

Seong ick Moon, K.H. Lee, Doheon Lee, Fuzzy branching temporal logic, IEEE Trans. Syst. Man Cybernet. B: Cybernet., 34 (2004).

[35]

Jürgen Nehmer, Martin Becker, Arthur Karshmer, Rosemarie Lamm, Living assistance systems: An ambient intelligence approach, ACM, 2006.

Digital Library

[36]

Iulian Ober, Iulia Dragomir, OMEGA2: A new version of the profile and the tools, IEEE, 2010.

[37]

Andres J. Ramirez, Betty H.C. Cheng, Nelly Bencomo, Pete Sawyer, Relaxing claims: Coping with uncertainty while evaluating assumptions at run time, in: Lecture Notes in Computer Science, 7590, Springer-Verlag, Berlin/Heidelberg, 2012, pp. 53-69.

[38]

Andres J. Ramirez, Erik M. Fredericks, Adam C. Jensen, Betty H.C. Cheng, Auto-matically RELAXing a goal model to cope with uncertainty, Springer-Verlag, Berlin/Heidelberg, 2012.

[39]

Verimag, Irit, 2011. OMEGA2-IFx for UML/SysML v2.0, Profile and Toolset, User Manual Document v1.1.

[40]

E. Vítor, S. Souza, Alexei Lapouchnian, William N. Robinson, John Mylopoulos, Awareness requirements for adaptive systems, ACM, New York, NY, USA, 2011.

[41]

Kristopher Welsh, Pete Sawyer, Understanding the scope of uncertainty in dynamically adaptive systems, Springer-Verlag, Berlin Heidelberg, 2010.

[42]

Kristopher Welsh, Pete Sawyer, Nelly Bencomo, Towards requirements aware systems: Run-time resolution of design-time assumptions, IEEE Computer Society, 2011.

[43]

Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, A language for self-adaptive system requirements, 2008.

[44]

Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, J.-M. Bruel, RELAX: Incorporating uncertainty into the specification of self-adaptive systems, IEEE Computer Society, Washington, DC, USA, 2009.

[45]

Eric S.K. Yu, Towards modeling and reasoning support for early-phase requirements engineering, IEEE Computer Society, 1997.

[46]

Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Julio C.S.P. Leite, From goals to high-variability software design, Springer-Verlag, Berlin, Heidelberg, 2008.

[47]

Yijun Yu, Julio C.S.P. Leite, John Mylopoulos, From goals to aspects: Discovering Aspects from requirements goal models, IEEE Computer Society, Washington, DC, USA, 2004.

Cited By

Pereira ABezerra CCoutinho E(2024)Decomposition of Reliability Requirements for Self-Adaptive Systems Using the NFR FrameworkProceedings of the 20th Brazilian Symposium on Information Systems10.1145/3658271.3658325(1-10)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3658271.3658325
Liu YBruel J(2024)Modeling and Verification of Natural Language Requirements based on States and ModesFormal Aspects of Computing10.1145/364082236:2(1-47)Online publication date: 5-Feb-2024
https://dl.acm.org/doi/10.1145/3640822
Santokhee AAugusto JBrodie L(2024)Towards engineering higher quality intelligent environments: a multi case study approachSoftware Quality Journal10.1007/s11219-024-09678-032:3(1075-1135)Online publication date: 1-Sep-2024
https://dl.acm.org/doi/10.1007/s11219-024-09678-0
Show More Cited By

Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems
1. Software and its engineering
  1. Software creation and management

Recommendations

Handling Non-functional Requirements in Information System Architecture Design
ICSEA '09: Proceedings of the 2009 Fourth International Conference on Software Engineering Advances

Information system architecture design is a complex task depending on both functional and non-functional requirements. Since system architecture definition is strongly related to system performance, non-functional requirements play a significant role ...
Addressing non-functional requirements of adaptive IoT systems: a model-driven approach
MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

Non-functional requirements (NFR) of IoT systems increase the complexity of system development. The success of such systems also largely depends on dealing with NFRs correctly. However, inter-dependencies among NFRs often introduce conflicts. These ...
Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems
Abstract
Normative Multi-agent system (NMAS) forms a promising approach to software engineering for the development of autonomous systems, in norms-based environments. During the construction of these systems, different requirements can be considered: ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Systems and Software

Journal of Systems and Software Volume 107, Issue C

September 2015

220 pages

ISSN:0164-1212

Issue’s Table of Contents

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 01 September 2015

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Pereira ABezerra CCoutinho E(2024)Decomposition of Reliability Requirements for Self-Adaptive Systems Using the NFR FrameworkProceedings of the 20th Brazilian Symposium on Information Systems10.1145/3658271.3658325(1-10)Online publication date: 20-May-2024
https://dl.acm.org/doi/10.1145/3658271.3658325
Liu YBruel J(2024)Modeling and Verification of Natural Language Requirements based on States and ModesFormal Aspects of Computing10.1145/364082236:2(1-47)Online publication date: 5-Feb-2024
https://dl.acm.org/doi/10.1145/3640822
Santokhee AAugusto JBrodie L(2024)Towards engineering higher quality intelligent environments: a multi case study approachSoftware Quality Journal10.1007/s11219-024-09678-032:3(1075-1135)Online publication date: 1-Sep-2024
https://dl.acm.org/doi/10.1007/s11219-024-09678-0
Boutekkouk FMecibah Z(2022)Requirements Metamodeling for Self-Adaptive Embedded SystemsInternational Journal of Software Innovation10.4018/IJSI.31150810:1(1-24)Online publication date: 21-Oct-2022
https://dl.acm.org/doi/10.4018/IJSI.311508
Hachicha MBen Halima RKacem A(2022)Modeling Autonomic SystemsInternational Journal of Software Innovation10.4018/IJSI.30358510:1(1-22)Online publication date: 13-Jul-2022
https://dl.acm.org/doi/10.4018/IJSI.303585
Moreira AMussbacher GAraújo JSánchez P(2022)Theme section on model-driven requirements engineeringSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01055-421:6(2109-2112)Online publication date: 1-Dec-2022
https://dl.acm.org/doi/10.1007/s10270-022-01055-4
Anda AAmyot DGherbi AHamou-Lhadj WBali A(2020)Traceability Management of GRL and SysML ModelsProceedings of the 12th System Analysis and Modelling Conference10.1145/3419804.3420272(117-126)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3419804.3420272
Han DYang QXing JMa G(2020)EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive SoftwareJournal of Computer Science and Technology10.1007/s11390-020-0499-x35:5(1016-1046)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.1007/s11390-020-0499-x
Nurbojatmiko Budiardjo EWibowo W(2018)Slr on Identification & Classification of Non-Functional Requirements Attributes, and Its Representation in Functional RequirementsProceedings of the 2018 2nd International Conference on Computer Science and Artificial Intelligence10.1145/3297156.3297200(151-157)Online publication date: 8-Dec-2018
https://dl.acm.org/doi/10.1145/3297156.3297200
Ahmad MGnaho CBruel JLaleau RChaudron MCrnkovic IChechik MHarman M(2018)How to handle environmental uncertainty in goal-based requirements engineeringProceedings of the 40th International Conference on Software Engineering: Companion Proceeedings10.1145/3183440.3195013(368-369)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3183440.3195013
Show More Cited By

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents