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

Carlos Canal (1) , Gwen Salaün (2)

1 LCC - Departamento Lenguajes y Ciencias de la Computación [Malaga]
2 CONVECS - Construction of verified concurrent systems

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.

Domaines: Génie logiciel [cs.SE]

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⟩