Modellierungsmethoden der Informatik

Formalia


Zielgruppe
  • DAI Grundstudium mit 3+1 Wochenstunden und 8 Kreditpunkten
  • Angewandte Informatik Bachelor mit 2+1 Wochenstunden und 4 Kreditpunkten
  • Lehramt Informatik Hauptstudium mit 3+1 Wochenstunden
  • Nebenfach Informatik Hauptstudium mit 3+1 Wochenstunden
  • Kommedia Master mit 3+1 Wochenstunden
  • ISE Bachelor mit 3+1 Wochenstunden

Termine


Vorlesung

Tag

Zeit

Ort

Mittwoch14:00 - 16:30LB/131

Übungen

Tag

Zeit

Ort

Betreuer

Mittwoch17:00 - 18:00LB/131Dr. rer. nat. Ingo Frommholz
Donnerstag10:00 - 11:00LD/106Dr. rer. nat. Ingo Frommholz
Donnerstag11:00 - 12:00LD/106Dr. rer. nat. Ingo Frommholz
Donnerstag12:00 - 13:00LE/120Dr. rer. nat. Ingo Frommholz
Donnerstag13:00 - 14:00LE/120Dr. rer. nat. Ingo Frommholz

Beschreibung


Modellbildung in der Informatik zielt auf die Darstellung der unter dem Gesichtspunkt einer gegebenen Aufgabenstellung wesentlichen Strukturen. In der Lehrveranstaltung Modellierung werden verschiedene Repräsentationsformalismen behandelt, die in vielen Bereichen der praktischen Informatik zum Standardrepertoire gehören und im Hauptstudium daher meist vorausgesetzt bzw. nur kurz eingeführt werden:

  • Logikkalküle werden fast überall benötigt, insbesondere aber bei Informationssystemen, der Softwaretechnik und der Künstlichen Intelligenz.
  • UML ist Quasi-Standard beim Entwurf von Software-Systemen, Teile davon werden auch beim Entwurf von Datenbanken verwendet.
  • Petri-Netze zur Modellierung des dynamischen Verhaltens von Software-Systemen kommen sowohl in der Softwaretechnik als auch bei Betriebssystemen zum Einsatz.

Vorlesungsmaterial


Material zu den Übungen


Gliederung der Vorlesung


  • Einführung - Grundbegriffe
    • Der Modellbegriff
    • Repräsentationssysteme
    • Repr. und Interpretation
  • Objektorientierte Spezifikation
    • Objektorientierte Analyse
    • Die Unified Modelling Language (UML)
      • Klassendiagramme
      • Anwendungsfalldiagramme
      • Sequenzdiagramme und Kollaborationsdiagramme
      • Zustandsübergangsdiagramme
      • Aktivitätsdiagramme
      • Komponentendiagramme
    • UML-Metamodell
  • Petri-Netze
    • Netzgraphen (Struktur)
    • Dynamik von Netzen (S/T-Systeme)
    • Grundbegriffe und Grundsituationen
    • Invarianten
    • Weitere Netztypen
  • Logikkalküle (nicht relevant für Bachelor AI)
    • Aussagenlogik
    • Normalformen
    • Hornformeln
    • Aussagenlogische Resolution
    • Prolog
    • Resolution für Hornformeln und Prolog
    • Syntax und Semantik der Prädikatenlogik
    • Normalformdarstellung
    • Grundresolution
    • Prädikatenlogische Resolution
  • XML
    • Zentrale Konzepte
    • XML-Anwendungen
    • Wohlgeformte und valide Dokumente
    • XML-Parser
    • DTD
    • XSL
    • XML Schema

Skript


Hinweise zu den Übungen


Den Stand eurer Bonuspunkte könnt ihr selber online überprüfen: Bonuspunkte-Check

Kontakt bei Fragen: mod_ws07-anmeldung@is.inf.uni-due.de