Incremental Resolution of Model Inconsistencies

  • Tom Mens
  • Ragnhild Van Der Straeten
Conference paper

DOI: 10.1007/978-3-540-71998-4_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4409)
Cite this paper as:
Mens T., Van Der Straeten R. (2007) Incremental Resolution of Model Inconsistencies. In: Fiadeiro J.L., Schobbens PY. (eds) Recent Trends in Algebraic Development Techniques. WADT 2006. Lecture Notes in Computer Science, vol 4409. Springer, Berlin, Heidelberg


During model-driven software development, we are inevitably confronted with design models that contain a wide variety of inconsistencies. Interactive and automated support for detecting and resolving these inconsistencies is therefore indispensable. In this paper, we report on an iterative inconsistency resolution process. Our approach relies on the underlying formalism of graph transformation. We exploit the mechanism of critical pair analysis to analyse dependencies and conflicts between inconsistencies and resolutions, to detect resolution cycles and to analyse the completeness of resolutions. The results of this analysis are integrated in the iterative inconsistency resolution process and can help the software engineer to develop and evolve models in presence of inconsistencies.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Tom Mens
    • 1
    • 2
  • Ragnhild Van Der Straeten
    • 3
  1. 1.Software Engineering Lab, Université de Mons-Hainaut, Av. du champ de Mars 6, 7000 MonsBelgium
  2. 2.LIFL (UMR 8022), Université Lille 1 - Projet INRIA Jacquard, Cité Scientifique, 59655 Villeneuve d’Ascq CedexFrance
  3. 3.Systems and Software Engineering Lab, Vrije Universiteit Brussel, Pleinlaan 2, 1050 BrusselBelgium

Personalised recommendations