Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Project : Systementwurf mit Petrinetzen

Diese Seite ist nur auf Deutsch verfügbar. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.


Dr. Daniel Moldt, research assistant

Duration: since 10/1990

Keywords: Softwaretechnik; Systemanalyse; Spezifikation; Petrinetze, höhere; Methoden; Systeme, komplexe; Sichten

Objectives:

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.

Publications:

2005

Daniel Moldt.
Petrinetze als Denkzeug.
In Farwer and Moldt (eds.), 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 (eds.), 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 (eds.), 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 (eds.), 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.
Last Change: 17:40 05/19/2011
Imprint/Disclaimer