Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages

Authors:
Paolo Bottoni;Juan de Lara;Esther Guerra
Affiliations:
Universita La Sapienza, Italy;Universidad Autonoma, Spain;Universidad Carlos III, Spain
Venue:
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Year:
2007

Citing 13
Cited 2

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
A visual environment for visual languages

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Agentsheets: A Medium for Creating Domain-Oriented Visual Languages

Computer
Formal software specification with refinements and modules of typed graph transformation systems

Journal of Computer and System Sciences
Workflow Patterns

Distributed and Parallel Databases
Transformations of Graph Grammars

Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
A Suite of Metamodels as a Basis for a Classification of Visual Languages

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Tool integration at the meta-model level: the Fujaba approach

International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
A framework for modeling and implementing visual notations with applications to software engineering

ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal interpreters for diagram notations

ACM Transactions on Software Engineering and Methodology (TOSEM)
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Attributed graph transformation with node type inheritance

Theoretical Computer Science

Enforced generative patterns for the specification of the syntax and semantics of visual languages

Journal of Visual Languages and Computing
Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 .