Skip to Main content Skip to Navigation
Directions of work or proceedings

Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems

Abstract : Modern software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and of stand-alone services. Theoretical models, languages and tools for coordinating, composing and adapting services are hence required. They can indeed simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve reusability and maintainability of such systems. This Special Issue (SI) is dedicated to Foundations of Coordination Languages and Self-adaptive Systems. This SI is a follow-up of the FOCLASA workshop that we organized at the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), held in Trento, Italy on September 4-8, 2017. The workshop received 16 full paper submissions. After a careful reviewing process, the international Program Committee decided to select seven papers for presentation during the workshop and inclusion in the FOCLASA'17 proceedings. From these papers, the six best papers were selected and invited for an extended version to this special issue. All the submissions went through a rigorous peer review process; four papers were finally accepted and are included in this special issue. These papers provide key insights on different aspects of coordination languages and self-adaptive systems.
Document type :
Directions of work or proceedings
Complete list of metadata
Contributor : Radu Mateescu Connect in order to contact the contributor
Submitted on : Thursday, October 18, 2018 - 10:28:26 AM
Last modification on : Thursday, October 21, 2021 - 3:46:26 AM
Long-term archiving on: : Saturday, January 19, 2019 - 12:57:06 PM


Files produced by the author(s)




Carlos Canal, Gwen Salaün. Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. Science of Computer Programming, 168, pp.169 - 170, 2018, ⟨10.1016/j.scico.2018.09.003⟩. ⟨hal-01898179⟩



Record views


Files downloads