Work

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

Year: 2024

Type: article

Abstract: 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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.414.2

Authors: Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard

Institutions: IMT Atlantique, Centre Inria de l'Université de Rennes, STACK: Pile logicielle pour les infrastructures massivement géo distribuées, Université d'Orléans, Laboratoire d'Informatique Fondamentale d'Orléans, Université de Montpellier, Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W4396818929

FWCI: 0.152

Cites: 22

Cited by: 1

Related to: 10