Neue Lehrveranstaltung "Formale Modelle für Cyberphysical Systems" (im Studiengang Master Informatik und Wirtschaftsinformatik)
(zukünftiger Titel ab WS14/15: Model Driven Software Engineering (MDSE) )
Mit der Bitte um Anmeldung im Stud-IP.
Wichtige Informationen:
In diesem Sommersemester ist die LV MDSE dem Modul "Formale Modelle für Cyberphysical Systems" zugeordnet.
Die Lehrveranstaltung findet in zwei Teilen statt:
1. Teil: als Blockveranstaltung vom 7. bis 11. April 2014!
2. Teil: in der Vorlesungszeit mit 1 Vorlesung pro Woche und 14 tgl. Übung
(10 Vorlesungen und 5 Übungen)
Die Vorlesung wird auf Englisch gehalten!
Inhalt:
In model driven software engineering, efforts are focused on creating high level abstractions. Those abstractions, called models, describe the essentials of a to be created system without being verbose or cluttered with implementation details. Still, those abstractions are aimed to be defined formally enough to allow aforementioned implementation details to be generated from. Customization capabilities of domain specific languages (DSL) play a major role for that cause. High level abstractions also have the advantage of their artefacts having a persistent and identifiable nature, which opens a broad space for collaborative work approaches.
In the lecture we introduce various usage scenarios for model driven software engineering, its foundations, concepts and techniques. We consider the design of a problem-specific domain-specific language (DSL) and the implementation of an infrastructure supporting a DSL. In the simplest case, the infrastructure consists of a graphical or textual editor. Later, techniques for parsing, model analysis and model transformation, in particular code generation, are studied. In order to practise on case studies and examples, the Eclipse Modeling Framework with its numerous plugins is introduced.