服务组合系统交互协议兼容性检测模型

• 作者: 孙杰 李雪飞 潘娜娜 蒋静 郭晓华
• 来源期刊: 青岛大学学报（自然科学版）
• 学科: 工学
• 关键词: 服务组合 交互协议 上下文感知 隐式转换 兼容性 NuSMV
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 信息工程
• 页码范围: 68-74
• 页数: 7页
• 分类号: TP393
• 字数: 5859字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-1037.2016.05.14

摘要

针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型.将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证.实验结果表明,该模型应用范围广,实现简单,实用性强;不仅能避免服务组合模型状态数较大时引发的状态爆炸问题,而且能有效地缩短服务组合系统的开发周期,降低系统的开发成本.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙杰	青岛大学计算机科学技术学院	25	80	3.0	8.0
2	潘娜娜	青岛大学计算机科学技术学院	19	103	5.0	10.0
3	蒋静	青岛大学计算机科学技术学院	21	79	5.0	8.0
4	李雪飞	青岛大学计算机科学技术学院	1	1	1.0	1.0
5	郭晓华	青岛大学计算机科学技术学院	2	3	1.0	1.0