Detecting Model Inconsistency Through Operation-Based Model Construction

Xavier Blanc 1 Isabelle Mounier 1 Alix Mougenot 1 Tom Mens
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system specification. Detecting and resolving structural inconsistencies between these models is then critical. In this article we propose to represent models by sequences of elementary construction operations, rather than by the set of model elements they contain. Structural and methodological consistency rules can then be expressed uniformly as logical constraints on such sequences. Our approach is meta-model independent, allowing us to deal with consistency between different models whatever their kind. We have validated our approach by building a Prolog engine that detects violations of structural and methodological constraints specified on UML 2.1 models and requirement models. This engine has been integrated into two contemporary UML-based modelling environments, Eclipse EMF and Rational Software Architect (RSA).
Type de document :
Communication dans un congrès
30th International Conference on Software Engineering (ICSE 2008), May 2008, Leipzig, Germany. ACM, 30th International Conference on Software Engineering (ICSE 2008), pp.511-520, 〈10.1145/1368088.1368158〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01303728
Contributeur : Lip6 Publications <>
Soumis le : lundi 18 avril 2016 - 15:50:49
Dernière modification le : lundi 29 mai 2017 - 14:24:25

Identifiants

Collections

Citation

Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens. Detecting Model Inconsistency Through Operation-Based Model Construction. 30th International Conference on Software Engineering (ICSE 2008), May 2008, Leipzig, Germany. ACM, 30th International Conference on Software Engineering (ICSE 2008), pp.511-520, 〈10.1145/1368088.1368158〉. 〈hal-01303728〉

Partager

Métriques

Consultations de la notice

97