Verteilte Systeme sehen sich in der Praxis hohen Anforderungen bzgl Funktionsfähigkeit, Performanz und Zuverlässigkeit ausgesetzt. Ein modellgestütztes Vorgehen während des Entwurfs, Betriebs und der Weiterentwicklung von verteilten Systemen erlaubt die Analyse von Ist-Situationen ebenso wie die Prognose anhand von `What-if' Szenarien. Je nach Ziel einer Analyse werden unterschiedliche Modellierungsnotationen und Analyseverfahren eingesetzt. In diesem Seminar sollen aktuelle Ansätze im modellgestützten Entwurf von verteilten Systemen aufgearbeitet werden.
Literaturhinweise werden bei der Themenvergabe gegeben.
Blockseminar am Ende der Vorlesungszeit
Zeitplan: