Published: 15th August 2012 DOI: 10.4204/EPTCS.91 ISSN: 2075-2180 |
Foreword | |
A Type-Safe Model of Adaptive Object Groups Joakim Bjørk, Dave Clarke, Einar Broch Johnsen and Olaf Owe | 1 |
Parameterized Concurrent Multi-Party Session Types Minas Charalambides, Peter Dinges and Gul Agha | 16 |
A Provenance Tracking Model for Data Updates Gabriel Ciobanu and Ross Horne | 31 |
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System M. Usman Iftikhar and Danny Weyns | 45 |
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks Jean-Marie Jacquet, Isabelle Linden and Mihail-Octavian Staicu | 63 |
A Procedure for Splitting Processes and its Application to Coordination Sung-Shik T.Q. Jongmans, Dave Clarke and José Proença | 79 |
Communicating Processes with Data for Supervisory Coordination Jasen Markovski | 97 |
A multi-level model for self-adaptive systems Emanuela Merelli, Nicola Paoletti and Luca Tesei | 112 |
Welcome to the proceedings of FOCLASA 2012, the 11th International Workshop on the Foundations of Coordination Languages and Self Adaptation. FOCLASA 2012 was held in Newcastle upon Tyne, UK, on September 8, 2012 as a satellite event of CONCUR 2012, the 23rd International Conference on Concurrency Theory.
The workshop provides a venue where researchers and practitioners could meet, exchange ideas, identify common problems, determine some of the key and fundamental issues related to coordination languages and self adaptation, and explore together and disseminate solutions. 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 characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the Internet). Computational systems are therefore typically distributed, concurrent, mobile, and often involve composition of heterogeneous components. To specify and reason about such systems and go beyond the functional correctness proofs, e.g., by supporting reusability and improving maintainability, approaches such as coordination languages and self adaptation are recognised as fundamental.
This year, we received 13 submissions involving 35 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 2012 decided to select 8 papers for presentation during the workshop and inclusion in these proceedings. These papers tackle different issues that are currently central to our community, self-adaptation and coordination, processes and coordination, and type systems. The workshop features an invited talk by Sebastian Uchitel from Imperial College London (UK).
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 Newcastle. All these people contribute to the success of the 2012 edition of FOCLASA.
Natallia Kokash
António Ravara