Lightweight Executability Analysis of Graph Transformation Rules

Abstract : Domain Specific Visual Languages (DSVLs) play a cornerstone role in Model-Driven Engineering (MDE), where (domain specific) models are used to automate the production of the final application. Graph Transformation is a formal, visual, rule-based technique, which is increasingly used in MDE to express in-place model transformations like refactorings, animations and simulations. However, there is currently a lack of methods able to perform static analysis of rules, taking into account the DSVL meta-model integrity constraints. In this paper we propose a lightweight, efficient technique that performs static analysis of the weak executability of rules. The method determines if there is some scenario in which the rule can be safely applied, without breaking the meta-model constraints. If no such scenario exists, the method returns meaningful feedback that helps repairing the detected inconsistencies.
Type de document :
Communication dans un congrès
IEEE Symposium on Visual Languages and Human-Centric Computing 2010, Sep 2010, Madrid, Spain. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00610202
Contributeur : Elena Planas <>
Soumis le : jeudi 21 juillet 2011 - 12:33:20
Dernière modification le : vendredi 22 juin 2018 - 09:28:50

Identifiants

  • HAL Id : inria-00610202, version 1

Citation

Elena Planas, Jordi Cabot, Cristina Gómez, Esther Guerra, Juan De Lara. Lightweight Executability Analysis of Graph Transformation Rules. IEEE Symposium on Visual Languages and Human-Centric Computing 2010, Sep 2010, Madrid, Spain. 2010. 〈inria-00610202〉

Partager

Métriques

Consultations de la notice

184