MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science
UHH > MIN > Informatics > TGI Web-Mail Search Seitenende

Project : Modeling and System Design


Diese Seite ist auch in Deutsch verfügbar. English version. Cette page n'existe pas en Français. Ésta página no existe en Español.


Duration: since 1990

Keywords:

Modeling; software architecture; system design; concurrency; Petri nets

Objectives:

To capture, analyze, understand, evaluate and design systems, models are used. When modeling distributed, concurrent and complex systems, the modeler needs an adequate repertoire. Over the last two decades, our group TGI researched formal as well as semi-formal or informal foundations. We examined several important concepts for distributed, concurrent and complex systems using different formalisms, especially higher-order Petri nets. Naturally, our contributions are targeted in different directions. We disuss the responsibility of actors as well as their multiple perspectives. We base them on theoretical/conceptual foundations of informatics, especially the concurrency theory of C.A. Petri and follow-up work. Our current work pursues the development of an integrated approach to system modeling that includes practical aspects for concrete applications as well as a conceptual and theoretical foundation. The concepts are borrowed from object-, agent- and organisation-orientation while the basics are based on the work of C.A. Petri. Our results include the PAOSE-approach, unit theory and proposals for the architecture of concurrent systems.

Sub-Projects Publications:

2011

Tobias Betz, Lawrence Cabac , and Matthias Güttler.
Improving the development tool chain in the context of Petri net-based software development.
In Duvigneau et al. (eds.), Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, pages 167-178.

Tobias Betz, Lawrence Cabac , and Matthias Wester-Ebbinghaus.
Gateway architecture for Web-based agent services.
In Franziska Klügl and Sascha Ossowski, editors, Multiagent System Technologies, volume 6973 of Lecture Notes in Computer Science, pages 165-172. Springer Berlin / Heidelberg, 2011.  [link]

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Matthias Wester-Ebbinghaus.
Towards unit testing for Java reference nets.
In Bergenthum and Desel (eds.), Algorithmen und Werkzeuge für Petrinetze. 18. Workshop AWPN 2011, Hagen, September 2011. Tagungsband, pages 1-6.

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.

Michael Duvigneau.
Konzeptionelle Modellierung von Plugin-Systemen mit Petrinetzen, volume 4 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2010.

2009

Lawrence Cabac and Kolja Markwardt.
Modeling the system organization of multi-agent systems in early design stages with coarse design diagrams.
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 34-43.

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.
Preeproceedings available online at http://www.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.

Julia Fix and Daniel Moldt.
A reference architecture for modelling of emotional agent systems.
In Lars Braubach, Wiebke van der Hoek, Paolo Petta, and Alexander Pokahr, editors, Multiagent System Technologies. 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, volume 5774 of Lecture Notes in Artificial Intelligence, pages 189-194, Berlin, Heidelberg, New York, September 2009. Springer-Verlag.

Marcin Hewelt and Matthias Wester-Ebbinghaus.
United - a Petri net based framework for modeling complex and adaptive systems.
In Moldt (eds.), Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 207-226.

2008

Lawrence Cabac , Till Dörges , Michael Duvigneau, Daniel Moldt, Christine Reese, and Matthias Wester-Ebbinghaus.
Agent models for concurrent software systems.
In Ralph Bergmann and Gabriela Lindemann, editors, Proceedings of the Sixth German Conference on Multiagent System Technologies, MATES'08, volume 5244 of Lecture Notes in Artificial Intelligence, pages 37-48, Berlin, Heidelberg, New York, 2008. Springer-Verlag.  [pdf]

Lawrence Cabac , Ragna Dirkner, and Daniel Moldt.
Modeling with service dependency diagrams.
In Moldt et al. (eds.), Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pages 109-118.

Benjamin Schleinzer , Lawrence Cabac , Daniel Moldt, and Michael Duvigneau.
From agents and plugins to plugin-agents, concepts for flexible architectures.
In New Technologies, Mobility and Security, 2008. International Conference, NTMS '08, Tangier, Morocco. Electronical proceedings, pages 1-5. IEEE Xplore, 5.-7.November 2008.

2007

Lawrence Cabac , Till Dörges , Michael Duvigneau, Christine Reese, and Matthias Wester-Ebbinghaus.
Application development with Mulan.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 145-159.

Lawrence Cabac and Nicolas Knaak.
Process mining in Petri net-based agent-oriented software development.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 7-21.

Lawrence Cabac , Michael Duvigneau, Christine Reese, Till Dörges , and Matthias Wester-Ebbinghaus.
Models and tools for Mulan applications.
In H.-D. Burkhard, G. Lindemann, R. Verbrugge, and L. Varga, editors, Multi-Agent Systems and Applications V. Fifth International Central and East European Conference, CEEMAS'07, Leipzig. Proceedings, volume 4696 of Lecture Notes in Computer Science, pages 328-330, Berlin, Heidelberg, New York, 2007. Springer-Verlag.  [pdf]

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Benjamin Schleinzer .
Plugin-agents as conceptual basis for flexible software structures.
In Multi-Agent Systems and Applications V. Fifth International Central and East European Conference, CEEMAS'07, Leipzig. Proceedings, volume 4696 of Lecture Notes in Computer Science, pages 340-342, Berlin, Heidelberg, New York, 2007. Springer-Verlag.  [pdf]

Maxim Klenski and Anatolij Willner.
Graphische Informationsmodellierung für Mulan-Agenten.
Diplomarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2007.

Benjamin Schleinzer .
Flexible und hierarchische Multiagentensysteme - Modellierung und prototypische Erweiterung von Mulan und Capa.
Diplomarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, December 2007.

Felix Simmendinger, Lawrence Cabac , Michael Duvigneau, and Nicolas Knaak.
Controlling OSGi bundles with Petri nets.
In Moldt et al. (eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 220-225.

Felix Simmendinger.
Referenznetze zur Modellierung von wissenschaftlichen Workflows am Beispiel der Steuerung von Simulationsexperimenten.
Diplomarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August 2007.

2006

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Applying multi-agent concepts to dynamic plug-in architectures.
In Joerg Mueller and Franco Zambonelli, editors, Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, Netherlands, July 21, 2005. Revised Selected Papers, volume 3950 of Lecture Notes in Computer Science, pages 190-204, Berlin, Heidelberg, New York, June 2006. Springer-Verlag.  [pdf]  [link]

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]

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.

2005

Lawrence Cabac , Michael Duvigneau, Michael Köhler, Kolja Lehmann, Daniel Moldt, Sven Offermann, Jan Ortmann, Christine Reese, Heiko Rölke, and Volker Tell.
PAOSE Settler demo.
In First Workshop on High-Level Petri Nets and Distributed Systems (PNDS) 2005, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2005. Universität Hamburg, Fachbereich Informatik.  [link]

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Modeling dynamic architectures using nets-within-nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005. 26th International Conference, ICATPN 2005, Miami, USA, June 2005. Proceedings, volume 3536 of Lecture Notes in Computer Science, pages 148-167, 2005.  [pdf]  [link]

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Multi-agent concepts as basis for dynamic plug-in software architectures.
In Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pages 1157-1158, 2005.

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Agent technologies for plug-in system architecture design.
In Proceedings of the Workshop on Agent-oriented Software Engineering (AOSE), Utrecht, Netherlands, 2005.  [pdf]

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.

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

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.

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.

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
An extensible editor and simulation engine for Petri nets: Renew.
In Jordi Cortadella and Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004, Bologna, Italy, June 2004. Proceedings, volume 3099 of Lecture Notes in Computer Science, pages 484-493, Berlin, Heidelberg, New York, June 2004. Springer.  [pdf]  [link]

Daniel Moldt and Jan Ortmann.
A conceptual and practical framework for web-based processes in multi-agent systems.
In Liz Sonenberg and Charles Sierra, editors, 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pages 1464-1465. Computer Society, 2004.

Gabriela Lindemann, Daniel Moldt, and Mario Paolucci, editors.
Regulated Agent-Based Social Systems. First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers, volume 2934 of Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 2004. Springer-Verlag.

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.

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]

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.

Jörn Schumacher.
Eine Plugin-Architektur für Renew - Konzepte, Methoden, Umsetzung.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, October 2003.

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.

Christoph Maier and Daniel Moldt.
Dynamic structure and behaviour of coloured Petri nets supporting object-oriented modelling.
In van der Aalst et al. (eds.), 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.

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

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

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.

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]

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]

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: 18:39 02/20/2012
Imprint/Disclaimer