main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig

Diplom/Masterarbeit

Kontextbedingungen auf der UML/P

Die UML/P ist ein stark codeorientiertes Sprachprofil der UML. Bei der Modellierung in einem Softwaresystem muss sichergestellt sein, dass in UML/P-Diagrammen Kontextbedingungen konsistent sind.
MontiCore ist ein Modellierungswerkzeug zur Erstellung und Verarbeitung von domänenspezifischen Sprachen. Die UML/P ist dabei vollständig als Grammatik in MontiCore spezifiziert.

In dieser Arbeit sollen zunächst bereits existierende Ansätze zur Methodik und Realisierung der Überprüfung von Kontextbedingungen auf der UML gesucht und diskutiert werden. Anschließend soll auf Grund der Schlussfolgerungen dieser Analyse eine eigene, auf Java basierende Klassenbibliothek mit Integration in MontiCore entwickelt werden, die dort Kontextbedingungen auf der UML/P für die Diagrammtypen Klassendiagramm, Objektdiagramm, Statechart, sowie Sequenzdiagramm überprüft.

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