Previous Contents Next

7   Checks

Team: 1:André Nitsche, 2?: Jonas Dageförde, Andreas Lukosch?



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 der Graphplatzierung, Simulation, und Model-Checking nur gecheckte Syntax bekommen. Nicht gecheckt wird ``graphische'' Notation (ob Zustände übereinanderliegen etc.) dafür ist der Editor aus Abschnitt 3) da.

Die Schnittstelle sei (zumindest) eine Methode start_check mit Parameter einer Objekte der abstrakten Syntax.

Was genau gecheckt wird, bleibt zu diskutieren.

©Public License
Previous Contents Next