Detecting model inconsistency through operation-based model construction
Authors:
Open Access
- 10 May 2008
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 511-520
Abstract
International audienceNowadays, 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)Keywords
This publication has 11 references indexed in Scilit:
- Fixing Inconsistencies in UML Design Models29th International Conference on Software Engineering (ICSE'07), 2007
- Instant consistency checking for the UML2006
- Entrevista a Sherry OrtnerAIBR, Revista de Antropologia Iberoamericana, 2006
- Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis2006
- Optimistic replicationACM Computing Surveys, 2005
- The pragmatics of model-driven developmentIEEE Software, 2003
- Using Description Logic to Maintain Consistency between UML Models2003
- Managing interference1996
- Inconsistency handling in multiperspective specificationsIEEE Transactions on Software Engineering, 1994
- Operation-based mergingACM SIGSOFT Software Engineering Notes, 1992