One Paper Has Been Accepted to ICE, workshop of DisCoTec 2024 -
A Maude Formalization of the Distributed Reconfiguration Language Concerto-D
Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, and Simon Robillard
We propose a Maude formalization of the decentralized reconfiguration language CONCERTO-D, which extends the already published CONCERTO language. CONCERTO-D improves on three different parameters compared with related work: the decentralized coordination of numerous local reconfiguration plans; the efficiency of the resulting global execution; and a mechanized formal semantics of the language with Maude. Throughout the paper, the CONCERTO-D language and its semantics are exemplified with a reconfiguration extracted from a real case study. To provide an executable solution to CONCERTO-D, we rely on the Maude formal specification language, which is based on rewriting logic, and consequently perfectly suited for describing a concurrent model.