一种增强的随机协调模型
分布式、并行与集群计算
2016-10-27 v1 计算机科学中的逻辑
软件工程
摘要
在云端开发的应用程序在灵活的架构内协调若干通常匿名的、分布在不同执行节点上的计算资源。能够表示定量数据的协调模型为其分析与验证提供了强大的基础。本文扩展了 IMCreo——一种基于交互式马尔可夫链的 Stochastic reo 语义模型，通过将每个通道和节点以及接口组件视为可能（或可能不）与协调电路其余部分同步的独立随机过程，以增强其可扩展性。
引用
@article{arxiv.1610.08201,
title = {An Enhanced Model for Stochastic Coordination},
author = {Nuno Oliveira and Luis Soares Barbosa},
journal= {arXiv preprint arXiv:1610.08201},
year = {2016}
}
备注
In Proceedings iFMCloud 2016, arXiv:1610.07700