Projekt : Objektorientierte Analyse mit Petrinetzen
|
|
|
|
|
Dr. Daniel Moldt, Wissenschaftlicher Mitarbeiter
Dr. Heiko Rölke, ehemaliger Wissenschaftlicher Mitarbeiter
Laufzeit: seit 04/1991
Schlagworte: Softwaretechnik; Systemanalyse; Spezifikation; Petrinetze, höhere; Komponenten; Methoden; Systeme, komplexe; Objektorientierung
Ziele:
Ein objektorientierter Ansatz zur Systemspezifikation unter besonderer Berücksichtigung von Verteiltheit und Nebenläufigkeit wurde entwickelt. Dabei werden einzelne Sichten getrennt behandelt und auf der Basis von Petrinetzen integriert. Dies wurde insbesondere für UML und ARIS untersucht. Für Petrinetze wurde eine spezielle Art der Strukturierung entwickelt, einzelne Konstrukte wie z.B. Schaltregeln wurden zusätzlich neu eingeführt. Es wurde an einer Verfeinerung der operationalen Semantik von Beziehungen in Klassendiagrammen gearbeitet.
Die entwickelten Szenarien-Netze wurden auf ihren Bezug zur Objektorientierung hin untersucht. Zustände und Abläufe wurden innerhalb objektorientierter Modelle in Beziehung gesetzt. Desweiteren wurde an einer objektorientierten Komposition von Modellen gearbeitet. Die grundsätzlichen Wechselwirkungen und Abhängigkeiten von struktur- und verhaltensorientierten Modellen in objektorientierten Ansätzen wurden untersucht. Die Konzepte der Delegation und der Aggregation wurden im Hinblick auf Systemarchitekturen diskutiert.
Publikationen:- 2005
-
Berndt Farwer and Daniel Moldt, editors.
Object Petri Nets, Processes, and Object Calculi, number FBI-HH-B-265/05 in Bericht des Fachbereichs Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August 2005. Universität Hamburg, Fachbereich Informatik. - 2004
-
Daniel Moldt, editor.
Proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04), Ny Munkegade, Bldg. 540, DK-8000 Aarhus C, Denmark, August 2004. University of Aarhus, Department of Computer Science.
DAIMI PB: Aarhus, Denmark, October 11-13, number 571. - 2002
-
Christoph Maier and Daniel Moldt.
Dynamic structure and behaviour of coloured Petri nets supporting object-oriented modelling.
In van der Aalst et al. (Hrsg.), Petri Net Approaches for Modelling and Validation, pages 81-101.- Daniel Moldt, editor.
Proceedings of the Second Workshop on Modelling of Objects, Components, and Agents (MOCA'02), Ny Munkegade, Bldg. 540, DK-8000 Aarhus C, Denmark, August 2002. University of Aarhus, Department of Computer Science.
DAIMI PB: Aarhus, Denmark, August 26-27, number 561. - Daniel Moldt, editor.
- 2001
-
Christoph Maier and Daniel Moldt.
Object coloured Petri nets - A formal technique for object oriented modelling.
In Agha et al. (Hrsg.), Advances in Petri Nets: Concurrent Object-Oriented Programming and Petri Nets, pages 406-427. - 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.- Daniel Moldt and Jörg Rodenhagen.
Ereignisgesteuerte Prozeßketten und Petrinetze zur Modellierung von Workflows.
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 57-63.- Holger Giese and Stephan Philippi, editors.
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, November 2000. [link] - Daniel Moldt and Jörg Rodenhagen.
- 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]- Daniel Moldt and Heiko Rölke.
Generation of executable object-based Petri net skeletons using Design/CPN.
In Kurt Jensen, editor, Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, number 541 in DAIMI PB, pages 59-78, Ny Munkegade, Building 540, DK-8000 Aarhus C, Dänemark, 1999. Computer Science Department, Aarhus University. [link] - Daniel Moldt and Heiko Rölke.