Modellierung verteilter Systeme

What it is about

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.

What you will be able to do

• 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

What the module consists of

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

Teaching method

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