实施编舞提取
摘要：并行组件之间交互的全局描述是choreographies的主要用途，特别是在验证和构建正确的软件方面。它们需要自上而下的方法：程序员首先编写choreographies，然后使用它们来验证或构建他们的程序。然而，大多数软件还没有附带choreographies，这阻碍了它们的应用。为了解决这个问题，之前的研究调查了choreography extraction，它自动构建一个描述给定程序或协议规范行为的choreography。我们提出了一种改进现有技术的新的提取方法：我们能够处理带有状态和内部计算的程序，并且时间复杂度大大提高。我们还实现了这个理论，并证明，尽管它在理论上是指数复杂的，但在实践中是可用的。我们讨论了实现高效性所需的数据结构，介绍了一些优化措施，并进行了系统的实践评估。
作者：Luis Cruz-Filipe, Kim S. Larsen, Fabrizio Montesi, Larisa Safina
论文ID：2205.02636
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-05-09