Diese vertiefende Lehrveranstaltung erweitert das Zusammenspiel von Virtualisierung und der dazu dualen Kompilation bis hin zur Ebene der System- bzw. Prozessmodellierung. "Virtualisierung" bezeichnet dabei die Abstraktion von technischen Details, wie etwa die einem System zu Grunde liegende Hardware- oder Softwareplattform, hin zu einer benutzernahen, fachlichen Sicht. Die Rückübersetzung dieser fachlichen Sicht, die z.B. durch grafische Modelle realisiert werden kann, geschieht dann wiederum durch Kompilation, also durch die Übersetzung in Quellcode.
Die Vorlesung stellt verschiedene Techniken der Virtualisierung vor. Anhand von praktischen Anwendungsszenarien wird gezeigt, wie ohne technisches Wissen Applikationen bzw. Systeme konstruiert werden können.
Weiterhin werden Ansätze untersucht, welche die virtualisierte, benutzernahe Sicht mit der technischen Implementierungssicht verbinden. Beispielsweise werden neben der reinen Code-Generierung (Modell-zu-Text) auch Konzepte des Reengineering vorgestellt, welches z.B. die Gewinnung von Modellen aus bestehenden Softwaresystemen (Legacy, Commercial-off-the-Shelf, etc.) ermöglicht, deren Quellcode bereits vorliegt. In einem separaten Themenblock werden die Grundlagen der Modellierung (z.B. Metamodellierung) eingeführt.
Durch Gastvorträge aus der Industrie wird die Anwendung von Virtualisierungskonzepten in der Praxis an konkreten Beispielen gezeigt.
Die Teilnahme an der Vorlesung "Virtualisierung und Compilation I" wird nicht vorausgesetzt.
Hier eine Übersicht über die Themenkomplexe, die in der Vorlesung behandelt werden:
Die Vorlesung ist adäquat zum Mastermodul Inf-MSc-316: Virtualisierung und Compilation II. Die Vorlesung wird den Schwerpunkten 1 (Software-Konstruktion), 3 (Verteilte Systeme) und 4 (Algorithmen, Komplexität und formale Modelle) zugeordnet. Die Veranstaltung kann für die Lehrveranstaltung/das Modul "Vertiefung zur Dienstleistungsinformatik" angerechnet werden.
In den Übungen werden die in der Vorlesung vorgestellten Konzepte und Softwarewerkzeuge praktisch angewendet. Mittels kleinerer Projekte wird so das erworbene Wissen vertieft.
Ort und Zeit für die Übungen werden in der Vorlesung abgestimmt.
Die Vorlesungsmaterialien (Folien, Artikel, Papers etc.) sind im Downloadbereich (geschützt, nur für Teilnehmer) zu finden.