Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A formal description framework and a matchmaking technique for web service composition

A formal description framework and a matchmaking technique for web service composition Purpose – A web service is a software system designed to support interoperable machine‐to‐machine or application‐to‐application interactions over networks. Descriptions enable web services to be discovered, used by other web services, and composed into new web services. Web service composition is a mechanism for creating new web services by reusing existing ones. In order to compose a web service, the right primitive services have to be discovered. A matchmaking technique enables discovering these services. Web services have functional, non‐functional, behavioral, and semantic characteristics. These four aspects of web services provide different key information about the service; therefore they have to be considered for description, matching, and composition. The purpose of this paper is to propose a formal description framework and a formal matchmaking technique that allows describing and discovering web services by considering their four characteristics. Design/methodology/approach – In this paper, the description framework combines two existing languages for functional, semantic, and behavioral description, along with a simple and new language for non‐functional description. Findings – A case study is used to illustrate the description framework and the matchmaking technique. The implementation and performance evaluation of the matchmaking technique is presented. The framework formalizes and integrates the languages in a common semantic domain in order to match and manipulate the different aspects together and formally. Isabelle is used by the matchmaking technique for discovering the partially and fully matched services. Originality/value – The contribution of this paper lies in the new description framework and the new matchmaking technique. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png International Journal of Web Information Systems Emerald Publishing

A formal description framework and a matchmaking technique for web service composition

Loading next page...
 
/lp/emerald-publishing/a-formal-description-framework-and-a-matchmaking-technique-for-web-E0iZaP0Dqj
Publisher
Emerald Publishing
Copyright
Copyright © 2010 Emerald Group Publishing Limited. All rights reserved.
ISSN
1744-0084
DOI
10.1108/17440081011034475
Publisher site
See Article on Publisher Site

Abstract

Purpose – A web service is a software system designed to support interoperable machine‐to‐machine or application‐to‐application interactions over networks. Descriptions enable web services to be discovered, used by other web services, and composed into new web services. Web service composition is a mechanism for creating new web services by reusing existing ones. In order to compose a web service, the right primitive services have to be discovered. A matchmaking technique enables discovering these services. Web services have functional, non‐functional, behavioral, and semantic characteristics. These four aspects of web services provide different key information about the service; therefore they have to be considered for description, matching, and composition. The purpose of this paper is to propose a formal description framework and a formal matchmaking technique that allows describing and discovering web services by considering their four characteristics. Design/methodology/approach – In this paper, the description framework combines two existing languages for functional, semantic, and behavioral description, along with a simple and new language for non‐functional description. Findings – A case study is used to illustrate the description framework and the matchmaking technique. The implementation and performance evaluation of the matchmaking technique is presented. The framework formalizes and integrates the languages in a common semantic domain in order to match and manipulate the different aspects together and formally. Isabelle is used by the matchmaking technique for discovering the partially and fully matched services. Originality/value – The contribution of this paper lies in the new description framework and the new matchmaking technique.

Journal

International Journal of Web Information SystemsEmerald Publishing

Published: Apr 6, 2010

Keywords: Systems software; Worldwide web

References