Skip to main content

Reasoning with contextual requirements: Detecting inconsistency and conflicts.

Ali, R., Dalpiaz, F. and Giorgini, P., 2013. Reasoning with contextual requirements: Detecting inconsistency and conflicts. Information and Software Technology, 55 (1), 35 - 57 .

Full text available as:

Raian_Ali_et_al_IST_Reasoning_With_Contextual_Requirements_Detecting_Inconsistency_and_Conflicts[1].pdf - Submitted Version


DOI: 10.1016/j.infsof.2012.06.013


Context: The environment in which the system operates, its context, is variable. The autonomous ability of a software to adapt to context has to be planned since the requirements analysis stage as a strong mutual influence between requirements and context does exist. On the one hand, context is a main factor to decide whether to activate a requirement, the applicable alternatives to meet an activated requirement as well as their qualities. On the other hand, the system actions to reach requirements could cause changes in the context. Objectives: Modelling the relationship between requirements and context is a complex task and developing error-free models is hard to achieve without an automated support. The main objective of this paper is to develop a set of automated analysis mechanisms to support the requirements engineers to detect and analyze modelling errors in contextual requirements models. Method: We study the analysis of the contextual goal model which is a requirements model that weaves together the variability of both context and requirements. Goal models are used during the early stages of software development and, thus, our analysis detects errors early in the development process. We develop two analysis mechanisms to detect two kinds of modelling errors. The first mechanism concerns the detection of inconsistent specification of contexts in a goal model. The second concerns the detection of conflicting context changes that arise as a consequence of the actions performed by the system to meet different requirements simultaneously. We support our analysis with a CASE tool and provide a systematic process that guides the construction and analysis of contextual goal models. We illustrate and evaluate our framework via a case study on a smart-home system for supporting the life of people having dementia problems. Results: The evaluation showed a significant ability of our analysis mechanisms to detect errors which were not notable by requirements engineers. Moreover, the evaluation showed acceptable performance of these mechanisms when processing up to medium-sized contextual goal models. The modelling constructs which we proposed as an input to enable the analysis were found easy to understand and capture. Conclusions: Our developed analysis for the detection of inconsistency and conflicts in contextual goal models is an essential step for the entire system correctness. It avoids us developing unusable and unwanted functionalities and functionalities which lead to conflicts when they operate together. Further research to improve our analysis to scale with large-sized models and to consider other kinds of errors is still needed. © 2012 Elsevier B.V. All rights reserved.

Item Type:Article
Additional Information:Special section: Best papers from the 2nd International Symposium on Search Based Software Engineering 2010
Uncontrolled Keywords:Adaptive systems engineering ; Consistency and conflicts analysis ; Contextual requirements ; Goal modelling ; Requirements engineering
Group:Faculty of Science & Technology
ID Code:22525
Deposited By: Symplectic RT2
Deposited On:29 Sep 2015 08:55
Last Modified:14 Mar 2022 13:53


Downloads per month over past year

More statistics for this item...
Repository Staff Only -