Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Fortgeschrittenenpraktikum

Codegenerierung für Zustandsmaschinen mit Realzeit-Annotationen

Inhalt

Das Verhalten von Modellelementen, wie Klassen, kann durch UML-Zustandsdiagramme beschrieben werden. Sie beschreiben die möglichen Abfolgen von Zuständen und Aktionen die ein Modellelement in seinem Lebenszyklus durchlaufen kann, während es auf diskrete Ereignisse reagiert. Ein Zustandsdiagramm ist die Beschreibung einer Zustandsmaschine. Sie realisiert das im Diagramm spezifizierte Verhalten.

Diese Projektarbeit beschreibt die Erweiterung eines Prototyps eines Compilers für Zustandsmaschinen um die Codegenerierung für Zustandsmaschinen mit Realzeit-Annotationen. Realzeit-Annotationen sind Markierungen an Transitionen in einem Zustandsdiagramm, die angeben, wann eine betreffende Transition in der zugehörigen Zustandsmaschine gefeuert wird. Der Zeitpunkt einer Auslösung ist durch Ausdrücke in den Annotionen bestimmt, für deren Auswertung der Compiler Java-Quellcode generiert. Die UML-Spezifikation der OMG für die Darstellung und Bedeutung der Realzeit-Annotationen wurde dabei weitgehend umgesetzt. Anhand zweier Beispiele werden die Einsatzmöglichkeiten von Realzeit-Annotationen in der Modellierung zweier Steuerungssysteme betrachtet. Mit dieser Erweiterung des Prototyp-Compilers ist die Umsetzung der UML-Spezifikation weitgehend abgeschlossen.

Materialien

Bearbeiter: Magdi Ismail
Aufgabensteller: Prof. Dr. Martin Wirsing
Betreuer: Dr. Alexander Knapp
Fertigstellung: März 2003