Final Programme and Call for Participation

Second Workshop on Modelling of Objects, Components, and Agents

Aarhus, Denmark, August 26-27, 2002

organised by the "Coloured Petri Net" Group at the University of Aarhus and
the "Theoretical Foundations of Computer Science" Group at the University of Hamburg

Deadline for registration: August 1, 2002

Further information:
URL: http://www.daimi.au.dk/CPnets/workshop02/
E-mail: moca02@informatik.uni-hamburg.de

Petri nets are more and more enhanced by concepts from objects, components, and agents. At the same time Petri nets are used in a context where the above mentioned paradigms are dominating. The intention is to bring together directions of Petri nets and those of the three paradigms above coming from the fields of research and application.

The workshop takes place at the University of Aarhus, Denmark, and it is open for engineers, researchers and students at all levels. Aarhus is situated at the east coast of Jutland (the main land of Denmark). It is easily accessible by plane, train and car.

Programme

Monday, August 26

8.50-9.00: Welcome

Opening Session
Daniel Moldt (University of Hamburg)

9.00-10.00 Invited Talk

Software-Architectures for Agents and Mobile Robots (Abstract)
Hans-Dieter Burkhard (Humboldt University of Berlin)

10.00-10.30: Coffee and Tea

10.30-12.00

Formal Model of Joint Achievement Intention (Abstract)
Mao Xin-jun, Wu Gang, Wang Huai-min, and Zhao Jian-ming (Zhejiang University)

Generic Multi-Agent Architectures for Multimedia Multimodal Dialogs (Abstract)
Hicham Djenidi and Chakib Tadj (École de Technologie Supérieure, Montreal)

12.00-13.30: Lunch

13.30-15.00

Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach (Abstract)
F. Franceschinis, M. Gribaudo, M.Iacono, N. Mazzocca, and Valeria Vittorini (Universities of Turino and Napoli)

Towards Automated Checking of Component-Oriented Enterprise Applications (Abstract)
Jukka Järvenpäa and Marko Mäkelä (Helsinki University of Technology)

15.00-15.30: Coffee and Tea

15.30-17.00: Work in Progress

SoftWare Verifier (SWV)
Jukka Järvenpäa and Marko Mäkelä

Geometric Components for Mulan-Protocols (pdf)
Larwence Cabac

Concurrency in a FIPA-complaint Plattform
Michael Duvigneau

A Plug-in Mechanism for Renew
Jörn Schumacher

19.00-24.00: Workshop Dinner

For information about the location of the Workshop Dinner see http://www.daimi.au.dk/CPnets/workshop02/socevents.html

Tuesday, August 27

9.00-10.00: Invited Talk

Modelling with Coloured Petri Nets (Abstract)
Søren Christensen (University of Aarhus)

10.00-10.30: Coffee and Tea

10.30-12.00

Executable Use Cases for Pervasive Healthcare (Abstract)
Jens Bæk Jørgensen and Claus Bossen (University of Aarhus)

Inheritance of Dynamic Behaviour in UML (Abstract)
W.M.P van der Aalst (University of Eindhoven)

12.00-13.30: Lunch

13.30-15.00

A Coloured Petri Net for a Multi Agent Application (Abstract)
Danny Weyns and Tom Holvoet (Katholieke Universiteit Leuven)

Modelling Mobility and Mobile Agents using Nets within Nets (Abstract)
Heiko Rölke and Michael Köhler (University of Hamburg)

15.00-15.30: Coffee and Tea

15.30-17.00: Discussion

Topic to be announced
Daniel Moldt (University of Hamburg)

Programme Committee

Workshop Site

Registration and Accommodation

CPN'02: Joint Workshop