COORDINATION 1999

The last decade has seen the emergence of a class of models and languages variously termed "coordination languages", "configuration languages", "architectural description languages", and "agent-oriented programming languages".  These formalisms 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 COORDINATION '96 and '97, whose proceedings were published as Springer Verlag LNCS 1061 and LNCS 1282, this conference provides a forum for the growing community of researchers interested in models, languages, and implementation techniques for coordination.COORDINATION is devoted to an emerging class of languages and models, which have been variously termed "coordination languages", "configuration languages", and "architectural description languages". Such formalisms provide a clean separation between individual software components and their interaction in the overall software organization. This separation makes large applications more tractable, supports global analysis, and enhances reuse of software. The scope of the conference ranges from theoretical aspects of coordination to languages for coordination and their applications.

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 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.