Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

Formale Spezifikation von Systemen

Version vom 14. Februar 2005, 21:16 Uhr von FelixBrossmann (Diskussion)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Protokolle

WS 2004/05

Formale Spezifikation von Systemen ist eine Basisveranstaltung im Fachgebiet TFS (Studiengebiet THI).

Inhalt

(Von der Website geklaut)

Diese Basis-LV der Theoretischen Informatik führt in die formale Spezifikation von Systemen und damit in grundlegende Probleme und Methoden der theoretischen Informatik ein. Vorrangig werden hierbei Datentyp- und Prozessspezifikation von Softwaresystemen behandelt. Eine durchgänige praxisorientierte Fallstudie aus dem Bereich Logistik dient zur Veranschaulichung und Illustration der vermittelten theoretischen Konzepte.

Im ersten Teil werden zur formalen Modellierung von Prozessen Petrinetze eingeführt, die hier exemplarisch für eine Vielzahl von Prozessmodellierungstechniken vorgestellt werden. Es werden mathematische Methoden sowohl zur Analyse als auch zur Strukturierung und Komposition von Prozessen behandelt. Dabei werden Petrinetze zunächst unabhängig von der Datenmodellierung behandelt.

Zu Beginn des zweiten Teils werden die in TheGI 2 behandelten algebraischen Strukturen kurz wiederholt. Darauf aufbauend werden dann Konzepte der algebraischen Spezifikation von Datentypen aus Sicht von Systemen vorgestellt (Korrektheit, Parameterisierung, First Order Logik - Spezifikation). Bei der algebraischen Spezifikation von nicht parametrisierten Datentypen stehen in dieser Veranstaltung Probleme der Semantik und Korrektheit im Vordergrund, die mit Methoden der Algebra und Logik analysiert werden. Die Parametrisierung von Datentypen ist ein wesentlicher Schritt im Hinblick auf die Modellierung generischer Softwaresysteme und Softwarekomponentenkonzepte.

Für weitergehende Perspektiven wird am Ende der LV ein Ausblick auf die Integration von algebraischen Spezifikationen mit Petrinetzen im Rahmen von algebraischen High-Level Netzen gegeben.

Die in dieser LV erworbenen Kenntnisse sind in vielen anderen Haupstudiums-LV's auch ausserhalb des Studiengebiets THI erfolgreich anwendbar. Sie bilden insbesondere für Schwerpunktsetzungen in den Studiengebieten SSG, PSS, DIS, KI und BKS eine sinnvolle und wichtige Ergänzung.


Tipps und nützliche Infos

Weblinks


Persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)