Inconsistency Detection in Distributed Model Driven Software Engineering Environments

Living with Inconsistencies in Software Development 2010.

计算机科学;

Alix Mougenot ; Xavier Blanc ; Marie-Pierre Gervais

Others  :  http://ceur-ws.org/Vol-661/paper2.pdf
PID  :  41618

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

Model driven development uses more and more complemen- tary models. Indeed, large-scale industrial systems are cur- rently developed by hundreds of developers working on hun- dreds of models by dierent distributed teams. In such a context, model inconsistency detection is gaining a lot of at- tention as the overlap between all these models, which are often maintained by dierent persons, are a common source of inconsistencies. This paper proposes a method to detect inconsistencies when models are scattered on dierent edit- ing 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 con- sistency checking and the DPraxis protocol to nd where it