|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007)
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
Coeur d?Al?ne, Idaho
September 23-September 27
ISBN: 0-7695-2987-9
| ASCII Text | x | ||
| Paolo Bottoni, Juan de Lara, Esther Guerra, "Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages," Visual Languages and Human-Centric Computing, IEEE Symposium on, pp. 163-170, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/VLHCC.2007.16, author = {Paolo Bottoni and Juan de Lara and Esther Guerra}, title = {Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages}, journal ={Visual Languages and Human-Centric Computing, IEEE Symposium on}, volume = {0}, year = {2007}, isbn = {0-7695-2987-9}, pages = {163-170}, doi = {http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.16}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Visual Languages and Human-Centric Computing, IEEE Symposium on TI - Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages SN - 0-7695-2987-9 SP163 EP170 A1 - Paolo Bottoni, A1 - Juan de Lara, A1 - Esther Guerra, PY - 2007 KW - Meta-Modelling KW - Visual Languages KW - Graph Transformation KW - Operational Semantics. VL - 0 JA - Visual Languages and Human-Centric Computing, IEEE Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.16
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 .
Index Terms:
Meta-Modelling, Visual Languages, Graph Transformation, Operational Semantics.
Citation:
Paolo Bottoni, Juan de Lara, Esther Guerra, "Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages," vlhcc, pp.163-170, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.
