Modelling and Verification of Natural Language Requirements based on States and Modes - Smart Modeling for software Research and Technology Access content directly
Conference Papers Year : 2022

Modelling and Verification of Natural Language Requirements based on States and Modes


Natural language requirements (NLRs) modeling and verification allow us to detect errors in requirements as early as possible in an effective way. The NLRs of system development usually involve states and modes either explicitly or implicitly. Different stakeholders have different understandings of these two terms. The misunderstanding of states and modes in NLRs severely impedes requirements modeling and validation. For example, conflicts in system validation may occur when users and developers do not share a consensus on the terms. Modeling and verification of requirements from the viewpoint of states and modes have never been investigated. Thus, in this paper, an innovative approach to analyzing requirements is proposed. To this end, an overview of states and modes in literature is performed to help us understand the relationship between them. The MoSt language (a Domain Specific Language, DSL) is then designed for requirements modeling and implemented by Xtext framework. Meanwhile, a model validator is realized to define user-defined rules, in order to statically check requirements. In the following, a code generator is also accomplished to realize the automatic model transformation from the MoSt model to the NuSMV model, which aims at the dynamic checks of requirements. The grammar, the model validator, and the code generator are integrated into an Eclipse-based tool which is available on GitHub. A case study on requirements for designing cars has been conducted to illustrate the feasibility of our approach. In this case study, we injected 11 errors. The results show that 6, 4, and 1 were detected in the static analysis, traceability analysis, and completeness analysis of the model respectively. Finally, the feasibility Preprint submitted to Elsevier 2 juin 2021 of our approach to reducing conflicts between user and developers has been illustrated in validation analysis.
Fichier principal
Vignette du fichier
Modeling_and_Verification_of_Natural_Language_Requirements_based_on_States_and_Modes.pdf (6.42 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03941814 , version 1 (16-01-2023)



Yinling Liu, Jean-Michel Bruel. Modelling and Verification of Natural Language Requirements based on States and Modes. 30th International Requirements Engineering Conference Workshops (REW 2022), IEEE, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00043⟩. ⟨hal-03941814⟩
79 View
29 Download



Gmail Facebook X LinkedIn More