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

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.

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.

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.

The contribution of this paper lies in the new description framework and the new matchmaking technique.