Abstract
Service-oriented computing is gaining wider acceptance. 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. This automation can take place effectively only if formal semantic descriptions of Web services are available. In this paper we present an approach for automatic service discovery and composition with both syntactic and semantic description of Web services. In syntactic case, we use a repository of services described using WSDL (Web Service Description Language). In the semantic case, the services are described using USDL (Universal Service-Semantics Description Language), a language we have developed for formally describing the semantics of Web services. In this paper we show how the challenging task of building service discovery and composition engines can be easily implemented and efficiently solved via (Constraint) Logic programming techniques. We evaluate the algorithms on repositories of different sizes and show the results.
| Original language | English (US) |
|---|---|
| Title of host publication | CEUR Workshop Proceedings |
| Pages | 71-86 |
| Number of pages | 16 |
| Volume | 196 |
| State | Published - 2006 |
| Externally published | Yes |
| Event | International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, Part of the 22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, United States Duration: Aug 16 2006 → Aug 16 2006 |
Other
| Other | International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, Part of the 22nd International Conference on Logic Programming, ICLP 2006 |
|---|---|
| Country/Territory | United States |
| City | Seattle, WA |
| Period | 8/16/06 → 8/16/06 |
ASJC Scopus subject areas
- General Computer Science