Published: 11th February 2015|
|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|
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