服务组合的新鲜变量自动机
摘要：使用无限域或多个会话处理数据的网络服务模型，我们引入了新变量自动机，这是有限状态自动机的简单扩展，其中一些转换标有在某些指定状态可以刷新的变量。我们证明了该类自动机的几个闭包性质，并研究了它们的决策问题。然后，我们引入了一种模拟的概念，使我们能够将Web服务组合问题简化为通过现有服务的异步产品构建目标服务的模拟，并证明了该构建是可计算的。
作者：Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
论文ID：1302.4205
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-04-04