基于并发事务逻辑的Web服务编制验证

被引：7

作者：

王勇 ^{[1
]}

代桂平 ^{[2
]}

侯亚荣 ^{[1
]}

方娟 ^{[1
]}

任兴田 ^{[1
]}

机构：

[1] 北京工业大学计算机学院

[2] 北京工业大学电控学院

来源：

电子学报 | 2009年 / 37卷 / 10期

关键词：

服务编制; 并发事务逻辑; 形式化; 验证;

D O I：

暂无

中图分类号：

TP393.09 [];

学科分类号：

摘要：

服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性.

引用

页码：2228 / 2233

页数：6

共 5 条

[1]

Web服务行为一致性与相容性判定 [J].