Past Conferences

Steering Committee


COORDINATION'04

Welcome to the COORDINATION Web Page

 

 

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.

The COORDINATION conferences series provides a forum for the growing community of researchers interested in theoretical models, languages, and implementation techniques for coordination. Topics of interest include (but are not limited to):

  • Theoretical models and foundations for coordination: component composition, concurrency, 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.

  • Thank you for your interest in COORDINATION.