A FORMAL FRAMEWORK FOR WEB SERVICE COMPOSITION

Abstract

Web services provide a standard way to ensure the interoperability ' among different software applications running on a variety of platforms. Organizations use the Web service technology in Enterprise applications and business-to-business integration on the Internet. In each of these two categories, the Web services can vary in complexity from simple functions of query- answer type, to sophisticated long term transactions among several business partners. Regardless of the application, the web services are used for flexible integration of loosely coupled systems that can be decomposed and recomposed to reflect the dynamic nature of the business. The Web services promise to turn the Web from a static collection of documents into a vast library of programs. This is the reason why the notion of service is of a considerable interest from both the industry and the academic research [1]. Web services are merging as a promising technology for the development of next generation distributed heterogeneous software systems [2]. Roughly, a Web service is a self-describing software component universally accessible supported by three technologie