Modellierungsmethoden der Informatik Modeling methods in computer science
2005-10-01

Lehrpersonen


Dozent(in)
Übungsleiter(innen)
Korrekteur(e)

Formalia


Zielgruppe
  • DAI Grundstudium mit 3+1 Wochenstunden und 8 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



Beschreibung


Die Vorlesung am 7.2. fällt aus!

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.

Gliederung der Vorlesung


  • Kapitel 1: Einführung - Grundbegriffe
    • 1.1 Der Modellbegriff
    • 1.2 Repräsentationssysteme
    • 1.3 Repr. und Interpretation
  • Kapitel 2: Logikkalküle
    • 2.1 Aussagenlogik
    • 2.2 Normalformen
    • 2.3 Hornformeln
    • 2.4 Aussagenlogische Resolution
    • 2.5 Prolog
    • 2.6 Resolution für Hornformeln und Prolog
    • 2.7 Syntax und Semantik der Prädikatenlogik
    • 2.8 Normalformdarstellung
    • 2.9 Grundresolution
    • 2.10 Prädikatenlogische Resolution
  • Kapitel 3: Objektorientierte Spezifikation
    • 3.1 Objektorientierte Analyse
    • 3.2 Die Unified Modelling Language (UML)
      • Klassendiagramme
      • Anwendungsfalldiagramme
      • Sequenzdiagramme und Kollaborationsdiagramme
      • Zustandsübergangsdiagramme
      • Aktivitätsdiagramme
      • Komponentendiagramme
  • Kapitel 4: Petri-Netze
    • 4.1 Netzgraphen (Struktur)
    • 4.2 Dynamik von Netzen (S/T-Systeme)
    • 4.3 Grundbegriffe und Grundsituationen
    • 4.4 Weitere Netztypen

Skript


Folien


Mitschriften


Klausur


Die Einsichtnahme zur Klausur vom 24. Juli hat am Mittwoch, dem 16.08.2006, zwischen 14 und 15 Uhr in LF 138 stattgefunden. Die endgültigen Klausurergebnisse wurden dem Prüfungsamt mitgeteilt und können weiterhin hier eingesehen werden.

Beispiel-Fragen für die mündliche Prüfung (auch zur Klausurvorbereitung empfehlenswert!)

Hinweise zu den Übungen und Hausaufgaben


Die Einteilung in die Übungsgruppen kann hier eingesehen werden. Wer sich noch nachträglich anmelden möchte, wende sich bitte an modellierung@is.inf.uni-due.de. Bitte Name, Vorname, Matrikelnummer, Studienfach, Fachsemesterzahl und gewünschte Übungsgruppe mit angeben!

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

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

Übungsaufgaben


Begleitmaterial


Material zu den Übungen