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

• 作者: 代桂平 任兴田 侯亚荣 方娟 王勇
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 服务编制 并发事务逻辑 形式化 验证
• 年，卷（期）: 2009,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 2228-2233
• 页数: 6页
• 分类号: TP393.09
• 字数: 3750字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.10.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方娟	北京工业大学计算机学院	60	267	9.0	12.0
2	王勇	北京工业大学计算机学院	50	389	8.0	18.0
3	代桂平	北京工业大学电控学院	22	195	7.0	13.0
4	侯亚荣	北京工业大学计算机学院	19	174	7.0	13.0
5	任兴田	北京工业大学计算机学院	12	65	5.0	7.0