Modellierung verteilter Systeme

Worum geht's

Du lernst, wie man verteilte, nebenläufige und kooperierende Softwaresysteme modelliert, beschreibt und systematisch analysiert. Am Ende kennst du zentrale Modelle und Techniken zur Spezifikation, Verfeinerung und Verifikation solcher Systeme und kannst geeignete Modellierungsansätze gezielt einsetzen.

Was du danach kannst

• Grundbegriffe nebenläufiger, verteilter und kooperierender Systeme
• Systeme als Zustandsmaschinen modellieren
• funktionale Beschreibung von Komponenten und Struktur-/Verteilungssichten
• Prozesse und Ablaufmodelle verteilter Systeme verstehen
• Verfeinerung von Spezifikationen
• Verifikation und Korrektheitsbeweise für nebenläufige Systeme
• Anwendung und Abgrenzung verschiedener Spezifikations- und Modellierungstechniken

Aus was das Modul besteht

• VorlesungVermittlung der Konzepte, Modelle und theoretischen Grundlagen
• ÜbungVertiefung durch Beispiele und Aufgaben
• Aufgaben zum SelbststudiumEigenständiges Üben und Anwenden der Techniken

Lehrmethode

• VorlesungEinführung und Darstellung grundlegender Konzepte und Theorien
• ÜbungAnwendung und Einübung der behandelten Methoden
• Selbststudium-AufgabenVertiefung und Übung zur Festigung des Verständnisses