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
CRISAM - Inria Sophia Antipolis - Méditerranée , SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : 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.
Type de document :
Communication dans un congrès
Michael Fisher and Leon van der Torre and Mehdi Dastani and Guido Governatori. 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2012), Aug 2012, Montpellier, France. Springer, 7486, pp.110-127, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32897-8_9〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00724782
Contributeur : Serena Villata <>
Soumis le : vendredi 24 août 2012 - 09:43:30
Dernière modification le : lundi 5 octobre 2015 - 17:00:42
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 07:36:45

Fichier

mirbel-villata-clima2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Isabelle Mirbel, Serena Villata. Enhancing Goal-based Requirements Consistency: an Argumentation-based Approach. Michael Fisher and Leon van der Torre and Mehdi Dastani and Guido Governatori. 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2012), Aug 2012, Montpellier, France. Springer, 7486, pp.110-127, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-32897-8_9〉. 〈hal-00724782〉

Partager

Métriques

Consultations de
la notice

206

Téléchargements du document

150