Papers accepted for MOCA'02

Note: To use the PDF files you have to install the free Acrobat Reader software. We also propose that you read our Acrobat Reader hints page.

Invited Talk:
Software-Architectures for Agents and Mobile Robots
Hans-Dieter Burkhard
PDF file

Formal Model of Joint Achievement Intention
Mao Xinjun, Wu Gang, Wang Huaimin, and Zhao Jianming
PDF file

Generic Multi-Agent Architectures for Multimedia Multimodal Dialogs
H. Djenidi, A. Ramdane-Cherif, C. Tadj and N. Levy
PDF file

Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach
F. Franceschinis, M. Gribaudo, M.Iacono, N. Mazzocca, and V. Vittorini
PDF file

Towards Automated Checking of Component-Oriented Enterprise Applications
Jukka Järvenpäa and Marko Mäkelä
PDF file

Invited Talk:
Modeling with Coloured Petri Nets
Søren Christensen
PDF file

Executable Use Cases for Pervasive Healthcare
Jens Bæk Jørgensen and Claus Bossen
PDF file

Inheritance of Dynamic Behaviour in UML
W.M.P van der Aalst
PDF file

A Coloured Petri Net for a Multi Agent Application
Danny Weyns and Tom Holvoet
PDF file

Modelling Mobility and Mobile Agents using Nets within Nets
Michael Köhler and Heiko Rölke
PDF file