论移动环境的可分布性
计算机科学中的逻辑
2018-08-29 v1
摘要
现代社会依赖于分布式软件系统,为验证它们,人们开发了移动环境(mobile ambients)等不同建模语言。为分析移动环境作为分布式计算良好基础模型的质量,我们分析了其所能表达的分布式组件之间的同步水平。为此,我们依赖早先建立的同步模式。结果表明,移动环境并非完全分布式的,因为它们能表达足够的同步以表达一种称为 M 的同步模式。然而,它们能表达的同步严格少于标准 pi-演算。因此,我们可以证明,从标准 pi-演算到移动环境不存在良好且保持可分布性的编码,也不存在从移动环境到连接演算(join-calculus)的此类编码,即移动环境的表达能力介于这些语言之间。最后,我们讨论如何利用这些结果获得移动环境的完全分布式变体。
引用
@article{arxiv.1808.09361,
title = {On the Distributability of Mobile Ambients},
author = {Kirstin Peters and Uwe Nestmann},
journal= {arXiv preprint arXiv:1808.09361},
year = {2018}
}
备注
In Proceedings EXPRESS/SOS 2018, arXiv:1808.08071. Conference version of arXiv:1808.01599