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. The characteristics of these systems are that they contain interacting as well as reactive software and hardware components. Within this context 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 facets: 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 based on 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 in an object-oriented way 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'04 will take place at the University of Aarhus, Denmark on October 11-13 in conjunction with CPN'04 . 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)

Agent Unified Modeling Language (AUML)

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

extensions of the Petri net formalism

• Modelling

methodologies, paradigms and principles

applications in the area of the Internet, intranets, business objects, e-commerce, workflows, web services, flexible manufactoring, bio informatics etc.

• Tools in the fields mentioned above
 

Programme committee