DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
(titres de publication, de périodique et noms de colloque inclus)
2006-01-01 - Article/Dans un journal avec peer-review - Anglais - 15 page(s)

Mens Tom , Van Der Straeten Ragnhild , D'Hondt Maja, "Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis" in Lecture Notes in Computer Science, 4199, 200-214

  • Edition : Springer, Berlin (Germany)
  • Codes CREF : Informatique appliquée logiciel (DI2570), Informatique mathématique (DI1160), Analyse de systèmes informatiques (DI2572)
  • Unités de recherche UMONS : Génie Logiciel (S852)
Texte intégral :

Abstract(s) :

(Anglais) 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.

Notes :
  • (Anglais) Published in Springer Lecture Notes in Computer Science
  • (Anglais) International Conference on Model Driven Engineering Languages and Systems
Identifiants :
  • DOI : 10.1007/11880240_15

Mots-clés :
  • (Anglais) inconsistency management
  • (Anglais) graph transformation
  • (Anglais) UML