×

zbMATH — the first resource for mathematics

Towards declarative programming for web services. (English) Zbl 1104.68355
Giacobazzi, Roberto (ed.), Static analysis. 11th international symposium, SAS 2004, Verona, Italy, August 26–28, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22791-1/pbk). Lecture Notes in Computer Science 3148, 21 (2004).
Summary: Two trends are emerging in the World Wide Web (WWW). The first is the proliferation of Web Services-self-contained, Web-accessible software applications and associated distributed systems architectures. The second is the emergence of the “Semantic Web,” the vision for a next-generation WWW that is computer interpretable. Today’s Web was designed primarily for human use. To enable reliable, large-scale automated interoperation of Web services, their properties and capabilities must be understandable to a computer program. In this talk we briefly overview our ongoing work to develop a declarative language for describing Web services on the Semantic Web, contrasting it with emerging industrial Web service and Semantic Web standards. Our declarative representation of Web services enables automation of a wide variety of tasks including discovery, invocation, interoperation, composition, simulation, verification and monitoring.
To address the problem of automated Web service composition, we propose automated reasoning techniques based on the notion of generic procedures and customizing user constraint. To this end, we adapt and extend a logic programming language to enable programs that are generic, customizable and usable in the context of the Web. We combine these with deductive synthesis techniques to generate compositions of Web services. Further, we propose logical criteria for these generic procedures that define when they are knowledge self-sufficient and physically self-sufficient. To support information gathering combined with search, we propose a middle-ground interpreter that operates under an assumption of reasonable persistence of key information. Our implemented prototype system is currently interacting with services on the Web. Parts of this work were done in collaboration with Tran Cao Son, Honglei Zeng and Ronald Fadel.
For the entire collection see [Zbl 1056.68010].

MSC:
68N01 General topics in the theory of software
68M10 Network design and communication in computer systems
PDF BibTeX XML Cite
Full Text: DOI