Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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).
Document type :
Conference papers
Complete list of metadata
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Monday, April 18, 2016 - 3:50:49 PM
Last modification on : Sunday, June 26, 2022 - 9:40:09 AM



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. pp.511-520, ⟨10.1145/1368088.1368158⟩. ⟨hal-01303728⟩



Record views