Web 服务组合的形式化模型：一种统一编排与协同的基于 Actor 的方法
软件工程
2013-12-04 v1
摘要
Web 服务组合通过组合现有服务集合来创建新的复合 Web 服务，体现了 Web 服务的增值潜力和潜在用途。Web 服务组合包含两个方面：表示工作流式组合模式的 Web 服务编排（orchestration），以及表示聚合组合模式的 Web 服务协同（choreography）。以往仅有少数研究探讨了编排与协同之间的关系。本文在深入分析这两者的基础上，提出了一种 Web 服务组合运行时架构，建立了编排与协同之间的自然联系。随后，我们采用基于 Actor 的方法设计了一种名为 AB-WSCL 的语言以支持该架构。为赋予 AB-WSCL 坚实的理论基础，我们基于 Actor 的并发重写理论建立了 AB-WSCL 的形式语义。基于语义分析，利用组合性（Compositionality）记号得出了 AB-WSCL 各组件之间存在良好定义关系的结论。我们的工作可作为设计阶段 Web 服务组合建模语言、仿真工具和验证工具的基础，也可作为支持正确性分析的 Web 服务组合运行时本身。
引用
@article{arxiv.1312.0677,
title = {Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1312.0677},
year = {2013}
}
备注
arXiv admin note: text overlap with arXiv:1306.5535