一种验证Web服务流程的新方法

• 作者: 王晨 王红兵 许迅
• 来源期刊: 计算机应用研究
• 关键词: 时序逻辑语言 Web服务本体描述语言 Web服务业务流程执行语言 Web服务组合验证 工作流模型分析
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 3785-3789
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.12.080

摘要

在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义--通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的.然而,针对这两种语言的验证方法较少被人们注意.提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性.实验证明该方法效果良好,有相当的探索与实用价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晨	东南大学计算机学院	19	121	6.0	10.0
2	王红兵	东南大学计算机学院	13	253	6.0	13.0
3	许迅	东南大学计算机学院	3	10	2.0	3.0