Responsible: Fabrizio Picchiarecci and Francesco Donini
Only syntactically correct systems can be meaningfully processed, in our
case simulated. The task of this package is to check syntactical
consistency. The task comprises the definition of what syntactical
correctness means, i.e., what is guaranteed/checked by this group upon
which the others can rely on.
With the gui. The gui has to take care that the packages for
graph-placement, simulation, model-checking, code-generation ...are
handed over only checked syntax. What needs not to be checked are
``graphical lapses'', e.g., whether the nodes are placed one over the other
or similar things.
Proposals for things checked:
well-formedness (to be discussed)
well-typedness of expressions. We assume that the language is
well-typed. The types of the operators is shown in Table 1.