CM 2016

Building on the success of the sixteenth previous editions (1998-2015), a special track on coordination models, languages and applications will be held at SAC 2016. 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, business process management, 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, formalisms, programming and implementation techniques
• Coordination technologies, systems and infrastructures
• Applications
• Middleware platforms
• Formal aspects (semantics, reasoning, verification)
• Software architectures and software engineering techniques
• Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations
• Internet, Web, Internet of Things, and pervasive computing systems coordination
• 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)
• Configuration and Architecture Description Languages
• Self-organising, self-adaptive and nature-inspired coordination approaches 
• Relationship with other computational models such as object-oriented, declarative (functional, logic, constraint) programming or their extensions with coordination capabilities
• Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration, choreography, etc.), Pervasive Computing, Cloud Computing and Autonomic Computing
• Business Process modelling and verification
• Policy-based approaches to coordination and self-adaptation