Composition et expression qualitative de politiques d'adaptation pour les composants Fractal

Abstract : 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.
Type de document :
Communication dans un congrès
Actes des Journées nationales du GDR GPL 2009, 2009, Toulouse, France, France. 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00542773
Contributeur : Didier Vojtisek <>
Soumis le : vendredi 3 décembre 2010 - 14:48:24
Dernière modification le : vendredi 16 novembre 2018 - 01:24:20
Document(s) archivé(s) le : vendredi 4 mars 2011 - 03:43:38

Fichier

Chauvel09b.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00542773, version 1

Citation

Franck Chauvel, Olivier Barais, Noël Plouzeau, Isabelle Borne, Jean-Marc Jézéquel. Composition et expression qualitative de politiques d'adaptation pour les composants Fractal. Actes des Journées nationales du GDR GPL 2009, 2009, Toulouse, France, France. 2009. 〈inria-00542773〉

Partager

Métriques

Consultations de la notice

815

Téléchargements de fichiers

107