Incremental Resolution of Model Inconsistencies

Tom Mens, Ragnhild Van Der Straeten, José Luiz Fiadeiro (Redacteur), Pierre-yves Schobbens (Redacteur)

    Onderzoeksoutput: Articlepeer review

    22 Citaten (Scopus)


    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.
    Originele taal-2English
    Pagina's (van-tot)111-127
    Aantal pagina's17
    TijdschriftProceedings of Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006
    Nummer van het tijdschriftLecture Notes in Computer Science
    StatusPublished - 1 feb 2007

    Bibliografische nota

    José Luiz Fiadeiro and Pierre-Yves Schobbens


    Duik in de onderzoeksthema's van 'Incremental Resolution of Model Inconsistencies'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit