基于Alloy的服务组合验证

• 作者: 刘波 吴江林 曹玖新 杨鹏伟 王国进 董丹
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: Web服务 服务组合 有限状态机 Alloy 验证
• 年，卷（期）: 2012,（z2）
• 页码范围: 1-8
• 分类号: TP311
• 字数: 4931字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436x.2012.z2.001

摘要

服务组合是服务计算的核心问题,而服务组合的正确性与可算性则是服务正确执行的前提保证.首先提出一种基于Alloy的服务组合验证方法,采用有限的状态机建模WS-BPEL业务流程的状态变迁,利用Alloy语言对待验证的属性进行描述,通过Alloy模型完成有限状态机的形式化,最后使用AlloyAnalyzer分析组合服务是否满足验证属性要求.实验研究表明,所提出的基于Alloy的服务组合验证方法具有较好的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹玖新	东南大学计算机科学与工程学院	29	496	10.0	22.0
2	刘波	东南大学计算机科学与工程学院	65	618	12.0	24.0
3	董丹	东南大学计算机科学与工程学院	2	11	1.0	2.0
4	吴江林	东南大学计算机科学与工程学院	2	178	1.0	2.0
5	王国进		1	0	0.0	0.0
6	杨鹏伟	东南大学计算机科学与工程学院	1	0	0.0	0.0