Detecting and resolving model inconsistencies using transformation dependency analysis

  • Authors:

  • Tom Mens;Ragnhild Van Der Straeten;Maja D'Hondt

  • Affiliations:

  • Software Engineering Lab, Université de Mons-Hainaut, Mons, Belgium;Systems and Software Engineering Lab, Vrije Universiteit Brussel, Brussel, Belgium;Laboratoire d'Informatique Fondamentale de Lille, Jacquard INRIA project, Villeneuve dAscq, France

  • Venue:
  • MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.04

Visualization

Abstract

Model inconsistency management is a crucial aspect of model-driven software engineering. It is therefore important to provide automated support for this activity. The problem is, however, that the resolution of inconsistencies may give rise to new inconsistencies. To address this problem, we propose to express inconsistency detection and resolutions as graph transformation rules, and to apply the theory of critical pair analysis to analyse potential dependencies between the detection and resolution of model inconsistencies. As a proof-of-concept, we report on an experiment that we have carried out along these lines using the critical pair analysis algorithm implemented in the state-of-the-art graph transformation tool AGG. The results show that both anticipated and unexpected dependencies between inconsistency detection and resolution rules are found by AGG. We discuss how the integration of the proposed approach into contemporary modelling tools may improve inconsistency management in various ways.