Die modellgetriebene Softwareentwicklung (Model-Driven (Software) Development, MDD) propagiert, die Automatisierung in der Softwareentwicklung weiter voranzutreiben und Modelle statt Code als wesentliches Element der Entwicklung zu verwenden. Der Übergang von der fachlich getriebenen Spezifikation zur ausführbaren Anwendung soll dabei möglichst automatisiert durch geeignete Transformationswerkzeuge erfolgen. Versprochen wird sowohl Kostensenkung durch die generative Erzeugung von weiten Teilen der Anwendung und beschreibender Modelle, sowie die vereinfachte Wiederverwendung von Modellen.
Diese Vorlesung beleuchtet wesentliche Ansätze zur modellgetriebenen Softwareentwicklung wie die Model Driven Architecture (MDA) der OMG oder auch Domänenspezifische Sprachen bzw. Software-Factories und die den verschiedenen Ansätzen zugrundeliegenden Fragen und Techniken. Dazu werden zuerst einmal die technischen Grundlagen der modellgetriebenen Softwareentwicklung wie Metamodellierung, Modelltransformationen, und Codegenerierung von Modellen betrachtet. Dann werden darüber hinaus weisende Fragen wie Synchronisation von Modellen und Maßnahmen zur Absicherung der Qualität bei der modellgetriebenen Softwareentwicklung diskutiert.
Im Zeitraum vom 12.05. - 23.06.2009 finden keine Vorlesungen statt.
Einführung | 01:38:15 | |
---|---|---|
Start/Organisatorisches | 00:17:44 | |
Motivation | 00:17:03 | |
Modellgetriebene Softwareentwicklung | 00:16:26 | |
Entwicklungsprozess | 00:12:57 | |
Potential und Risiken | 00:16:15 | |
Modelltransformationen | 00:10:39 | |
Qualitätssicherung | 00:08:33 |
Formale Sprachen | 01:16:43 | |
---|---|---|
Formale Sprachen | 00:16:41 | |
Interpreter | 00:24:29 | |
Zusammenfassung | 00:15:29 | |
Modelltransformationen | 00:20:48 |
Definition | 01:23:57 | |
---|---|---|
Einleitung | 00:14:12 | |
Graphgrammatik | 00:15:18 | |
Metamodelle | 00:21:16 | |
Merge-Beziehungen | 00:15:12 | |
Wege zum Modell | 00:18:51 |
Transformation - Einleitung | 01:25:58 | |
---|---|---|
Profile | 00:14:30 | |
Beispiele für UML Modelle | 00:19:39 | |
Zusammenfassung | 00:02:32 | |
Einleitung Transformation | 00:05:32 | |
Grundlagen | 00:15:01 | |
Modelltransformationstechniken | 00:23:39 | |
ATLAS Transformation Language ATL | 00:06:29 |
Compilerbau | 01:21:40 | |
---|---|---|
Übersetzungsschema | 00:18:37 | |
Zwischencode | 00:14:06 | |
Überleitung | 00:10:03 | |
Lexikalische Analyse | 00:16:12 | |
Bottom-Up | 00:16:02 | |
Bisherige Techniken | 00:07:42 |
Synchronisation | 01:37:04 | |
---|---|---|
Modellsynchronisation | 00:25:31 | |
Einleitung | 00:11:52 | |
Optimierter Algorithmus | 00:14:07 | |
Vergleich | 00:11:06 | |
Zusammenfassung | 00:20:29 | |
Domainspezifische Sprachen | 00:15:12 |
Automotive Software | 01:29:12 | |
---|---|---|
Automotive Software | 00:14:23 | |
Treiber: OEM | 00:13:02 | |
MGSE für eingebetete Systeme | 00:14:31 | |
Strukturierte Methode | 00:09:26 | |
MSC/SDL - Klassifikation | 00:08:10 | |
Beispielmodelle | 00:07:50 | |
Zusammenfassung | 00:07:59 | |
Model-Driven-Architecture | 00:15:29 |
Qualität | 01:33:13 | |
---|---|---|
Software Factories | 00:03:25 | |
Zusammenfassung | 00:13:09 | |
Qualität - Grundlagen | 00:13:24 | |
Arten von Konsistenz | 00:19:43 | |
Überprüfung der Konsistenz | 00:12:34 | |
Modellbasierte Validierung | 00:12:15 | |
Abstrakte Modelle | 00:13:40 |
Absicherung der Qualität | 01:31:32 | |
---|---|---|
Wiederholung | 00:19:53 | |
LEIRIOS Test Generator | 00:12:51 | |
Absicherung der Qualität | 00:12:51 | |
Testen einer Codegenerierung | 00:16:51 | |
Zusammenfassung | 00:05:14 | |
Management-Motivation | 00:15:30 | |
Systemtechnische Integration | 00:09:47 |
Zusammenfassung der Vorlesung | 01:09:46 | |
---|---|---|
Integration | 00:09:46 | |
Änderungsmanagement | 00:05:33 | |
Versionierung und Wartung | 00:11:11 | |
Evolution | 00:07:31 | |
Zusammenfassung | 00:06:10 | |
Zusammenfassung der Vorlesung | 00:13:04 | |
Ausführung von Modellen | 00:09:49 | |
Qualität und Modelle | 00:08:23 |