Previous Contents Next

4   Checks

Responsible: Thomas Richter, Karsten Stahl, Martin Steffen, all others too



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.

Interface

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:

operator/constant type(s)
true,false Bool
0,1,... Int
+,*,/ Int × Int ® Int
- Int × Int ® Int, Int®Int
<,>,£,³ Int ×Int ® Bool
=, ¹ Int×Int ® Bool, Bool×Bool®Bool
¬ Bool® Bool

Table 1: Types


last generated June 14, 2002 (©Public License)
Previous Contents Next