[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()

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

Author(s):

Chen Wanghu¹;  2;  3;  Han Yanbo¹;  Wang Jing¹;  3;  Liu Chen¹;  3;  Wang Jianwu¹;  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

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.

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