Skip to Main content Skip to Navigation
Conference papers

Inconsistency Detection in Distributed Model Driven Software Engineering Environments

Alix Mougenot 1 Xavier Blanc Marie-Pierre Gervais 1 
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Model driven development uses more and more complementary models. Indeed, large-scale industrial systems are currently developed by hundreds of developers working on hundreds of models by different distributed teams. In such a context, model inconsistency detection is gaining a lot of attention as the overlap between all these models, which are often maintained by different persons, are a common source of inconsistencies. This paper proposes a method to detect inconsistencies when models are scattered on different editing sites using partial replication. The method provides a way to check the consistency of a single view against the ones that are related to it regarding consistency. It relies on Praxis, an operation based representation of models, to determine what information needs to be collected for consistency checking and the DPraxis protocol to find where it can be.
Document type :
Conference papers
Complete list of metadata
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Friday, March 25, 2016 - 3:46:20 PM
Last modification on : Sunday, June 26, 2022 - 10:01:08 AM


  • HAL Id : hal-01293878, version 1


Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais. Inconsistency Detection in Distributed Model Driven Software Engineering Environments. 3rd Workshop on Living with Inconsistencies in Software Development, Sep 2010, Antwerp, Belgium. pp.2-7. ⟨hal-01293878⟩



Record views