CM 2013 - Coordination Models, Languages and Applications

Building on the success of the fourteenth previous editions (1998-2012), a special track on coordination models, languages and applications will be held at SAC 2013. Over the last decade, we have witnessed the emergence of models, formalisms and mechanisms to describe concurrent and distributed computations and systems based on the concept of coordination. The purpose of a coordination model is to enable the integration of a number of possibly heterogeneous components (processes, objects, agents, services) in such a way that the resulting ensemble can execute as a whole, forming a distributed software system with desired characteristics and functionalities. This is done in terms of coordination abstractions, languages, algorithms, mechanisms, and middleware specifically focused on the management of component interaction.
The coordination paradigm crosscuts a number of contemporary software engineering approaches and fields, which we aim to cross-fertilize and bring contribution to, including in particular: multi-agent systems, self-adaptative and self-organising systems, service-oriented architectures, component-based systems, and all related middleware platforms.
The Special Track on Coordination Models, Languages and Applications takes a deliberately broad view of what constitutes coordination. Accordingly, major topics of interest this year will include:
Novel models, languages, programming and implementation techniques
Applications
Internet, Web, and pervasive computing systems coordination
Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations
Languages for service description and composition
Models, frameworks and tools for Group Decision Making
All aspects related to Cooperative Information Systems (e.g. workflow management, CSCW)
Software architectures and software engineering techniques
Configuration and Architecture Description Languages
Middleware platforms
Self-organising, self-adaptive and nature-inspired coordination approaches
Coordination technologies, systems and infrastructures
Relationship with other computational models such as object oriented, declarative (functional, logic, constraint) programming or their extensions with coordination capabilities
Formal aspects (semantics, reasoning, verification)
Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration, choreography, etc), and Pervasive Computing
We also welcome papers on practical systems or novel applications that are aimed at reaching coordination between components and services, especially if those systems and novel applications challenge existing ideas and models.