DCharts allows multiple syntaxes. A designer chooses his/her favorite
syntax or combination of syntaxes. This section describes the
graphical syntax of DCharts. Note that only part of this syntax is
implemented in AToM
. Initializer, finalizer, macros, transition
priorities and submodel importation cannot be specified in AToM at
this time, and thus require the designers to manually write them with
the textual syntax. However, they do have a graphical representation,
which will be implemented in AToM in the future.