Call for Papers and Participation

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

The use of adequate concepts at different stages of the development process is of crucial importance for the successful realisation of complex systems of interacting and reactive software and hardware components. Within this the model-based specification of applications is of special interest. Models can be built in different manners and can be regarded with respect to different aspects: techniques, methods, tools, basic principles, paradigms, resources, application areas etc.
Central and widely used structuring notions are objects, components, and agents. In Petri-net-based approaches the modelling process and its products are often directly related to these three notions. While Petri nets are already used in several areas their relation to practically used paradigms are not completely clear.
Petri nets are becoming increasingly popular in the area of software engineering, as they provide a uniform language supporting modelling, validation and verification. Their popularity is due to the fact that they capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.
Object-orientation is one of the central concepts of current distributed system development. It is now the underlying paradigm for most approaches. The fact that nowadays developers think object-oriented simplifies the step towards component and agent concepts, since both are based on the object-concept.
Component-based development is strongly related to the industrialisation of software production. The attempt is to increase productivity of software engineers by reusing components or by configuring pre-build generic components. Compositionality is a key concept for the construction of future software systems.
Agents can be seen as the new paradigm for software engineering, at least with respect to upcoming challenges in software engineering like the development of autonomous, mobile, and intelligent software. Agent technology is currently one of the most vibrant and active areas of research and development in computer science. Multi-agent systems and mobile agent technologies are making significant impacts upon almost all aspects of computer science.

The workshop MOCA'01 will take place at the University of Aarhus, Denmark on August 27-28 in conjunction with CPN'01 . The workshop is organised by the "Coloured Petri Net" group of the University of Aarhus and the "Theoretical Foundations of Computer Science" group of the University of Hamburg.

• Objects

Object-Oriented Petri Nets

relation to object-oriented design (OOD)

relation to object-oriented programming (OOP)

middleware

design patterns

Unified Modeling Language (UML)

• Components

componentware

compositionality

verification and validation

• Agents

Agent-Oriented Petri Nets

modelling intelligence, mobility, autonomy, emotions etc.

use as information-, middle-, assistant-, interface-, reflective- etc. agent

multi-agent systems

agent-oriented software engineering (AOSE)

specific issues like negotiation, co-operation platforms, architectures, frameworks, languages etc.

• Petri nets

in any conceptual or practical way related to objects, components, and agents

comparison to other modelling techniques

embedding in traditional software engineering approaches

• Modelling

methodologies, paradigms, and principles

applications in the area of the Internet, intranets, business objects, e-commerce, etc.

• Tools in the fields mentioned above
 

Accepted papers will be included in the workshop proceedings which will appear as a technical report of the Department of Computer Science, University of Aarhus.
The papers will also be available in electronic form via the CPN Web pages at the University of Aarhus. Finally, we plan to publish some of the papers in a journal (after an additional review process).

The submissions will be evaluated by the international programme committee
 

Workshop Site

Registration and Accommodation