Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Autor: Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard

Publikováno v: ACM Computing Surveys
ACM Computing Surveys, In press, ⟨10.1145/3595376⟩
ACM Computing Surveys, 2023, ⟨10.1145/3595376⟩

International audience; Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations in order to adapt to changes in their operating environment or their functional requi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::117f3778bdb8247a5c2501701e91b0e0
https://inria.hal.science/hal-04067909

Toward Safe and Efficient Reconfiguration with Concerto

Autor: Hélène Coullon, Maverick Chardet, Simon Robillard

Publikováno v: Science of Computer Programming
Science of Computer Programming, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩
Science of Computer Programming, Elsevier, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩

International audience; For large-scale distributed systems that need to adapt to a changing environment, conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations require the coordination of multiple tasks with co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09b88df3c62909062f4ece7df31531f0
https://inria.hal.science/hal-03103714/file/concerto-scp.pdf

Logiciel et industrie du futur

Autor: Hélène Coullon, Odile Bellenguez, Hugo Brunelière

En l'espace de quelques années, préparer l'industrie du futur est devenu l'un des enjeux majeurs des entreprises et territoires industrialisés. L'industrie du futur s'intègre dans un contexte général de numérisation de la société et de nombr

Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms

Autor: Jolan Philippe, Gerson Sunyé, Hélène Coullon, Massimo Tisi

Publikováno v: 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Oct 2020, Montreal (Virtually), Canada. ⟨10.1145/3417990.3420206⟩
Proceedings of ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Sys-tems, Virtual Event, Canada
MODELS Companion
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

International audience; Low-code development platforms are taking an important place in the model-driven engineering ecosystem, raising new challenges,among which transparent efficiency or scalability. Indeed, the increasing size of models leads to d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a3d8e52632ee0f7848d16f4cfd68fc6
https://hal.science/hal-02952952

Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning

Autor: Hélène Coullon, Didier Lime, Claude Jard

Publikováno v: IFM 2019 : 15th International Conference on integrated Formal Methods
IFM 2019 : 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137, ⟨10.1007/978-3-030-34968-4_7⟩
Lecture Notes in Computer Science ISBN: 9783030349677
IFM

We present MADA, a deployment approach to facilitate the design of efficient and safe distributed software commissioning. MADA is built on top of the Madeus formal model that focuses on the efficient execution of installation procedures. Madeus puts

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3cd350715ca9c8efa887996885dd595
https://hal.archives-ouvertes.fr/hal-02323641