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

We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to transformation rules resulting in new rules that modify models according to the pattern specification. In the case of a negative pattern, an application condition is added to the rule. In the case of a positive one, the rule is modified to consider additional context in its left-hand side and to increase its effects. We have defined tterns in an abstract setting, which enables their instantiation for different structures, like graphs, triple graphs and graph transformation rules. We apply the previous concepts to the specification of the syntax and semantics of visual languages. In particular, we show instantiations for: (i) graphs, with applications at the syntactical level; (ii) triple-graphs, for the coordination of syntax and static semantics; and (iii) rules, for the incremental construction of execution rul...

• Type: Journal
• Year: 2008
• Where: VLC
• Authors: Paolo Bottoni, Esther Guerra, Juan de Lara
• Keywords: Semantics, Specification, Visual Languages, VLC 2008