Projekt : Systementwurf mit Petrinetzen

Dr. Daniel Moldt, Wissenschaftlicher Mitarbeiter

Laufzeit: seit 10/1990

Schlagworte: Softwaretechnik; Systemanalyse; Spezifikation; Petrinetze, h�here; Methoden; Systeme, komplexe; Sichten

Ziele:

Unterschiedliche ben�tigte Sichten wurden w�hrend des Systementwurfs differenziert und klassifiziert. Der Ansatz des Extreme Programming wurde f�r die Spezifikation angepasst. Dem Motto "Implementierung durch Modellierung" folgend wurde so unter Ber�cksichtigung des bisher verwendeten Prototypingansatzes der "Extreme Analysis"-Ansatz entwickelt. Andere Erweiterungen traditioneller kommerzieller Analyseans�tze um Entwurfsaspekte waren insbesondere die Verwendung von Funktionseinheiten mit ver�nderbaren Komponenten.

Zudem wurde eine Familie von Petrinetzklassen (Szenarien-Netze) entwickelt, mit denen ausschlie�lich durch Komposition Systeme erstellt werden k�nnen. Dabei wird eine prozessorientierte Sichtweise unterst�tzt. Aufbauend auf den Ergebnissen der Dissertation (Moldt, 1996) wurde an einem grundlegenden Denkmodell der Informatik in Hinblick auf nebenl�ufige Ph�nomene unter dem Begriff der Einheitentheorie gearbeitet. Einbezogen wurden die Concurrency Theorie von Carl Adam Petri, systemtheoretische Modelle, objektorientierte Ans�tze und die Agententechnik. In Bezug auf einen Ansatz des agentenorientierten Systementwurfs wurde an einem Leitbild gearbeitet, das die Agentenkonzepte grundlegend nutzt und unmittelbar unterst�tzt. Dazu wurden objekt-, aspekt- und agentenorientierte Konzepte verbunden.

Die Einheitentheorie als grundlegende Betrachtung von Informatiksystemen wurde im Hinblick auf die praktische Verwendung hin weiterentwickelt. Dabei lagen Schwerpunkte zum einen auf den konzeptionellen Grundlagen und darauf aufbauend auf der Integration von objekt-, aspekt-, agenten- und organisationsorientierten Modellierungsans�tzen. Aspekte von Software-Landschaften und unternehmens�bergreifenden Software-Systemarchitekturen wurden dabei ebenfalls untersucht. In Lehreprojekten konnten neuartige Projektmanagementans�tze erfolgreich erprobt werden.

Publikationen:

2005: Daniel Moldt.
Petrinetze als Denkzeug.
In Farwer and Moldt (Hrsg.), Object Petri Nets, Processes, and Object Calculi, pages 51-70.; Volker Tell and Daniel Moldt.
Ein Petrinetzsystem zur Modellierung selbstmodifizierender Petrinetze.
In Schmidt and Stahl (Hrsg.), Proceedings of the 12th Workshop on Algorithms and Tools for Petri Nets (AWPN 05), pages 36-41.
2004: Unai Arronategui and Daniel Moldt.
A proposal for multi-agent system based modeling and validation of self-organization.
In Session: Agent-Based and Holonic Manufacturing Systems, 2nd IEEE International Conference on Industrial Informatics Fraunhofer IPK, Berlin, INDIN'04, 2004, 2004.
2003: Joaquín Ezpeleta and Daniel Moldt.
A proposal for flexible testing of deadlock control strategies in resource allocation systems.
In Zohreh Pahlavani, editor, Proceedings of International Conference on Computational Intelligence for Modelling Control and Automation, in Vienna, Austria, 12-14 February, 2003.; Daniel Moldt.
Introduction and conclusion to part IV: Validation and execution.
In Girault and Valk (Hrsg.), Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, chapters 18 and 22, pages 403-408, 469-470.
2002: Andreas Bartelt, Lars Braubach, Daniel Moldt, Alexander Pokahr, and Winfried Lamersdorf.
Vesuf, eine modellbasierte User Interface Entwicklungsumgebung für das Ubiquitous Computing.
In Michael Herczeg, Wolfgang Prinz, and Horst Oberquelle, editors, Mensch & Computer 2002 - Vom interaktiven Werkzeug zu kooperativen Arbeits- und Lernwelten, volume 56 of Berichte der German Chapter of the ACM, pages 185-194, Stuttgart, Leipzig, Wiesbaden, August 2002. 2. fachübergreifende Konferenz, Hamburg, 2. bis 5. September 2002, Teubner.; Lars Braubach, Winfried Lamersdorf, Daniel Moldt, and Alexander Pokahr.
Exploiting a model-based interface construction mechanism for automatic adaption of cooperative agent communication.
In Tim Finnin, Filip Perich, and Zakaria Maamar, editors, AAMAS Workshop on Ubiquitous Agents on Embedded, Wearable, and Mobile Devices. ACM Press, July 2002.
2000: Olaf Kummer, Annette Laue, Matthias Liedtke, Daniel Moldt, and Heiko Rölke.
Höhere Petrinetze zur kompakten Modellierung und Implementierung von Verhalten.
In Holger Giese and Stephan Philippi, editors, Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8.Workshop des Arbeitskreises GROOM, Techreport 24/00-I, pages 27-32. Universität Münster, 2000.
Verfügbar unter urlhttp://wwwmath.uni-muenster.de/cs/u/versys/workshops/VVVNS2000/ urlprogramm.html.; Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Statecharts as protocols for objects.
In ROOM 2000, ROOM-Third Workshop on Rigorous Object-Oriented Methods, England, 2000. Department of Computer Science, University of York, UK.; Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Modelling intra- and inter-object control using reference nets.
In Jürgen Ebert and Ulrich Frank, editors, Modellierung 2000 St. Goar, 5.-7. April, volume 15 of Koblenzer Schriften zur Informatik, pages 89-102, Koblenz, 2000. Dietmar Fölbach.; Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Statecharts as protocols for objects.
Journal for electronic Workshops in Computing: ROOM-Third Workshop on Rigorous Object-Oriented Methods, July 2000. [link]; Daniel Moldt and Heiko Rölke.
Verhaltensmodellierung von Petrinetz-Agenten.
In Giese and Philippi (Hrsg.), Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8.Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13.-14. November 2000, Universität Münster, pages 92-97.
1999: Daniel Moldt, Marc Netzebandt, and Frank Wienberg.
Object-oriented modeling of a bus tour travel agency using Design/CPN.
Work in Progress Presentation at CPN'99 in Aarhus, Computer Science Department, Aarhus University, 1999. [link]
1996: Daniel Moldt.
Höhere Petrinetze als Grundlage für Systemspezifikationen.
Dissertation, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August 1996.

> Forschung TGI Informatik

Letzte Änderung: 17:40 19.05.2011

Impressum