Web Service Discovery and Composition using USDL

For Web-services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose and synthesize services automatically. In this paper, we present the design of an automatic service discovery and composition engine using USDL (Universal Service-Semantics Description Language) by A. Bansal et al. (2005), a language for formally describing the semantics of Web-services. The implementation will be used for the WS-Challenge 2006

[1]  Ajay Bansal,et al.  A universal service-semantics description language , 2005, Third European Conference on Web Services (ECOWS'05).

[2]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[3]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .