| Veranstaltungs-Nr.: | 18.213 (WiSe 2004/2005) |
| Titel: | Modellbildung mittels semiformaler und formaler Techniken |
| Veranstalter: | Daniel Moldt, Rüdiger Valk |
| Zeit / Ort: | 2 st. Di. 12-14 C-221 |
| - |
| Inhalt: | Petrinetze gehören heute zu den anerkannten Grundtechniken des Software- und Systementwurfs. Ihre Vorteile liegen in der konzeptionellen Klarheit, ihrer graphischen Darstellbarkeit und der präzisen Semantik. Einschlägige Kenntnisse sind mittlerweile ein Merkmal von Informatikern gegenüber anders Vorgebildeten der DV-Industrie. Dies gilt insbesondere für höhere (getypte, gefärbte) Petrinetze, die im Studium bisher nur kurz eingeführt wurden.
Im Umfeld von Organisationen ist die Verwendung von formalen und semiformalen Modellierungstechniken von großer Bedeutung. Um die Strukturen und Prozesse unmittelbar zu unterstützen, müssen Systemspezifikationen über entsprechende Modellierungskonstrukte verfügen. Die Stärken und Schwächen semiformaler und formaler Techniken werden dahingehend dsikutiert. Insbesondere Petrinetze werden in Hinblick auf Abläufe und Prozesse sowie objekt- und agentenorientierte Modellierung umfassend behandelt.
Zur Vertiefung von Verifikationsverfahren wird auf die Veranstaltung 18.201 "Verifikation von Systemmodellen" hingewiesen. |
| Lernziel: | Die Teilnehmenden sollen Petrinetzgrundkonzepte soweit kennenlernen, dass sie Modellierungstechniken für das Einsatzgebiet der Organisationen nutzen können. Dabei werden folgende Schwerpunkte für zugrundeliegende Konzepte gewählt: - Modellierung von Geschäftsprozessen (workflow)
- Modellierung mittels semiformaler Techniken
- Objektnetze
- Kommunikationsprotokolle
- Agenten und Multiagentensysteme
Zu Beginn der Veranstaltung werden die wichtigsten Ergebnisse im Bereich der Petrinetze erlernt bzw. vertieft. Darauf wird mit den gefärbten Petrinetzen als eine wichtige Modellierungstechnik aufgebaut, um eine weitere Vertiefung in diesem wichtigen Gebiet zu erzielen. Anschließend werden neuere Ergebnisse im Bereich der Anwendung von Petrinetzen behandelt. Semiformale Modellierungstechniken wie UML oder AUML runden das Methodenspektrum insbesondere für die Bereiche Wirtschaftsinformatik, Verteilte Systeme und Systemspezifikation ab. |
| Stell. im Studienplan: | Hauptstudium; Vertiefungsgebiete P5, Th3, Th2, A1, P2, A2, Th4, Th1, P1, A4, P9, P3, P4; Schwerpunkte OSE, IM, INE, VIS, SEM, WV |
| Voraussetzungen: | Grundstudium; für Studierende der Wirtschaftsinformatik zusätzlich: F4; |
| Vorgehen: | Vorlesung mit integrierten Übungen |
| Literatur: | - W. Reisig: Petrinetze - Eine Einführung, Springer, 1982
- B. Baumgarten: Petri-Netze - Grundlagen und Anwendungen, Spektrum Akad. Verlag, 1990
- K. Jensen und G. Rozenberg (eds.): High-level Petri Nets: Theory and Application, Springer, 1991
- A. Oberweis: Modellierung und Ausführung von Workflows mit Petri-Netzen, Teubner, 1996
- C. Girault, R. Valk: Petri Nets for Systems Engineering, Springer, Berlin, 2003.
- O. Kummer: Referenznetze, Logos, 2002
|
| Periodizität: | unregelmäßig |
| Eignung: | Geeignet für Bioinformatikstudierende, Wirtschaftsinformatikstudierende. Bedingt geeignet für Lehramtsstudierende, Nebenfachstudierende. |
| Stichworte: | AUML, Organisation, Agenten, Workflow, Systemspezifikation, Petrinetze, Wirtschaftsinformatik, Modellierung, Objektorientierung, UML, Geschäftsprozessmodellierung |