Published: 22nd December 2015
DOI: 10.4204/EPTCS.201
ISSN: 2075-2180

EPTCS 201

Proceedings 14th International Workshop on
Foundations of Coordination Languages and Self-Adaptive Systems
Madrid, Spain, 5th September 2015

Edited by: José Proença and Massimo Tivoli

Preface
José Proença and Massimo Tivoli
Towards Dynamic Updates in Service Composition
Mario Bravetti
1
A Context-Oriented Extension of F#
Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari and Letterio Galletta
18
On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems
Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli
33
A Constraint-based Approach for Generating Transformation Patterns
Asma Cherif and Abdessamad Imine
48
Service Choreography, SBVR, and Time
Nurulhuda A. Manaf, Sotiris Moschoyiannis and Paul Krause
63

Preface

Welcome to the proceedings of FOCLASA 2015, the 14th International Workshop on the Foundations of Coordination Languages and Self-Adaptative Systems. FOCLASA 2015 was held in Madrid, Spain, on September 5, 2015 as a satellite event of CONCUR 2015, the 26th 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 7 submissions involving 23 authors from 5 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 2015 decided to select 4 papers for presentation during the workshop and inclusion in these proceedings. These papers tackle different issues that are currently central to our community, namely models and languages for context-oriented adaptation, choreography-based service composition, transformation patterns to support adaptation, models and calculus for coordination in distributed systems, automated synthesis of service choreographies, as well as automated enforcement of choreography realizability. The workshop also featured two invited talks, by: * Mario Bravetti from the University of Bologna (Italy), and * Javier Esparza from the Technische Universität Munchën (Germany). The first invited speaker, Mario Bravetti, also contributed with an associated article included in these proceedings.

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

José Proença & Massimo Tivoli

Steering Committee

Program Committee

External Reviewers