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 metadatas

https://hal.inria.fr/hal-01898179
Contributor : Radu Mateescu <>
Submitted on : Thursday, October 18, 2018 - 10:28:26 AM
Last modification on : Saturday, December 15, 2018 - 1:50:11 AM
Long-term archiving on : Saturday, January 19, 2019 - 12:57:06 PM

File

preface_scp_foclasa_17.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

79

Files downloads

97