Prof. Dr. Wolf Zimmermann

Die Teilnehmer*innen erwerben folgende Kompetenzen

• Sie sind in der Lage, auf Basis eines mathematischen Grundlagenwissens selbstständig zu lernen und zu erarbeiten.
• Sie können auf Grund eines umfassenden Überblicks über grundlegende Modellierungsmethoden diese situations- und sachgerecht einsetzen.
• Sie sind in der Lage, exakt und gründlich zu arbeiten.
• Sie beherrschen die mathematischen Sprache und können dies problem- und sachorientiert einsetzen.
• Sie können Zusammenhänge zwischen verschiedenen Gebieten und Konzepten der Mathematik und Informatik erkennen und nutzen.
• Sie sind in der Lage, logisch zu denken und von Einzelheiten problemgerecht zu abstrahieren.
• Sie können Modelle auf Eigenschaften hin untersuchen und validieren
• Sie sind in der Lage, Aussagen über Modellierungstechniken selbstständig zu beweisen.
• Sie verstehen den Zusammenhang zwischen den verschiedenden Grundkonzepten der Modellierung

Modellieren von IT-Systemen ist eine zentrale Tätigkeit bei der Konstruktion von IT-Systemen aller Art. Mit Modellen möchte man erreichen, dass bereits vor der Umsetzung in Programme oder Hardware ein Verständnis für die Funktionsweise, Struktur und Eigenschaften des IT-Systems entsteht. Insbesondere bei sicherheitskritischen IT-Systemen wie beispielsweise im Automobil, Flugzeug oder Medizintechnik ist eine Überprüfung der Systemeigenschaften auf Modellebene notwendig. Um unerwünschte Eigenschaften auszuschließen ist ein formaler Nachweis (Validerung) und sehr sorgfältiges Arbeiten erforderlich. Aus diesem Grund basieren die Modellierungstechniken meist auf mathematischen Grundlagen wie Mengentheorie, Algebren und Logik. Dieses Modul vermittelt die grundsätzlichen Denk- und Herangehensweisen der Informatik. Fundamental ist die Trennung zwischen Syntax und Semantik. Während Modelle und Programme in einer formalen Notation entwickelt werden, muss hinter dieser eine Semantik stecken. Validierungen von Eigenschaften von Modellen erfolgen jedoch in der formalen Notation. Deshalb müssen die Validierungstechniken bzgl. der Semantik gerechtfertigt werden. Semantische Modelle sind meist mathematische Modelle, so dass deren Grundlagen behandelt werden müssen. Nach einer Einführung in die grundlegenden Begrifflichkeiten und Denkweisen der Informatik und Modellierung werden nacheinander Modellierungstechniken auf Basis der verschiedenen Mathematischen Grundlagen behandelt: Mengen, Folgen (Texte), Monoide und Verbände, Automaten, Algebren und Abstrakte Datentypen, Logik. Dabei wird jeweils die Modellierung an Hand von Beispielen aus der Praxis eingeführt, deren Theoretische Grundlagen diskutiert und anschließend wieder gezeigt, wie diese zu Validierungsmöglichkeiten für die Modelle führen. Das Modul schließt mit einer der heute gebräuchlichsten Modellierungstechniken, den UML-Klassendiagrammen, ab, die letztendlich die im Modul erlernten Modellierungstechniken einsetzten. Im Einzelnen werden die folgenden Themenbereiche behandelt:
1. Einführung in die Informatik: Was ist Informatik? Datum, Information, Signal, Semiotik, Wissen, Verantwortung von Informatikerinnen bzw. Informatiker, Systembegriff, Modellbegriff, Prinzipien der Modellierung
2. Mengen, Relationen, Funktionen, Graphen und Bäume
3. Texte: Textersetzungssysteme, Grammatiken, Chomsky-Hierarchie, endliche Automaten, Strukturbäume
4. Monoide, Boolesche Algebra und Verbände
5. Modellierung technischer Systeme: Mealy-Automaten, Moore-Automaten, Petri-Netze, Lebendigkeit, Sicherheit
6. Abstrakte Datentypen: Terme und Signaturen, Algebren, Homomorphiesatz, Strukturelle Induktion, Termersetzungssystem
7. Logik: Aussagenlogik, Prädikatenlogik, Kalküle, Korrektheit und Vollständigkeit, Konsistenz, Spezifikation mit Vor- und Nachbedingungen
8. Objekt-Orientiertes Modellieren: UML Klassendiagramme, UML Objektdiagramme, Klasseninvarianten, Verträge

zu den Studienleistungen: (nicht die eigene Lösung erklären können bzw. die Vorstellung ablehnen bedeutet, dass alle Aufgaben der Übungsserie als nicht bearbeitet gelten)

Bearbeitung von mindestens 80% der Übungsaufgaben im WiSe und auf Anfrage erfolgreiche Vorstellung der Lösung einer bearbeiteten Aufgabe (siehe Hinweise), Bearbeitung von mindestens 80% der Übungsaufgaben im SoSe und auf Anfrage erfolgreiche Vorstellung der Lösung einer bearbeiteten Aufgabe (siehe Hinweise)

mündl. Prüfung oder Klausur