main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig

Diplomarbeit

Kontextbedingungen in Zustandsautomaten mit der OCL

Die Object Constraint Language (OCL) ist Teil der Unified Modeling Language (UML), die durch die Object Manangement Group (OMG) standardisiert wurde. Die OCL wird zur textuellen Beschreibung von Eigenschaften eingesetzt und eignet sich zur Definition von Invarianten und Vor- bzw. Nachbedingungen. Zustandsautomaten sind ebenfalls Teil der UML und werden zur Verhaltensbeschreibung eingesetzt. Im Kontext dieser Zustandsautomaten können OCL-Ausdrücke in Form von Vor- und Nachbedingungen von Transitionen oder als Zustandsinvarianten eingesetzt werden, um das Verhalten genauer zu spezifizieren.

Das Modellierungsframework MontiCore dient der schnellen und effektiven Erstellung von domänenspezifischen Sprachen (DSL) und bietet Mechanismen zur Verarbeitung von Dokumenten, die in einer entsprechenden DSL verfasst wurden. Sowohl für Zustandsautomaten, als auch für OCL-Ausdrücke stehen hierfür bereits geeignete DSL's zur Verfügung.

In dieser Arbeit soll mit Hilfe von MontiCore eine Integration von Kontextbedingungen in Form von OCL-Ausdrücken in Zustandsautomaten ermöglicht werden und eine geeignete Umsetzung dieser Bedingungen in ausführbaren Programmcode erfolgen. Hierzu soll ein Konzept zur Code- Generierung aus OCL-Ausdrücken auf die objektorientierte Zielsprache Java entwickelt werden, das es ermöglicht diese Kontextbedingungen auszuwerten.

Vorkenntnisse: Java, JUnit, UML, OCL
Betreuer: Martin Schindler, IZ 414
Beurteilung: Prof. Dr. Bernhard Rumpe