Modellgetriebene Softwareentwicklung

Dies ist die Veranstaltungsseite zur Vorlesung und zu den Übungen "Modellgetriebene Softwareentwicklung" (Blockveranstaltung).

Beschreibung

Vorlesung und Übung (19638) - 2+2-stündig, ECTS: 5

Inhalt

Die Vorlesung beschäftigt sich mit modellgetriebener Softwareentwicklung. Wir werden, auf den bereits erworbenen Kenntnissen der UML aufbauend, zuerst grundlegende Konzepte der Metamodellierung betrachten um uns anschließend dem Bereich der domänenspezifischen Sprachen (DSL – Domain Specific Languages) zuzuwenden. Wir betrachten den Entwurf und die Implementierung von DSLs im Rahmen des gesamten Softwareentwicklungsprozesses, angefangen von der Motivation, über Konzeption bis hin zu Kodegeneration und Ausführung.

Auf der Ebene der Modelle werden wir uns mit Ansätzen der Modellanalyse, wie dem Model Checking, und der Transformation von Modellen beschäftigen. Dabei betrachten wir sowohl Modell-zu-Modell Transformationen, wie die Abbildung eines plattformunabhängigen Modells auf eine konkrete Ausführungsplattform oder verhaltensneutrale Refactorings von Modellen, als auch die Modell-zu-Text Transformation wie sie beispielsweise für die Kodeerzeugung verwendet werden.

Der letzte thematische Block der Veranstaltung wird sich mit der Verwendung von Modellen zur Laufzeit beschäftigen. Wir werden uns genauer mit der Interpretation von Verhaltensmodellen auseinander setzen und den Zusammenhang zwischen Strukturmodellen und dynamischen Komponentensystemen näher beleuchten.

Die Übungen werden parallel durchgeführt und sollen den theoretisch vermittelten Stoff durch praktische Anwendung der gelernten Konzepte und Ansätze besser verständlich machen. Technisch bauen wir dabei auf Java und dem Eclipse Modelling Framework (EMF) auf.

Organisatorisches

Derzeit keine Neuigkeiten

Literatur

Comments