|
Lehrende: Dr. Daniel Moldt
Veranstaltungsart:
Vorlesung
Anzeige im Stundenplan:
MvS VL
Semesterwochenstunden:
4
Credits:
3,0
Unterrichtssprache:
Deutsch
Min. | Max. Teilnehmerzahl:
- | 40
Kommentare/ Inhalte:
Grundsätzlich wird im Modul MVS die Modellierung verteilter Systeme adressiert. Da Nebenläufigkeit, Nicht-Determinismus, Konflikt, Konfusion, etc. allgegenwärtige Phänomene in verteilten und komplexen Systemen sind, werden diese systematisch untersucht. Dabei dienen (höhere) Petrinetze als beispielhafte Modellierungstechnik, die diese Phänomene in jeweils angemessener Weise repräsentieren können.
Eine angemessene Übertragung auf einfachere Modellierungstechniken, wie z.B. BPMN, eEPKs, die UML-Modellierungstechniken, Programmiersprachen, für die konkrete Entwicklung von Systemen wird jeweils Gegenstand der einzelnen Veranstaltungen. Zudem wird die Verwendung von Modellierungstechniken, -methoden, -konzepten und -werkzeugen in Software-Entwicklungsansätzen intensiv diskutiert. Als Anwendungsgebiet für verteilte Systeme werden große Organisationen und ihre Anforderungen an Software-Systeme herangezogen.
Lernziel:
Die Frage nach der richtigen Modellierungstechnik in einem bestimmten Kontext erfordert, dass die Beteiligten sowohl die Anwendungsdomäne (z.B. Wirtschaftswissenschaften, Flexible Fertigungssysteme, Spiele, Kommunikationssysteme, Informatiksysteme im Allgemeinen) als auch die zu verwendenden Techniken beherrschen. Dazu werden in diesem Modul sowohl wichtige Systemeigenschaften als auch geeignete Techniken, Methoden und Werkzeuge zur Bearbeitung vorgestellt. Die konzeptionellen Grundlagen werden vorwiegend mit Hilfe fortgeschrittener Verfahren (wie z.B. aus dem Gebiet der Petrinetze, Objekt-, Agenten-, Dienst- und Organisationsorientierung) vermittelt.
Vorgehen:
In dieser Vorlesung wird in relativ elementarer Form ein Überblick über verschiedene Modellierungs- und Analyse-Techniken gegeben. Es wird ein interaktiverer Vortragsstil geboten werden, der durch Beteiligung der Teilnehmenden den Stoff unmittelbar verständlich macht.
Im Zentrum stehen grundlegende Paradigmen, Phänomene, Konzepte und Ansätze und nicht die spezifischen Aspekte einer einzelnen Modellierungstechnik! Die Übertragung auf praktische Kontexte im Rahmen informatischer Tätigkeiten wird fortwährend diskutiert. Bei Interesse werden die Teilnehmenden konkrete Modellierungsverfahren als integrierte Übungsanteile nutzen können.
Der Einsatz einer gemeinsam bearbeiteten Dokumentation der Veranstaltung wird mit Hilfe einer Lernunterstützungsumgebung ermöglicht. Dadurch werden die Inhalte zeitnah reflektiert und gemeinsam von den Teilnehmenden und den Veranstalter bearbeitet.
Literatur:
Auszüge aus:
- C. Girault and R. Valk: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Berlin 2003,
- W. Reisig: Elements of Distributed Algorithms, Springer, Berlin 1998,
- K.Jensen: Coloured Petri Nets, EATCS-Monographs, Springer, Berlin 1992,
- W.Reisig: Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien, Vieweg+Teubner, Berlin 2010,
- L. Cabac: Modeling Petri Net-Based Multi-Agent Applications. Disseration, Universität Hamburg, http://ediss.sub.uni-hamburg.de/volltexte/2010/4666, 2010.
- M. Wester-Ebbinghaus, Von Multiagentensystemen zu Multiorganisationssystemen - Modellierung auf Basis von Petrinetze. Disseration, Universität Hamburg, http://ediss.sub.uni-hamburg.de/volltexte/2011/4974, 2011.
Zusätzliche Hinweise zu Prüfungen:
Dieses Modul mit dem Titel "Modellierung verteilter Systeme (MVS)" unterteilt sich in die gleichnamige Vorlesung am Dienstag und Donnerstag sowie das Seminar am Dienstag oder das Blockseminar in der vorlesungsfreien Zeit.
Die Teile sind weitgehend in sich abgeschlossen, so dass Studierende wahlweise auch einzelne Veranstaltungen (je nach Studienplan) separat belegen können. Dies erfolgt auf Antrag. Die Prüfungsmodalitäten sind mit den Veranstaltern vorab einvernehmlich zu klären.
Die Prüfungsmodalitäten entsprechen den Modulbeschreibungen und Studiengangsanforderungen.
|
