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
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01293878
Contributor : Lip6 Publications <>
Submitted on : Friday, March 25, 2016 - 3:46:20 PM
Last modification on : Thursday, March 21, 2019 - 1:09:32 PM

Identifiers

  • HAL Id : hal-01293878, version 1

Citation

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. CEUR, 3rd Workshop on Living with Inconsistencies in Software Development, 661, pp.2-7, CEUR-WS. 〈hal-01293878〉

Share

Metrics

Record views

65