领域特定分布式系统工程的形式化方法
编程语言
2019-12-04 v1 形式语言与自动机理论
计算机科学中的逻辑
软件工程
摘要
我们回顾佛罗伦萨大学并发与迁移组研究中产生的关于不同类别分布式系统的规约、编程与验证的一些结果。更具体地,我们考察网络感知编程、面向服务计算、自治计算以及集体自适应系统编程的区分性特征。随后我们概述四种不同语言,即 Klaim、Cows、Scel 与 AbC。对每种语言,我们讨论设计选择,给出语法与语义,展示如何用不同形式化方法建模和编程一个旅行预订场景,并描述编程环境与验证技术。
引用
@article{arxiv.1912.01289,
title = {A Formal Approach to the Engineering of Domain-Specific Distributed Systems},
author = {Rocco De Nicola and Gianluigi Ferrari and Rosario Pugliese and Francesco Tiezzi},
journal= {arXiv preprint arXiv:1912.01289},
year = {2019}
}
备注
In Press