基于SPIN的BPEL4WS建模与验证研究

• 作者: 周娇蓉 孙军梅
• 来源期刊: 杭州师范大学学报（自然科学版）
• 学科: 工学
• 关键词: Web服务组合 模型检测 SPIN BPEL4WS
• 年，卷（期）: 2010,（5）
• 页码范围: 385-391
• 分类号: TP311
• 字数: 2756字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-232X.2010.05.014

摘要

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙军梅	杭州师范大学信息科学与工程学院	18	63	4.0	7.0
2	周娇蓉	杭州师范大学信息科学与工程学院	1	0	0.0	0.0