一种用于 Web 服务编排可实现性的局部逻辑
计算机科学中的逻辑
2014-09-10 v1 分布式、并行与集群计算
摘要
Web 服务编排规定了服务之间可观测交互的条件。在此方面的一个关键问题是可实现性：给定一个编排 C，是否存在一组符合 C 的服务实现 I？此外，若 C 是可实现的，是否存在算法来构造 I 中的实现？我们提出了一种局部时序逻辑，可用于指定编排；针对该逻辑中的规范，我们通过将服务实现（若存在）构造为通信自动机来解决可实现性问题。这些自动机是带有耦合关系的非确定性有限状态自动机。我们还报告了可实现性算法的实现情况，并讨论了实验结果。
引用
@article{arxiv.1409.2591,
title = {A Local Logic for Realizability in Web Service Choreographies},
author = {R. Ramanujam and S. Sheerazuddin},
journal= {arXiv preprint arXiv:1409.2591},
year = {2014}
}
备注
In Proceedings WWV 2014, arXiv:1409.2294