Lehrpersonen

Dozent(in)

• Prof. Dr.-Ing. Norbert Fuhr

Übungsleiter(innen)

• Dipl.-Inform. Thomas Beckers
• Sebastian Schweitzer, B.Sc.
• Daniel Wohland, B.Sc.
• Janina Weiß

Korrekteur(e)

• Sebastian Schweitzer, B.Sc.
• Corinna Reichwein, B.Sc.
• Daniel Wohland, B.Sc.
• Janina Weiß

Formalia

Zielgruppe

• Angewandte Informatik Bachelor mit 2+1 Wochenstunden
• ISE Bachelor mit 2+1 Wochenstunden
• Komedia Bachelor mit 2+1 Wochenstunden
• BWL Master mit 2+1 Wochenstunden

Termine

Prüfungstermine

Beschreibung

Die Fähigkeit zur Abstraktion und Bildung von Modellen ist eine wesentliche Grundkompetenz bei der Entwicklung von Software und anderen komplexen Systemen. Diese Veranstaltung behandelt die Aspekte der informatischen Modellierung von intuitiven Methoden bis hin zu formalen Techniken. Dabei wird insbesondere auf Petri-Netze und auf die UML (Unified Modeling Language) eingegangen.

Vorlesungsmaterial

Tools für Petrinetze

• PIPE 2
• WinPetri
• Petri Nets Tools Database

Tools für UML

• Violet UML Editor
• ArgoUML
• OpenAmeos
• OmniGraffle (Mac)
• Dia
• Oracle JDeveloper
• BOUML
• Visual Paradigm for UML Community Edition
• Acceleo
• Modelio

Folien

• Komplette Folien: 4:1 1:1
• LUDI-Angebot
• UML-Ergänzungen (nur innerhalb der UDE erreichbar)

Literatur

(Ein Teil der verlinkten Bücher ist nur aus dem Uni-Netz erreichbar!)

• Reisig: Petri-Netze -- Eine Einführung,
• Wimmel: Petri-Netze
• Murata: Petri Nets: Properties, Analysis and Applications
• R. Miles, K. Hamilton: Learning UML 2.0
• Harel: Statecharts: a visual formalism for complex systems
• Bernd Baumgarten: Petri-Netze. Grundlagen und Anwendungen, Spektrum, 1996
• G. Booch, J. Rumbaugh, I. Jacobson: The Unified Modeling Language User Guide, Addison Wesley, 2005.
• M. Jeckle, C. Rupp, J. Hahn, B. Zengler, S. Queins: UML 2 glasklar, Hanser Fachbuch, 2007
• Christoph Kecher: UML 2.0 - Das umfassende Handbuch. Galileo Press, 2006.
• Perdita Stevens, Rob Pooley: UML - Softwareentwicklung mit Objekten und Komponenten. Pearson, 2001.

Notizen

• 06.11.13
• 13.11.13
• 20.11.13
• 27.11.13
• 4.12.13
• 11.12.13
• 18.12.13
• 8.1.14
• 15.1.14
• 22.1.14

Petri-Netze (für PIPE)

• Erzeuger-Verbraucher-Problem
  • Gleichzeitige Sperrenanforderung
  • Sequenziell Sperrenanforderung, Deadlock
  • Sequenziell Sperrenanforderung, korrekt
• Leser-Schreiber-Problem
  • naive Lösung
  • Priorität für Schreiber

Lehre-Evaluierung

Ergebnisse der Lehreevaluierung

Klausur

• "Spickzettel" für die Klausur (ist der Klausur beigefügt)

Übungen

Einteilung in Übungsgruppen

Übungspunkteabfrage

Übungsabgabe