将"BPEL中添加会话"翻译成中文。
摘要：使用BPRL编排语言的一个基本子集，我们定义了SeB，一个基于会话的该子集的风格。我们讨论了SeB的形式语义，并介绍了其主要特性。我们采用了一种新的方法来处理形式语义，基于一种称为控制图的翻译。我们的语义处理控制链接并处理规定变量有效使用的静态语义。我们还提供了网络服务集合的语义。 依赖于这些语义，我们准确地定义了交互安全的含义，为分析BPEL服务之间的安全交互铺平了道路。
作者：Jonathan Michaux (T''el''ecom ParisTech), Elie Najm (T''el''ecom ParisTech), Alessandro Fantechi (Universit`a degli Studi di Firenze)
论文ID：1210.6114
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-10-24