TGI

• Heimatseite
• Ankündigungen
• Mitarbeiterinnen und Mitarbeiter
• Studentinnen und Studenten

Lehre

• Lehre
• Abschlussarbeiten

Forschung

• Forschung
• Publikationen

Misc

• Service
• Tools
• Petri Nets World
  

Projekt : Semantiken für semiformale Spezifikationstechniken

Dr. Daniel Moldt, Wissenschaftlicher Mitarbeiter
Dr. Heiko Rölke, ehemaliger Wissenschaftlicher Mitarbeiter
Dr. Lawrence Cabac, Wissenschaftlicher Mitarbeiter

Laufzeit: seit 10/1990

Schlagworte: Softwaretechnik; Systemanalyse; Spezifikation; Petrinetze, höhere; Ereignisgesteuerte Prozessketten (EPK); Use Cases; Unified Modeling Language (UML); Agent Unified Modelling Language (AUML)

Ziele: Durch die Angabe operationaler Semantiken für semiformale Techniken wie Statecharts, Klassendiagramme, Use Cases oder erweiterte Ereignisgesteuerte Prozessketten (eEPK) lassen sich diese ausführen. Verschiedene Sichten auf ein System lassen sich integrieren und so auf Konsistenz prüfen. Eine Einbettung in die Unified Modeling Language (UML und ARIS) wurde vorgenommen. Speziell wurde auf die dynamischen Aspekte beim Modellierungsprozess geachtet. Im Kontext der Agentenorientierung wird an spezifischen Erweiterungen in Richtung AUML (Agent UML) gearbeitet. Dabei wurde neben Prozessen insbesondere das Konzept der Mobilität bearbeitet.

Publikationen:

2008

Lawrence Cabac , Ragna Dirkner, and Heiko Rölke.
Modelling service dependencies for the analysis and design of multi-agent applications.
In Moldt (Hrsg.), Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA'06, pages 291-298.

Lawrence Cabac , Nicolas Knaak, and Daniel Moldt.
Applying process mining to interaction analysis of Petri net-based multi-agent models.
Technical Report 271, University of Hamburg, Department of Informatics, May 2006.

2006

Lawrence Cabac , Michael Duvigneau, and Heiko Rölke.
Net components revisited.
In Moldt (Hrsg.), Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA'06, pages 87-102.  [pdf]

2004

Lawrence Cabac and Daniel Moldt.
Formal semantics for AUML agent interaction protocol diagrams.
In James Odell, Paolo Giorgini, and Jörg P. Müller, editors, The Fifth International Workshop on Agent-Oriented Software Systems (AOSE-2004). Proceedings, pages 97-111, New York, USA, July 2004. Columbia University.

2003

Lawrence Cabac , Daniel Moldt, and Heiko Rölke.
A proposal for structuring Petri net-based agent interaction protocols.
In Wil van der Aalst and Eike Best, editors, 24th International Conference on Application and Theory of Petri Nets, Eindhoven, Netherlands, June 2003, volume 2679 of Lecture Notes in Computer Science, pages 102-120. Springer-Verlag, June 2003.

Lawrence Cabac .
Generating code structures for Petri net-based Agent Interaction Protocols using Net Components.
In Workshop: Algorithms and Tools for Petri Nets, September 2003.  [pdf]  [ps]

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

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.