Project : Theoretische und softwaretechnische Grundlagen der Agentenorientierung

Dr. Daniel Moldt, research assistant
Dr. Michael Köhler-Bußmeier, PD
Dr. Heiko Rölke, former research assistant
Dr. Michael Duvigneau, former research assistant , teacher
Dr. Jan Ortmann, former research assistant
Dr. Lawrence Cabac, research assistant
Sven Offermann, former research assistant , doctorand
Dr. Christine Reese, former doctorand
Dr. Kolja Markwardt (nee Lehmann)

Duration: since 04/1997

Keywords: Agenten; Multiagentensysteme; Künstliche Intelligenz, verteilte; Objekte, mobile; Logikprogrammierung; Petrinetze, höhere

Objectives: Der Agentenbegriff aus dem Bereich der Künstlichen Intelligenz (KI) und aus dem Bereich der Objektorientierten Programmierung wurden gegenübergestellt und auf Gemeinsamkeiten und mögliche Integrationen hin untersucht. Für einen neuen integrativen Ansatz der Systemspezifikation wurde ein spezielles Vorgehen in verschiedenen Kontexten erprobt. Dabei wurde auf der Basis von Petrinetzen eine agentenorientierte Strukturierung vorgeschlagen, wobei innerhalb von autonomen Objekten mit KI-Techniken gearbeitet werden kann. Da eine adäquate Modellierung, die die angemessene inhaltliche Abstimmung der Modelle mit den realen oder geplanten Systemen direkt unterstützt, notwendig ist, existiert ein starker Bezug zur Technik der Netze in Netzen.

Mobilität, Autonomie und Intelligenz werden so gleichberechtigt in Bezug auf die Modellierungstechnik behandelt. Insbesondere wurde ein Kompositionskalkül für eine strukturell einfache Familie von Petrinetzen entwickelt, die als Protokollnetze bezeichnet werden. Zudem wurden softwaretechnische Aspekte in Hinblick auf die Modellierung von Agentenkonzepten und softwaretechnische Plattformen für Multiagentensyssteme vertieft. Dabei wurden Standards untersucht und implementiert. Neben konzeptionellen Ergebnissen wurde im praktischen Bereich die Anbindung an aktuelle Webtechnologie vorangetrieben. Dabei wurde auch auf die speziellen Aspekte der Semantic Web Rücksicht genommen. Der Petrinetz- und agentenorientierte Softwareentwicklungsansatz (PAOSE) wurde weiterentwickelt und wird in dem neuen Anwendungsbereich des Change Management erprobt.

Publications:

2007

Michael Köhler.
A formal model of multi-agent organisations.
Fundamenta Informaticae, 79(3-4):415 - 430, 2007.

Michael Köhler and Berndt Farwer.
Object nets for mobility.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 244-262. Springer-Verlag, 2007.

Michael Köhler and Heiko Rölke.
Web service orchestration with super-dual object nets.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 263-280. Springer-Verlag, 2007.

Michael Köhler and Matthias Wester-Ebbinghaus.
Closing the gap between organizational models and multi-agent system deployment.
In Multi-Agent Systems and Applications V, volume 4696 of Lecture Notes in Artificial Intelligence, pages 307-309. Springer-Verlag, 2007.

2006

Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
Fundamenta Informaticae, 72(1-3):109-122, 2006.

2005

Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Linking micro and macro description of scalable social systems using reference nets.
In Klaus Fischer, Michael Florian, and Thomas Malsch, editors, Socionics: Sociability of Complex Social Systems, volume 3413 of Lecture Notes in Artificial Intelligence, pages 51-67. Springer-Verlag, 2005.  [link]

Michael Köhler and Heiko Rölke.
Reference and value semantics are equivalent for ordinary object Petri nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, volume 3536 of Lecture Notes in Computer Science, pages 309-328. Springer-Verlag, June 2005.  [link]

2004

Lawrence Cabac and Michael Köhler.
Relating higher order reference nets and well-formed nets.
In Proceedings of the International Workshop on Coloured Petri Nets (CPN 2004). Computer Science Department, Aarhus University, 2004.

Michael Köhler, Heiko Rölke, and Rüdiger Valk.
Structural analysis of mobile agents using invariants of object nets.
In Moldt (eds.), Proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04).
DAIMI PB: Aarhus, Denmark, October 11-13, number 571.

Michael Köhler.
Objektnetze: Definition und Eigenschaften, volume 1 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2004.  [link]

Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Petri nets and social science.
Petri Net Newsletter, 67:5-9, 2004.

Heiko Rölke.
Modellierung von Agenten und Multiagentensystemen - Grundlagen und Anwendungen, volume 2 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2004.  [link]

2003

Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Concurrent architecture for a multi-agent platform.
In Fausto Giunchiglia, James Odell, and Gerhard Weiß, editors, Agent-Oriented Software Engineering III. Third International Workshop, Agent-oriented Software Engineering (AOSE) 2002, Bologna, Italy, July 2002. Revised Papers and Invited Contributions, volume 2585 of Lecture Notes in Computer Science, pages 59-72, Berlin, Heidelberg, New York, 2003. Springer-Verlag.  [pdf]  [link]

Michael Köhler, Daniel Moldt, and Heiko Rölke.
A discussion of social norms with respect to the micro-macro link.
In Lindemann et al. (eds.), Proceedings of the Second International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'03).
In Verbindung mit: The Ninth International Conference on Artificial Intelligence and Law (ICAIL 2003), 24-28 June, 2003 Edinburgh, Scotland, UK.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Modelling mobility and mobile agents using nets within nets.
In Wil van der Aalst and Eike Best, editors, Proceedings of the 24th International Conference on Application and Theory of Petri Nets 2003 (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science, pages 121-139. Springer-Verlag, 2003.  [link]

Michael Köhler and Heiko Rölke.
Modelling sandboxes for mobile agents using nets within nets.
In N. Busi and F. Martinelli, editors, Workshop on Issues in Security and Petri Nets (WISP'03) at the International Conference on Application and Theory of Petri Nets 2003. University of Eindhoven, 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

Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Concurrent architecture for a multi-agent platform.
In Fausto Giunchiglia, James Odell, and Gerhard Weiß, editors, Agent-Oriented Software Engineering. 3rd International Workshop, AOSE 2002, Bologna. Proceedings, pages 147-159. ACM Press, July 2002.

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Liveness preserving composition of behaviour protocols for Petri net agents.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-M-316/02, Universität Hamburg, Fachbereich Informatik, June 2002.

Michael Köhler and Heiko Rölke.
Modelling the micro-macro-link: Towards a sociologically grounded design of multi-agent systems.
In C. Jonker, G. Lindemann, and P. Panzarasa, editors, Proceedings of the Workshop Modelling Artificial Societies and Hybrid Organization (MASHO'02), at the 25th German Conference on Artificial Intelligence (KI'2002), 2002.

Michael Köhler and Heiko Rölke.
Modelling mobility and mobile agents using nets within nets.
In Moldt (eds.), Proceedings of the Second Workshop on Modelling of Objects, Components, and Agents (MOCA'02), pages 141-157.
DAIMI PB: Aarhus, Denmark, August 26-27, number 561.

Michael Köhler and Heiko Rölke.
Mobile object net systems: Concurrency and mobility.
In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), 2002.

2001

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Modelling the structure and behaviour of Petri net agents.
In J.M. Colom and M. Koutny, editors, Proceedings of the 22nd Conference on Application and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 224-241. Springer-Verlag, 2001.  [pdf]  [link]

Michael Köhler, Daniel Moldt, and Heiko Rölke.
Einheitliche Modellierung von Agenten und Agentensystemen mit Referenznetzen.
In S. Jablonski, S. Kirn, M. Plaha, E. Sinz, A. Ulbrich-vom Ende, and G. Weiß, editors, Tagungsunterlagen: Verteilte Informationssysteme auf der Grundlage von Objekten, Komponenten und Agenten (vertIS 2001), Universität Bamberg, 4-5. Oktober 2001, pages 3-20, October 2001.

Michael Köhler and Heiko Rölke.
Towards a unified approach for modeling and verification of multi agent systems.
In Moldt (eds.), Proceedings of the Workshop on Modelling of Objects, Components, and Agents (MOCA'01), pages 85-104.
Published as DAIMI PB: Workshop Proceedings Modelling of Objects, Components, and Agents; Aarhus, Denmark, August 27-28, number 553.

2000

Michael Köhler.
Distribution references and undecided markings.
Technical Report 292/00, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2000.

Michael Köhler.
Branching process of Petri nets - an unifying approach.
Technical Report 293/00, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2000.