为 BPEL 添加会话
编程语言
2012-10-24 v1
摘要
通过考虑 BPEL 编排语言的一个基本子集，我们定义了 SeB，即该子集的基于会话的风格。我们讨论了 SeB 的形式语义并展示了其主要属性。我们使用一种新方法来处理形式语义，该方法基于转换为所谓的控制图。我们的语义处理控制链接，并解决了规定变量有效用法的静态语义。我们还提供了网络化服务集合的语义。依靠这些语义，我们精确定义了交互安全的含义，为 BPEL 服务之间安全交互的形式化分析铺平了道路。
引用
@article{arxiv.1210.6114,
title = {Adding Sessions to BPEL},
author = {Jonathan Michaux and Elie Najm and Alessandro Fantechi},
journal= {arXiv preprint arXiv:1210.6114},
year = {2012}
}
备注
In Proceedings WWV 2012, arXiv:1210.5783