COORDINATION 2000

The need for increased programmer productivity and rapid development of complex systems provide the pragmatic motivation for the development of coordination languages and models. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to leverage off increasingly higher levels of abstractions. Coordination-based methods provide a clean separation between individual software components and their interaction within the overall software organization. This separation makes large applications more tractable, supports global analysis, and enhances reuse of software.

Building on the success of the last three editions, this conference provides a forum for the growing community of researchers interested in models, languages, and implementation techniques for coordination.

• 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 agents, configuration, reconfiguration.
• 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.