An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913607666630656 |
|---|---|
| author | Arfi, Farid Coullon, Hélène Loulergue, Frédéric Philippe, Jolan Robillard, Simon |
| author_facet | Arfi, Farid Coullon, Hélène Loulergue, Frédéric Philippe, Jolan Robillard, Simon |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_08233 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization Arfi, Farid Coullon, Hélène Loulergue, Frédéric Philippe, Jolan Robillard, Simon Programming Languages Software Engineering 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. |
| title | An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization |
| topic | Programming Languages Software Engineering |
| url | https://arxiv.org/abs/2412.08233 |