基于元组的协调语言中的分布式密度
编程语言
2015-02-13 v1 分布式、并行与集群计算
多智能体系统
摘要
受化学隐喻启发，本文提出对类Linda语言的扩展，旨在为复杂分布式系统的协调建模。新语言操作有限的元组集合，并在它们之间分配密度。这一新概念在为匹配元组的选择所固有的不确定性之外，又针对tell、ask和get原语在面对不同元组时增加了不确定性。此外，借助de Boer和Palamidessi的模块化嵌入概念，我们证明该新语言严格提升了早先提出的Dense Bach语言、进而类Linda语言的表达能力。
引用
@article{arxiv.1502.03513,
title = {On Distributed Density in Tuple-based Coordination Languages},
author = {Denis Darquennes and Jean-Marie Jacquet and Isabelle Linden},
journal= {arXiv preprint arXiv:1502.03513},
year = {2015}
}
备注
In Proceedings FOCLASA 2014, arXiv:1502.03157