计算机科学>计算机科学中的逻辑
标题: 移动环境的可分配性
摘要: 现代社会依赖于分布式软件系统,为了验证这些系统,开发了不同的建模语言,例如移动环境。 为了分析移动环境作为分布式计算的良好基础模型的质量,我们分析了它们可以表示的分布式组件之间的同步级别。 因此,我们依赖于先前建立的同步模式。 事实证明,移动环境并不是完全分布的,因为它们可以表示足够的同步,以表示一种称为M的同步模式。然而,它们可以表示比标准像素更少的同步。 因此,我们可以证明,从标准像素到移动环境中没有好的、保持分布性的编码,也没有从移动环境到联合计算的编码,即移动环境的表达能力介于这些语言之间。 最后,我们讨论了如何使用这些结果来获得移动环境的完全分布变体。