| 一种适应性web服务匹配方法 |
| |
| 引用本文： | 陈旺虎,韩燕波,王菁,刘晨,王建武.一种适应性web服务匹配方法[J].东南大学学报,2007,23(3):408-412. |
| |
| 作者姓名： | 陈旺虎 韩燕波 王菁 刘晨 王建武 |
| |
| 作者单位： | 中国科学院计算技术研究所，中国科学院计算技术研究所，中国科学院计算技术研究所，中国科学院计算技术研究所，中国科学院计算技术研究所 北京100080 西北师范大学数学与信息科学学院，兰州730070 中国科学院研究生院，北京100039，北京100080，北京100080 中国科学院研究生院，北京100039，北京100080 中国科学院研究生院，北京100039，北京100080 中国科学院研究生院，北京100039 |
| |
| 基金项目： | The National High Technology Research and Devel-opment Program of China (863Program) (No2006AA12Z202)，the National Natural Science Foundation of China (No90412010) |
| |
| 摘 要： | 为提高服务匹配对请求多样性和服务能力描述差异性的适应能力,提出了一种基于时态逻辑模型检验的适应性服务匹配方法——ASMA.该方法基于一个抽象服务模型ASM-TL,ASM-TL包含了影响服务匹配的服务内部约束和调用约束等重要因素,以及一个描述服务行为属性的虚拟过程模型.ASMA将服务请求统一描述为一种时态约束条件,基于ASM-TL将服务转换为一种时态模型,并引入模型检验的思想进行服务匹配.因此,ASMA可提高服务匹配的准确度,并很好地适应服务请求的多样性和服务能力描述的差异性.该方法已应用到生物信息领域的问题求解环境(PSE)中.应用表明,该方法对动态环境具有良好的适应能力.
|
| 关 键 词： | 服务匹配 服务模型 模型检验 时态逻辑 |
| 修稿时间： | 2007-05-18 |
Approach to adaptive service matchmaking |
| |
| Chen Wanghu,Han Yanbo,Wang Jing,Liu Chen,Wang Jianwu.Approach to adaptive service matchmaking[J].Journal of Southeast University(English Edition),2007,23(3):408-412. |
| |
| Authors: | Chen Wanghu Han Yanbo Wang Jing Liu Chen Wang Jianwu |
| |
| Institution: | 1Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China;2 College of Mathematics and Information Science, Northwest Normal University, Lanzhou 730070, China;3 Graduate University, Chinese Academy of Sciences, Beijing 100039, China |
| |
| Abstract: | To make service matchmaking more adaptive to various service requests and diverse web services,an adaptive approach-ASMA is proposed to service matchmaking based on temporal logic model-checking.The approach is based on the proposed abstract service model,ASM-TL,which addresses some important constraints for identifying capabilities of web services,such as service inner constraints and invocation constraints,and also has a virtual process model for describing service behavioral properties.By treating service requests as temporal logic conditions and web services as temporal models,ASMA does service matchmaking through model checking.Therefore,ASMA makes service matchmaking more accurate and more adaptive to the variety of service requests and the diversity of web services.The approach has been applied to the problem solving environment (PSE) for bioinformatics research.Applications show that the approach is suitable for dynamic environments. |
| |
| Keywords: | service matchmaking service model model checking temporal logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
