[1] Chen Wanghu, , Han Yanbo, et al. Approach to adaptive service matchmaking [J]. Journal of Southeast University (English Edition), 2007, 23 (3): 408-412. [doi:10.3969/j.issn.1003-7985.2007.03.021]

Copy

Approach to adaptive service matchmaking()

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

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

23

Issue:

2007 3

Page:

408-412

Research Field:

Computer Science and Engineering

Publishing date:

2007-09-30

Info

Title:

Approach to adaptive service matchmaking

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

Author(s):

Chen Wanghu^{1, 2, 3}, Han Yanbo¹, Wang Jing^{1, 3}, Liu Chen^{1, 3}, Wang Jianwu^{1, 3}

¹Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China
²College of Mathematics and Information Science, Northwest Normal University, Lanzhou 730070, China
³Graduate University, Chine

陈旺虎^{1, 2, 3}, 韩燕波¹, 王菁^{1, 3}, 刘晨^{1, 3}, 王建武^{1, 3}

¹中国科学院计算技术研究所, 北京 100080; ²西北师范大学数学与信息科学学院, 兰州 730070; ³中国科学院研究生院, 北京 100039

Keywords:

service matchmaking;  service model;  model checking;  temporal logic

服务匹配;  服务模型;  模型检验;  时态逻辑

PACS:

TP311

DOI:

10.3969/j.issn.1003-7985.2007.03.021

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.

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

References:

[1] Hull D, Zolin E, Bovykin A, et al.Deciding semantic matching of stateless services[C]//Proc of the 21st National Conference on Artificial Intelligence.California:AAAI Press, 2006:16-20.
[2] Han Yanbo, Wang Hongcui, Wang Jianwu, et al.An end-user-oriented approach to exploratory service composition[J].Journal of Computer Research and Development, 2006, 43(11):1895-1903.(in Chinese)
[3] Chen Wanghu, Liu Chen, Li Houfu, et al.Approach to dynamically forming semantic infrastructure for virtual organizations[J].Chinese Journal of Computers, 2006, 29(7):1127-1136.(in Chinese)
[4] Huth M, Ryan M.Logic in computer science:modeling and reasoning about system [M].2nd ed.England:Cambridge University Press, 2004:207-243.
[5] Wang Yiqiao, Stroulia E.Semantic structure matching for assessing web-service similarity[C]//First International Conference on Service-Oriented Computing. Trento, Italy, 2003:194-207.
[6] Wu Jian, Wu Zhaohui.Similarity-based web service matchmaking[C]//Proceedings of IEEE International Conference on Services Computing(SCC’05). Los Alamitos:IEEE Computer Society, 2005:287-294.
[7] Paolucci M, Kawamura T, Payne T, et al.Semantic matching of web services capabilities[C]//Proc of the First International Semantic Web Conference (ISWC 2002).Berlin:Springer-Verlag, 2002:333-347.
[8] Bansal S, Vidal J M.Matchmaking of web services based on the DAML-S service model[C]//Proc of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’03). New York:ACM Press, 2003:926-927.
[9] Agarwal S, Aankolekar A.Automatic matchmaking of web services[C]//Proc of the 15th International Conference on World Wide Web(WWW 2006).New York:ACM Press, 2006:1057-1058.
[10] Gao Xiang, Yang Jian, Papazoglou M P.The capability matching of web services[C]//IEEE Fourth International Symposium on Multimedia Software Engineering (MSE’02).Los Alamitos:IEEE Computer Society, 2002:56-63.
[11] Patil A, Oundhakar S, Sheth A, et al.METEOR-S web service annotation framework[C]//Proc of the World Wide Web Conference(WWW 2004).New York:ACM Press, 2004:553-562.
[12] Li Lei, Horrocks I.A software framework for matchmaking based on semantic web technology[C]//Proc of the 12th International Conference on the World Wide Web (WWW 2003).New York:ACM Press, 2003:331-339.
[13] Berardi D, Calvanese D, Giacomo D, et al.Automatic composition of e-services that export their behavior[C]//First International Conference on Service-Oriented Computing.Trento, Italy, 2003:43-58.
[14] Berardi D, Calvanese D, Giacomo D, et al.Automatic composition of transition-based semantic web services with messaging[C]//Proc of the 31st International Conference on Very Large Data Bases(VLDB 2005).New York:ACM Press, 2005:613-624.

Memo

Memo:

Biographies: Chen Wanghu(1973—), male, graduate;Han Yanbo(corresponding author), male, doctor, professor, yhan@ict.ac.cn.

Common functions