Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Project : Semantiken für semiformale Spezifikationstechniken

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
Dr. Heiko Rölke, former research assistant
Dr. Lawrence Cabac, research assistant

Duration: since 10/1990

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

Objectives: 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.

Publications:

2014

Lawrence Cabac , David Mosteller , and Matthias Wester-Ebbinghaus.
Modeling organizational structures and agent knowledge for Mulan applications.
Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), pages 62-82, 2014.  [link]

2013

Lawrence Cabac , David Mosteller , and Matthias Wester-Ebbinghaus.
A proposal for the modeling of organizational structures and agent knowledge in MAS.
In Moldt (eds.), Modeling and Buisness Environments MODBE'13, Milano, Italia, June 2013. Proceedings, pages 295-312.  [link]

2011

Marcin Hewelt, Thomas Wagner, and Lawrence Cabac .
Integrating verification into the PAOSE approach.
In Duvigneau et al. (eds.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 124-135.

2010

Lawrence Cabac .
Modeling Petri Net-Based Multi-Agent Applications.
Dissertation, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, April 2010.
http://www.sub.uni-hamburg.de/opus/volltexte/2010/4666/.  [link]

Lawrence Cabac .
Modeling Petri Net-Based Multi-Agent Applications, volume 5 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2010.

Daniel Moldt, Michael Köhler-Bußmeier, Axel Theilmann, Simon Adameit, Tobias Betz, Lawrence Cabac , Florian Hars, Marcin Hewelt, Dimitri Popov, José Quenum, Thomas Wagner, Timo Warns, and Lars Wüstenberg.
Modelling distributed network security in a Petri net and agent-based approach.
In Jürgen Dix and Cees Witteveen, editors, Multiagent System Technologies. 8th German Conference, MATES 2010, Leipzig, Germany, September 27-28, 2010. Proceedings, volume 6251 of Lecture Notes in Artificial Intelligence, pages 209-220, Berlin, Heidelberg, New York, September 2010. Springer-Verlag.

2009

Lawrence Cabac , Kolja Markwardt, and Jan Schlüter.
ImageNetDiff: Finding differences in models.
In Moldt et al. (eds.), Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009, pages 156-161.

Lawrence Cabac .
Net components: Concepts, tool, praxis.
In Moldt (eds.), Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 17-33.

Lawrence Cabac and Daniel Moldt.
Support for modeling roles and dependencies in multi-agent systems.
In Köhler-Bußmeier et al. (eds.), Organizational Modelling, International Workshop, OrgMod'09. Proceedings, pages 15-33.
Preproceedings available online at http://www2.informatik.uni-hamburg.de/tgi/events/orgmod09/#proceedings.

Lawrence Cabac , Daniel Moldt, Matthias Wester-Ebbinghaus, and Eva Müller.
Visual representation of mobile agents - modeling mobility within the prototype MAPA.
In Duvigneau and Moldt (eds.), Proceedings of the Fifth International Workshop on Modeling of Objects, Components and Agents, MOCA'09, Hamburg, pages 7-28.

2008

Lawrence Cabac , Ragna Dirkner, and Heiko Rölke.
Modelling service dependencies for the analysis and design of multi-agent applications.
In Moldt (eds.), 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 (eds.), 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. (eds.), 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 (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 57-63.

Last Change: 21:21 03/17/2015
Imprint/Disclaimer