Here we formally introduce the ``highlights'' of the syntax of the YAON language. It is only defined what are ``yaon well formed graphs''. That is, which nodes can be connected with which arrows and which nodes can be grouped inside another node are defined. The syntax of class, attribute and method names and modifiers is straightforward as well as the syntax for arc labelling (annotations) and is not given here.
First, we define, by the use of a tuple language, what a well formed graph of the language is. Afterwards, we define the abstract syntax of YAON by the use of a ``graphic BNF''.
| 
|