Nur syntaktisch korrekte Systeme können simuliert und als Basis für die
Codegenerierung verwendet werden. Deshalb soll die syntaktische
Korrektheit überprüft werden.
Die Aufgabe beinhaltet die Definition der syntaktischen Korrektheit, d.h.
der Begriff der Korrektheit (was soll alles gecheckt werden) soll
formuliert und als Modul implementiert werden.
Schnittstelle
Mit der Gui. Die Gui stellt darüber hinaus sicher, daß die Pakete
Graphplatzierung, Simulation, Model-Checking und Codegenerierung nur gecheckte
Syntax bekommen. Nicht gecheckt wird ``graphische'' Notation (ob Steps
übereinanderliegen etc.), dafür ist der Editor aus Abschnitt 3
da.
Die Schnittstelle sei (zumindest) eine Methode start_check mit
Parameter eines Objektes der abstrakten Syntax.
Überprüfte Eigenschaften:
Wohlgeformtheit (was das genau ist, bleibt festzulegen)
wohltypisiertheit der Aussdrücke. Wir gehen davon aus, das die
Sprache stark typisiert ist. Die Typen der Operatoren sind in
Tabelle 1 festgehalten.
Die Verwendung von ausschließlich booleschen Variablen (dies
ist für die SMV-Gruppe wichtig.)
