Search Swinburne Research Bank
Home List of Titles Defining the abstract syntax of visual languages with advanced graph grammars: a case study based on behavior trees
Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/62496
- Defining the abstract syntax of visual languages with advanced graph grammars: a case study based on behavior trees
- Grunske, Lars; Winter, Kirsten; Yatapanage, Nisansala
- Diagrammatic visual languages can increase the ability of engineers to model and understand complex systems. However, to effectively use visual models, the syntax and semantics of these languages should be defined precisely. Since most diagrammatic visual models that are currently used to specify systems can be described as (directed) typed graphs, graph grammars have been identified as a suitable formalism to describe the abstract syntax of visual modeling languages. In this article, we investigate how advanced graph-transformation techniques, such as conditional, structure-generic and type-generic graph-transformation rules, can help to improve and simplify the specification of the abstract syntax of a visual modeling language. To demonstrate the practicability of an approach that unifies these advanced graph-transformation techniques, we define the abstract syntax of behavior trees (BTs), a graphical specification language for functional requirements. Additionally, we provide a translational semantics of BTs by formalizing a translation scheme to the input language of the SAL model checking tool for each of the graph-transformation rules.
- Publication type
- Journal article
- Journal of Visual Languages and Computing, Vol. 19, no. 3 (Jun 2008), pp. 343-379
- Publication year
- Abstract syntax definition; Advanced graph-transformation techniques; Behavior trees; Graph grammars; Model checking; Semantics of visual languages; Visual modeling languages
- Academic Press
- Publisher URL
- Copyright © 2007 Elsevier. All rights reserved.
- Peer reviewed