为具有优先级的系统实现分布式控制器
Implementing Distributed Controllers for Systems with Priorities
摘要：
以分布式方式实现基于组件的系统，以确保某些全局约束是一个具有挑战性的问题。我们认为这里的抽象规范组成的组成部分和控制器的形式给出了一组相互作用和它们之间的优先顺序。在分布式系统的上下文中，这样的控制器必须以分布式方式执行，同时仍然尊重由交互和优先级施加的全局约束。在本文中，我们提出了一种算法，允许分布式执行系统（二进制）的相互作用和优先级的实现。我们还提出了一个全面的模拟分析，显示我们的算法是如何敏感的变化，特别是在系统中的冲突程度的变化。
英文摘要：
Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a priority order amongst them. In the context of distributed systems, such a controller must be executed in a distributed fashion while still respecting the global constraints imposed by interactions and priorities. We present in this paper an implementation of an algorithm that allows a distributed execution of systems with (binary) interactions and priorities. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, in particular changes related to the degree of conflict in the system.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
