Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/62496

Title

Defining the abstract syntax of visual languages with advanced graph grammars: a case study based on behavior trees

Author(s)

Grunske, Lars;  Winter, Kirsten;  Yatapanage, Nisansala

Abstract

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

Source

Journal of Visual Languages and Computing, Vol. 19, no. 3 (Jun 2008), pp. 343-379

Publication year

2008

Keyword(s)

Abstract syntax definition;  Advanced graph-transformation techniques;  Behavior trees;  Graph grammars;  Model checking;  Semantics of visual languages;  Visual modeling languages

Publisher

Academic Press

ISSN

1045-926X

Publisher URL

http://dx.doi.org/10.1016/j.jvlc.2007.11.003

Copyright

Copyright © 2007 Elsevier. All rights reserved.

Peer reviewed