Enhancing Goal-based Requirements Consistency: an Argumentation-based Approach

Isabelle Mirbel (1) , Serena Villata (1)

1 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics

Requirements engineering research has for long recognized the leading role of goals as requirement artifacts during the requirements engineering specification processes. Given the large number of artifacts created during the requirements specification and the continuous evolution of these artifacts, reasoning about them remains a challenging task. Moreover, the rising complexity of the target domain under consideration during the requirements engineering process as well as the growth of geographically distributed projects explain why the number of collected requirements as well as their complexity also increase. In this context, providing support to stakeholders in achieving a common understanding of a set of goal-based requirements, in consolidating them and keeping them consistent over time is another challenging task. In this paper, we propose an approach to detect consistent sets of goal-based requirements and maintain their consistency over time. Our approach relies on argumentation theory which allows to detect the conflicts among elements called arguments. In particular, we rely on meta-argumentation, which instantiates abstract argumentation frameworks, where requirements are represented as arguments and the standard Dung-like argumentation framework is extended with additional relations between goal-based requirements.

Domaines: Informatique

Isabelle Mirbel, Serena Villata. Enhancing Goal-based Requirements Consistency: an Argumentation-based Approach. 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2012), Aug 2012, Montpellier, France. pp.110-127, ⟨10.1007/978-3-642-32897-8_9⟩. ⟨hal-00724782⟩