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

  • Authors:

  • Lars Grunske;Kirsten Winter;Nisansala Yatapanage

  • Affiliations:

  • School of Information Technology and Electrical Engineering, University of Queensland, St. Lucia, Qld 4072, Australia and ARC Centre for Complex Systems, Australia;School of Information Technology and Electrical Engineering, University of Queensland, St. Lucia, Qld 4072, Australia and ARC Centre for Complex Systems, Australia;Institute for Integrated and Intelligent Systems, Griffith University, Nathan, Qld 4111, Australia and ARC Centre for Complex Systems, Australia

  • Venue:
  • Journal of Visual Languages and Computing
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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.