Final Programme and Call for Participation
MOCA'01
Workshop on Modelling of Objects, Components, and Agents
Aarhus, Denmark, August, 27-28, 2001
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
Further information:
URL:
http://www.daimi.au.dk/CPnets/workshop01/
E-mail:
moca01@informatik.uni-hamburg.de
Objects, components, and agents are fundamental
concepts to organise models and are often applied in the modelling process.
Even though they are used in software engineering intensively,
the relations and potential of mutually enhancements between Petri nets and
the three paradigms have not been finally covered.
The intention of this workshop is to bring together research and
application directions to have a lively mutual exchange
of ideas, knowledge, view points, and experiences.
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.
Other versions of this page:
PDF,
Postscript
Complete Proceedings in PDF (~6MB)>
Single papers can be downloaded directly from the programme below.
Programme
Monday, August 27
- 9.00-9.15: Welcome
- Opening Session
Daniel
Moldt
- 9.15-10.00
-
An Experiment with Coordinated Algebraic Petri Nets
as Formalism for Modeling Mobile Agents
Jarle Hulaas and Didier Buchs
- 10.00-10.30: Coffee and Tea
-
- 10.30-12.00
-
Modeling State-Dependent Objects using Coloured Petri Nets
Robert G. Pettit and Hassan Gomaa
-
A Calculus of Petri Net Components
N. Sidorova and M. Voorhoeve and J.C.S.P. van der Woude
- 12.00-13.30: Lunch
-
- 13.30-14.30: Invited Talk
-
DAWN for Modelling and Verifying Multi-Agent-Systems?
Ekkart Kindler
- 14.30-15.00: Coffee and Tea
-
- 15.00-17.00: Work in Progress
-
Participants who want to contribute to this session should send
a short description of their talk to
moca01@informatik.uni-hamburg.de
as soon as possible.
The intention is to have short oral presentations of ongoing work.
- Components for Construction of Interactive Systems
Eliezer Kantorowitz and Sally Tadmor
- 18.30-22.00: Workshop dinner
Tuesday, August 28
- 9.00-10.00: Invited Talk
-
Applications of Petri Nets in Modeling Distributed Software Systems
Guido Wirtz
- 10.00-10.30: Coffee and Tea
-
- 10.30-12.00
-
An Application of an Expressive Coloured Petri Nets Modeling
Methodology to a Business to Business Environment
Juan Frausto and Francisco Camargo and Fernando Ramos
-
Steps Towards Formal Verification of Agent-based E-Business
Applications
Nick Szirbik and Gerd Wagner
- 12.00-13.15: Lunch
-
- 13.15-14.45
-
Agent-Oriented Modeling of Distributed Systems with the Object
Coordination net Approach
Holger Giese
-
Towards a Unified Approach for Modeling and Verification of
Multi Agent Systems
Michael Köhler and Heiko Rölke
- 14.45-15.15: Coffee and Tea
-
- 15.15-16.00
-
Towards an Adequate Framework for Specifying and
Validating Runtime Evolving Complex Discrete-event Systems
Nasreddine Aoumeur and Gunter Saake
- 16.00-17.00: Discussion
- Petri Nets and Objects, Components, and Agents: How to integrate?
-
- 17.00-17.30: Closing Session
-
CPN'01: Joint Workshop
CPN'01,Third Workshop and Tutorial on Practical Use of
Coloured Petri Nets and the CPN Tools, is also
held at University of Aarhus, August 29-31, just after MOCA'01.
For more information please refer to:
CPN'01.
Programme Committee
Daniel Moldt
Last modified: Tue Aug 21 14:40:53 CEST 2001