航空订票业务的Web服务建模及组合兼容性验证

• 作者: 张维石 贾志淳 陈荣
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Pi演算 Web服务组合 组合兼容性
• 年，卷（期）: 2010,（24）
• 页码范围: 237-242
• 分类号: TP311
• 字数: 5612字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.24.069

摘要

Web服务通过组合基本服务为解决复杂问题提供了方法,于是近年来越来越受到关注.当前交互式下的Web服务在实际组合中还存在诸多问题,其中就包括Web服务组合验证问题.运用Pi演算对航空订票业务的Web服务进行形式化建模,改进基于Pi演算的推理,提供一种验证多个Web服务组合是否兼容的方法.为证实该验证方法,进一步采用MWB工具展示了Web服务组合兼容性的验证过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张维石	大连海事大学信息科学技术学院	34	272	9.0	15.0
2	陈荣	大连海事大学信息科学技术学院	17	115	6.0	10.0
6	贾志淳	大连海事大学信息科学技术学院	1	6	1.0	1.0