Action patterns for the incremental specification of the execution semantics of visual languages
Entidad
UAM. Departamento de Ingeniería InformáticaEditor
IEEEFecha de edición
2007Cita
10.1109/VLHCC.2007.16
IEEE Symposium on Visual Languages and Human-Centric Computing, 2007 (VL/HCC 2007). IEEE, 2007. 163 - 170
ISSN
1943-6092ISBN
978-0-7695-2987-5DOI
10.1109/VLHCC.2007.16Financiado por
Work sponsored by the EC with contract HPRN-CT-2002-00275, SegraVis, and the Spanish Ministry of Science and Education, projects MD2 (TIC200303654) and MOSAIC (TSI2005-08225-C07-06)Versión del editor
http://dx.doi.org/10.1109/VLHCC.2007.16Materias
Graph; Meta-Modelling; Operational Semantics; Transformation; Visual Languages; InformáticaNota
Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. P. Bottoni, J. de Lara, and E. Guerra, "Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages", IEEE Symposium on Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007,Coeur d'Alene, ID, 2007, pp. 163-170Derechos
© 2007 IEEEResumen
We present a new approach - based on graph transformation - to incremental specification of the operational (execution) semantics of visual languages. The approach combines editing rules with two meta-models: one to define the concrete syntax and one for the static semantics. We introduce the notion of action patterns, defining basic actions (e.g. consuming or producing a token in transition-based semantics), in a way similar to graph transformation rules. The application of action patterns to a static semantics editing rule produces a meta-rule, to be paired with the firing of the corresponding syntactic rule to incrementally build an execution rule. An execution rule is thus tailored to any active element (e.g. a transition in a Petri net model) in the model. Examples from Petri nets, state automata and workflow languages illustrate these ideas.
Lista de ficheros
Google Scholar:Bottoni, Paolo
-
Lara Jaramillo, Juan de
-
Guerra Sánchez, Esther
Lista de colecciones del ítem
Registros relacionados
Mostrando ítems relacionados por título, autor, creador y materia.