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 
