An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization

Autor:	Arfi, Farid, Coullon, Hélène, Loulergue, Frédéric, Philippe, Jolan, Robillard, Simon
Rok vydání:	2024
Předmět:	Computer Science - Programming Languages Computer Science - Software Engineering
Zdroj:	EPTCS 414, 2024, pp. 21-38
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.414.2
Popis:	We propose an overview of the decentralized reconfiguration language Concerto-D through its Maude formalization. Concerto-D extends the already published Concerto language. Concerto-D improves on two different parameters compared with related work: the decentralized coordination of numerous local reconfiguration plans which avoid a single point of failure when considering unstable networks such as edge computing, or cyber-physical systems (CPS) for instance; and a mechanized formal semantics of the language with Maude which offers guarantees on the executability of the semantics. Throughout the paper, the Concerto-D language and its semantics are exemplified with a reconfiguration extracted from a real case study on a CPS. We rely on the Maude formal specification language, which is based on rewriting logic, and consequently perfectly suited for describing a concurrent model. Comment: In Proceedings ICE 2024, arXiv:2412.07570
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2412.08233 Zobrazit plný text záznamu View this record from Arxiv