Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective

Résumé

Ever-growing systems' complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produced by different stakeholders and written in possibly different languages. In this context, checking consistency so that requirements specifications are amenable to formal analysis is a challenge. Current techniques either fail to consider the requirement set as a whole, missing certain inconsistency types or are unable to take heterogeneous (i.e. expressed in different languages) specifications into account. We propose to use model composition to address this problem in a staged approach. First, heterogeneous requirements are translated in model fragments instances of a common metamodel. Then, fragments are merged in one unique model. On such a model inconsistencies such as under-specifications can be incrementally detected and formal analysis is made possible. Our approach is fully supported by our model composition framework. We propose model composition as means to address flexibility needs in requirements integration. Threats to validity such as the impact of new requirements languages needs to be addressed in future work.
Fichier principal
Vignette du fichier
Perrouin09a.pdf (484.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00468522 , version 1 (31-03-2010)

Identifiants

  • HAL Id : inria-00468522 , version 1

Citer

Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon. Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009), 2009, Amsterdam, Netherlands, Netherlands. ⟨inria-00468522⟩
146 Consultations
234 Téléchargements

Partager

Gmail Facebook X LinkedIn More