Bachelor/StudienarbeitKontextbedingungen zwischen UML Klassen- und KompositionsstrukturdiagrammenKompositionsstrukturdiagramme sind eine neue Notationsform der UML 2.0, die es erlauben hierarische Strukturen zu modellieren und so besser Klassen im ihrem Kontext beschreiben zu können. Dieses ist besonders zur Beschreibung von Software-Architekturen wichtig. In dieser Arbeit soll das Verhältnis von UML-Klassendiagrammen zu Kompositionsstrukturdiagrammen untersucht werden. Dabei sollen prüfbare Bedingungen aus dem UML-Standard entwickelt werden, die eine Konsistenz beider Diagrammarten sicherstellen. Die Prüfung der erarbeiten Kontextbedingungen sollen anhand einer prototypischen Implementierung mithilfe des Modellierungswerkzeugs automatisiert werden. Abschließend soll geprüft werden, wie sich diese Ergebnisse auf SysML-Blockdiagramme, eine Abwandlung der Kompositionsstrukturdiagramme, übertragen lassen. Diese Arbeit ist Teil eines am Institut entwickelten "agilen" Modellierungswerkzeugs (MontiCore), das zur Unterstützung eines neuartigen, auf Extreme Programming basierenden Entwicklungsprozesses konzipiert wird. Vorkenntnisse: UML, JavaBetreuer:Hans Grönniger, Holger Krahn Beurteilung: Prof. Dr. Bernhard Rumpe | ||