Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems - Inria - Institut national de recherche en sciences et technologies du numérique
N°Spécial De Revue/Special Issue Science of Computer Programming Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
preface_scp_foclasa_17.pdf (51.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01898179 , version 1 (18-10-2018)

Identifiants

Citer

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⟩
82 Consultations
102 Téléchargements

Altmetric

Partager

More