| |
Modern information systems rely increasingly on combining concurrent,
distributed, mobile, reconfigurable and heterogenous components. New
models, architectures, languages, verification techniques are
necessary to cope with the complexity induced by the demands of
today's software development. Coordination languages have emerged as a
successful approach, in that they provide abstractions that cleanly
separate behavior from communication, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software development.
Building on the success of the
previous editions,
this conference
provides a well-established forum for the growing community of
researchers interested in models, languages, architectures, and
implementation techniques for coordination.
Topics of interest include but are not limited to:
- Theoretical models and foundations for coordination: component
composition, concurrency, mobility, dynamic aspects of coordination.
- Specification, refinement, and analysis of software architectures:
patterns and styles, verification of functional and non-functional
properties.
- Coordination, architectural, and interface definition languages:
implementation, interoperability, heterogeneity.
- Agent-oriented languages: formal models for interacting agents.
- Dynamic software architectures: mobile code and agents, configuration,
reconfiguration.
- Coordination and modern distributed computing: Web services,
peer-to-peer networks, grid computing, context-awareness, ubiquitous
computing.
- Tools and environments for the development of coordinated
applications: integration within the development process.
- Industrial relevance of coordination and software architectures:
programming in the large, domain-specific software architectures and
coordination models, case studies.
|
The conference proceedings will be published by Springer, in the
Lecture Notes in Computer Science (LNCS) series.
Proceedings of the
previous editions of this conference are also available in the LNCS
series: volumes 1061, 1282, 1594, 1906, 2315, and 2949.
|
- Submission of abstract: December 15, 2004
- Submission of papers: December 21, 2004
- Notification of acceptance: February 1, 2005
- Final version: February 15, 2005
- Conference: April 20-23, 2005
Authors are invited to submit full papers electronically in PostScript
or PDF using a two-phase online submission process. Registration of
the paper information and abstract (max. 250 words) must be completed
before December 15, 2004. Submission of the full paper is due no later
than December 21, 2004. Submission will be handled through the
conference
management system.
 |
Submissions must be formatted according to the
LNCS guidelines and must not exceed 15
pages in length. Papers that are not in the requested format or
significantly exceed the mandated length may be rejected without going
through the review phase.
|
Submissions should explicitly state their contribution and their
relevance to the theme of the conference. Other criteria for selection
will be originality, significance, correctness, and clarity.
Simultaneous or similar submissions to other conferences or journals
are not allowed.
|