Published: 11th February 2015
DOI: 10.4204/EPTCS.175
ISSN: 2075-2180

EPTCS 175

Proceedings 13th International Workshop on
Foundations of Coordination Languages and Self-Adaptive Systems
Rome, Italy, 6th September 2014

Edited by: Javier Cámara and José Proença

Preface
Javier Cámara and José Proença
Handshaking Protocol for Distributed Implementation of Reo
Natallia Kokash
1
Distributed Enforcement of Service Choreographies
Marco Autili and Massimo Tivoli
18
On Distributed Density in Tuple-based Coordination Languages
Denis Darquennes, Jean-Marie Jacquet and Isabelle Linden
36
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
Ian Cassar and Adrian Francalanza
54
Verifying the correct composition of distributed components: Formalisation and Tool
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu and Eric Madelaine
69

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:

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

Program Committee

External Reviewers