Preface

Welcome to the proceedings of FOCLASA 2014, the 13th International Workshop on the Foundations of Coordination Languages and Self-Adaptative Systems. FOCLASA 2014 was held in Rome, Italy, on September 9, 2014 as a satellite event of CONCUR 2014, the 25th International Conference on Concurrency Theory.

The workshop provides a venue where researchers and practitioners could meet, exchange ideas, identify common problems, and discuss fundamental issues related to coordination languages and self-adaptative systems. Indeed, a number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogeneous components, trying to harness the intrinsic complexity of the resulting systems.

Computation nowadays is becoming inherently concurrent, either because of the abundance of multicore processors in most computers and smartphones, or due to the ubiquitous presence of distributed systems, both with traditional computers and phones (always connected to the Internet) and with pervasive embedded devices (in the growing domain of the Internet of Things). Coordination languages and self adaptation are recognised as fundamental approaches to specify and reason about these systems, going beyond proofs of functional correctness, e.g., by supporting reusability and improving maintainability.

This year, we received 9 submissions involving 19 authors from 10 different countries. Papers underwent a rigorous review process, and all accepted papers received 3 review reports. After the review process, the international Program Committee of FOCLASA 2014 decided to select 5 papers for presentation during the workshop and inclusion in these proceedings. These papers tackle different issues that are currently central to our community, namely component and service composition, models and calculus for coordination in distributed systems, as well as implementation and tool support for analysing existing coordination models. The workshop also featured four invited talks, by:

• Javier Cámara from Carnegie Mellon University (USA),
• Farhad Arbab from CWI (The Netherlands),
• Jean-Marie Jacquet from the University of Namur (Belgium), and
• Antonio Brogi from the University of Pisa (Italy).

We would like to thank all the members of the program committee for their great work during the review process, the external reviewers for providing insightful review reports, the authors for submitting papers to the workshop, and the participants for attending the workshop in Rome and for their productive discussions and useful comments. All these people contributed to the success of the 2014 edition of FOCLASA.

Javier Cámara & José Proença

Steering Committee

• Farhad Arbab, CWI, The Netherlands
• Antonio Brogi, University of Pisa, Italy
• Carlos Canal, University of Málaga, Spain
• Jean-Marie Jacquet, University of Namur, Belgium
• Ernesto Pimentel, University of Málaga, Spain
• Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France

Program Committee

• Antonio Brogi, University of Pisa, Italy
• Carlos Canal, University of Málaga, Spain
• Javier Cámara, Carnegie Mellon University, USA (co-chair)
• Carlos Cuesta, Rey Juan Carlos University, Spain
• Keijo Heljanko, Aalto University, Finland
• Rogério de Lemos, University of Kent, UK
• Natallia Kokash, Leiden University, The Netherlands
• Christian Krause, SAP Innovation Center, Germany
• Antónia Lopes, University of Lisbon, Portugal
• Sun Meng, Peking University, China
• Liliana Pasquale, University of Limerick, Ireland
• Pascal Poizat, Paris Ouest University and LIP6, France
• José Proença, KU Leuven, Belgium (co-chair)
• Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France
• Bradley Schmerl, Carnegie Mellon University, USA
• Marjan Sirjani, Reykjavik University, Iceland
• Carolyn Talcott, SRI International, USA
• Francesco Tiezzi, IMT Lucca Institute for Advanced Studies, Italy
• Mirko Viroli, University of Bologna, Italy

External Reviewers

• Hugues Evrard, INRIA Grenoble - LIG, France
• Ehsan Khamespanah, University of Tehran, Iran
• Marco Patrignani, KU Leuven, Belgium
• Jacopo Soldani, University of Pisa, Italy