通过反应性合成调整行为
摘要：适配器设计模式的反应合成解释：在这项工作中，我们提出了对适配器设计模式的反应合成解释，其中算法使用Adaptee和Target传递器，并且旨在合成一个Adapter传递器，当与Adaptee组合时，生成与Target行为等效的行为。这种算法的一个用途是在不同的硬件平台上实现相似目标的控制器。尽管这个问题可以用现有的合成算法解决，但目前最先进的工具无法扩展。为了应对问题的计算复杂性，我们引入了一种特殊形式的规范格式，称为Separated GR(k)，它可以用可扩展的合成算法解决，但仍允许大量的现实规范。我们解决了Separated GR(k)的实现和合成问题，并展示了如何利用我们规范的分离特性构建更好的算法，以时间复杂性为衡量标准，比已知的GR(k)合成算法更好。然后，我们描述了一个基于以上方法实现的工具，称为SGR(k)，并通过实验评估展示了我们的工具如何在各种基准测试和测试案例上胜过现有最先进的工具。
作者：Gal Amram and Suguman Bansal and Dror Fried and Lucas M. Tabajara and Moshe Y. Vardi and Gera Weiss
论文ID：2105.13837
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-05-31