Forschungsthemen
[BA] Dresden OCL für Zustandsmodelle
Dresden OCL unterstützt bislang lediglich die Verwendung von OCL-Constraints in statischen Modellen (Klassendiagrammen). Für eine erweiterte Nutzung von OCL in Modellen (z.B. für die Generierung von Testfällen oder die Simulation von Verhaltensmodellen) soll die Verwendung von OCL in Zustandsmodellen konzipiert und implementiert werden. In der Implementierung soll sich vorläufig auf Protokollmaschinen beschränkt werden.
Betreuer: Birgit Demuth