next up previous
Next: Stufe 2. Up: Schnittstelle zu STATEMATE Previous: Schnittstelle zu STATEMATE

Stufe 1.

Die Schnittstelle baut auf einem vorhandenen Statemate-Databank-Parser auf. Der Parser erzeugt einen abstrakten Syntaxbaum, in dem neben der Zustandshierarchie und den Transitionen, auch die Koordinaten der Zustände abgelegt sind. Die Aufgabe besteht darin, diesen abstrakten Syntaxbaum in die interne Repräsentation von PEST umzuwandeln. Während die Koordinaten der Zustände übernommen werden können, muß noch die Plazierung der Transitionen berechnet werden.



Erich Mikk
Tue Nov 24 13:50:54 MET 1998