基于 Maude 形式化的去中心化重构语言 Concerto-D概述
编程语言
2024-12-12 v1 软件工程
摘要
我们提出了通过 Maude 形式化对去中心化重构语言 Concerto-D的概述。Concerto-D扩展了已发布的 Concerto 语言。与相关工作相比，Concerto-D在两个不同参数上都有所改进：首先是众多本地重构计划的去中心化协调，这避免了在考虑不稳定网络（如边缘计算或网络-物理系统（CPS））时出现的单点故障；其次是该语言的机械化形式语义，其基于 Maude 提供了对语义可执行性的保证。在本文中，通过一个从实际案例研究中提取的重构示例来说明 Concerto-D语言及其语义。我们依赖基于重写逻辑的 Maude 形式规范语言，这恰好适用于描述并发模型。
引用
@article{arxiv.2412.08233,
title = {An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization},
author = {Farid Arfi and Hélène Coullon and Frédéric Loulergue and Jolan Philippe and Simon Robillard},
journal= {arXiv preprint arXiv:2412.08233},
year = {2024}
}
备注
In Proceedings ICE 2024, arXiv:2412.07570