A Satellite Workshop of CONCUR 2005
Abstract
========
A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogenous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peer-to-peer systems, grid computing, web-services, multi-agent systems, and component-based systems. Coordination languages and software architectures are recognised as fundamental approaches to tackle these issues, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis. The goal of this workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the contexts of coordination languages and software architectures.
Topics of interest
==================
Topics of interest include (but are not limited to):
* Theoretical models (coordination, component
composition, concurrency, semantics, expressiveness);
* Specification, refinement, and analysis of software
systems (architectures, patterns and styles,
verification of functional and non-functional
properties);
* Languages for interaction, coordination, architectures,
and interface definition (implementation,
interoperability, heterogeneity);
* Dynamic software architectures (mobile agents,
self-organizing/adaptive/reconfigurable systems);
* Tools and environments for the development of
applications.
In particular, practice, experience and methodologies from the following areas are solicited as well:
- Web-services
- Multi-agent systems
- Peer-to-peer systems
- Grid computing
- Component-based systems