loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 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
Paolo Bottoni, Universita La Sapienza, Italy
Juan de Lara, Universidad Autonoma, Spain
Esther Guerra, Universidad Carlos III, Spain
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.