4 Checks
Team:
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.
Was genau gecheckt wird, bleibt zu diskutieren!
last generated May 17, 2001 (©Public License)