一种适应性web服务匹配方法

• 作者: 刘晨 王建武 王菁 陈旺虎 韩燕波
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 服务匹配 服务模型 模型检验 时态逻辑
• 年，卷（期）: 2007,（3）
• 页码范围: 408-412
• 页数: 5页
• 分类号: TP311
• 字数: 1222字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2007.03.021

摘要

为提高服务匹配对请求多样性和服务能力描述差异性的适应能力,提出了一种基于时态逻辑模型检验的适应性服务匹配方法--ASMA.该方法基于一个抽象服务模型ASM-TL,ASM-TL包含了影响服务匹配的服务内部约束和调用约束等重要因素,以及一个描述服务行为属性的虚拟过程模型.ASMA将服务请求统一描述为一种时态约束条件,基于ASM-TL将服务转换为一种时态模型,并引入模型检验的思想进行服务匹配.因此,ASMA可提高服务匹配的准确度,并很好地适应服务请求的多样性和服务能力描述的差异性.该方法已应用到生物信息领域的问题求解环境(PSE)中.应用表明,该方法对动态环境具有良好的适应能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王菁	中国科学院计算技术研究所	16	133	6.0	11.0
5	韩燕波	中国科学院计算技术研究所	44	770	13.0	27.0
6	刘晨	中国科学院计算技术研究所	28	347	10.0	18.0
10	陈旺虎	中国科学院计算技术研究所	25	88	5.0	7.0
13	王建武	中国科学院计算技术研究所	11	156	5.0	11.0