Fifth International Workshop on
Modelling of Objects, Components, and Agents

co-located with

MATES 2009
The Seventh German conference on Multi-Agent System Technologies


CLIMA-X 2009
10th International Workshop on Computational Logic in Multi-Agent Systems

Hamburg, Germany, 11th September 2009

organised by the
"Theoretical Foundations of Informatics" Group
at the University of Hamburg

Contact e-mail: moca09_at_informatik_dot_uni-hamburg_dot_de

Important Dates:
Notification of acceptance: August 17, 2009
Early registration deadline: August 21, 2009
Deadline for final papers: August 28, 2009
Workshop: September 11, 2009

Scope    Topics    Programme    Proceedings    Programme Committee    Registration & Accommodation    Submissions    Submission Guidelines    Important dates   


Modelling is THE central task in informatics. Models are used to capture, analyse, understand, discuss, evaluate, specify, design, simulate, validate, test, verify and implement systems. Modelling needs an adequate repertoire of concepts, formalisms, languages, techniques and tools. This enables addressing distributed, concurrent and complex systems.

Objects, components, and agents are fundamental units to organise models. They are also fundamental concepts of the modelling process. Even though software engineers intensively use models based on these fundamental units, and models are the subjects of theoretical research, the relations and potential mutual enhancements between theoretical and practical models have not been sufficiently investigated. There is still the need for better modelling languages, standards and tools. Important research areas are for example UML, BPEL, Petri nets, process algebras, or different kinds of logics. Application areas like business processes, (Web) services, production processes, organisation of systems, communication, cooperation, cooperation, ubiquity, mobility etc. will support the domain dependent modelling perspectives.

Therefore, the workshop addresses all relations between theoretical foundations of models on the one hand and objects, components, and agents on the other hand with respect to modelling in general. The intention is to gather research and application directions to have a lively mutual exchange of ideas, knowledge, viewpoints, and experiences.

The multiple perspectives on modelling and models in informatics are most welcome, since the presentation of them will lead to intensive discussions. Also the way objects, components, and agents are use to build architectures / general system structures and executing units / general system behaviours will provide new ideas for other areas. Therefore, we invite a wide variety of contributions, which will be reviewed by the PC-members who reflect important areas and perspectives for the Modelling of Objects, Components, and Agents (MOCA).


We look for contributions describing original research in topics related to formal methods in combination with object-orientation, components, or agents addressing open problems or presenting new ideas. Topics of interest include but are not limited to:


Friday, September 11th, 2009

Invited Talk (9:00-10:00)
  • Berndt Farwer: Modelling and Verification of Resource-Bounded Multi-Agent Systems

Session 1 (10:30-12:00)
  • Lawrence Cabac, Daniel Moldt, Matthias Wester-Ebbinghaus and Eva Müller: Visual Representation of Mobile Agents
  • Franck Pommereau: Nets in nets with SNAKES.
  • Zheng Liu and Kees van Hee: From Service-Oriented Architecture via Coloured Petri Nets to Java Code

Session 2 (13:30-15:00)
  • Marco Mascheroni: Generalized Hypernets and their Semantics
  • Michael Köhler-Bußmeier and Matthias Wester-Ebbinghaus: A Petri Net based Prototype for MAS Organisation Middleware
  • Reinhold Kloos, Rainer Unland and Cherif Branki: -ACTAS- Adaptive Composition and Trading Based on Agents

Session 3 (15:30-17:00)
  • Benedikt Löwe, Eric Pacuit and Sanchit Saraf: Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI:Crime Scene InvestigationTM
  • Thomas Wagner: A Centralized Petri Net- and Agent-based Workflow Management System
  • Rustam Tagiew and Heinrich Jasper: Time in Games.

Closing Session (17:00-17:15)


The proceedings of the workshop are available electronically and printed as university report FBI-HH-290/09 from the Department of Informatics, MIN Faculty, Universität Hamburg.

The open access URL is:
or, as URN:

Programme committee

Registration & Accommodation

Please register for the MOCA workshop at the registration site of MATES at
Information about how to get to Hamburg and to the conference site and about hotels can be found at the MATES Web pages.


The program committee invites submissions of full contributions (10 - 20 pages) or short contributions (up to 6 pages). For your submission in PDF format please use the online conference management system at

Just create a new account and then upload your paper. (Later you will be able to see your reviews there.)

In case of any problems please contact us by email at moca09_at_informatik_dot_uni-hamburg_dot_de.

Submission Guidelines

Please use the LaTeX document class llncs.cls for the final revision of your accepted contributions. (The page limit has been extended to 22 pages for the final revision.) Please also use BibTeX for your references (in particular for the final papers). An up-to-date version of llncs.cls together with extensive documentation can be obtained from

In case of any problems please contact us by email at moca09_at_informatik_dot_uni-hamburg_dot_de.

Important dates

See above

Accepted papers will be included in the workshop proceedings which will appear as a technical report of the Department of Informatics, University of Hamburg, and which will be available at the workshop.

The submissions will be evaluated by the international programme committee.
It is planned to publish post proceedings after a further review process in a book, dedicated to the workshop topics.

For further information on MOCA'09 contact the programme commitee by email at moca09_at_informatik_dot_uni-hamburg_dot_de

Daniel Moldt