Publication:
Lightweight Executability Analysis of Graph Transformation Rules

Simple item page
dc.affiliation.dptoUC3M. Departamento de Ingeniería Telemáticaes
dc.affiliation.grupoinvUC3M. Grupo de Investigación: Aplicaciones y Servicios Telemáticos (GAST)es
dc.contributor.authorPlanas, Elenaes
dc.contributor.authorCabot, Jordies
dc.contributor.authorGómez, Cristinaes
dc.contributor.authorGuerra, Estheres
dc.contributor.authorLara, Juan dees
dc.date.accessioned2015-02-05T11:16:59Z
dc.date.available2015-02-05T11:16:59Z
dc.date.issued2010
dc.descriptionProceedings of: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010). Leganés-Madrid, Spain 21-25 Septemeber 2010.en
dc.description.abstractDomain 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.en
dc.description.sponsorshipWork 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.en
dc.description.statusPublicado
dc.format.extent4
dc.format.mimetypeapplication/pdf
dc.identifier.bibliographicCitationHundhausen, C. et al. (Eds.) (2010). 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Leganés-Madrid, Spain 21-25 Septemeber 2010: Proceedings. IEEE, 127-130.en
dc.identifier.doi110.1109/VLHCC.2010.26
dc.identifier.isbn978-1-4244-8485-0
dc.identifier.issn1943-6092
dc.identifier.publicationfirstpage127
dc.identifier.publicationlastpage130
dc.identifier.publicationtitle2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Leganés-Madrid, Spain 21-25 Septemeber 2010: Proceedings.en
dc.identifier.urihttps://hdl.handle.net/10016/20005
dc.identifier.uxxiCC/0000022281
dc.language.isoengen
dc.publisherIeee - The Institute Of Electrical And Electronics Engineers, Incen
dc.relation.eventdate21-25 Septemeber 2010en
dc.relation.eventplaceLeganés-Madrid, Spainen
dc.relation.eventtitleIEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010)en
dc.relation.projectIDGobierno de España. TIN2008-02081es
dc.relation.projectIDGobierno de España. TIN2008-00444es
dc.relation.projectIDComunidad de Madrid. S2009/TIC-1650/E-MADRIDes
dc.relation.publisherversionhttp://dx.doi.org/10.1109/VLHCC.2010.26
dc.rights© 2010 IEEE.
dc.rights.accessRightsopen accessen
dc.subject.ecienciaInformáticaes
dc.subject.ecienciaTelecomunicacioneses
dc.subject.otherGraph grammarsen
dc.subject.otherKnowledge based systemsen
dc.titleLightweight Executability Analysis of Graph Transformation Rulesen
dc.typeconference paper*
dc.type.hasVersionAM*
dspace.entity.typePublication
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
lightweight_VLHCC_2010_ps.pdf
Size:
653.25 KB
Format:
Adobe Portable Document Format
Download
Collections
DIT - GAST - Comunicaciones en Congresos
DIT - GAST - Capítulos de Monografías