RT Conference Proceedings
T1 Lightweight Executability Analysis of Graph Transformation Rules
A1 Planas, Elena
A1 Cabot, Jordi
A1 Gómez, Cristina
A1 Guerra, Esther
A1 Lara, Juan de
AB 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.
PB Ieee - The Institute Of Electrical And Electronics Engineers, Inc
SN 978-1-4244-8485-0
SN 1943-6092
YR 2010
FD 2010
LK https://hdl.handle.net/10016/20005
UL https://hdl.handle.net/10016/20005
LA eng
NO Proceedings of: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010). Leganés-Madrid, Spain 21-25 Septemeber 2010.
NO Work funded by the Spanish Ministry of Science and Innovation through mobility grants JC2009-00015 and PR2009-0019, projects TIN2008-02081 and TIN2008-00444 and the R&D programme of the Madrid Community, project S2009/TIC-1650.
DS e-Archivo
RD 17 jul. 2024