摘要

Web services enable application-to-application interactions over networks. They have functional, behavioral, non-functional, and semantic characteristics. Web service composition is the mechanism for combining and reusing existing Web services to create new Web services. In this paper, we propose a novel architecture for Web service composition. The proposed architecture extends the standard Web services business model to explicitly support Web services composition. It also enables the description of Web services with all four of their characteristics (i.e. functional, behavioral, non-functional, and semantic characteristics). Furthermore, it uses formal methods (that take into account all of these characteristics) to enable the matching, selection, and assembling of the Web services that are needed in the composition process. The architecture is made up of three components: a business model, a composition framework, and a description framework. The business model introduces three new entities: a Web service composer, a Web service composition registry, and a third-party Web service provider. The Web service composer has the overall responsibility of the composition process and is realized by the composition framework. The composition framework uses matchmaking, categorization, and assembly techniques to carry out the actual composition, taking into account all of the characteristics. The description framework provides the languages required to describe the Web services in both the business model and the composition framework. It also integrates the languages in a common semantic domain of HOL (an expressive high-level logic). These languages are SAWSDL (a semantic and functional language), MSC (a formal behavioral language), and NFSL (an XML-based nonfunctional language). NFSL is a simple new language that we propose, while SAWSDL and MSC are existing languages.

  • 出版日期2012-3