One document to bind them: combining XML, web services, and the semantic web

ABSTRACT

We present a paradigm for uniting the diverse strands of XML-based Web technologies by allowing them to be incorporated within a single document. This overcomes the distinction between programs and data to make XML truly "self-describing." A proposal for a lightweight yet powerful functional XML vocabulary called "Semantic fXML" is detailed, based on the well-understood functional programming paradigm and resembling the embedding of Lisp directly in XML. Infosets are made "dynamic," since documents can now directly embed local processes or Web Services into their Infoset. An optional typing regime for info-sets is provided by Semantic Web ontologies. By regarding Web Services as functions and the Semantic Web as providing types, and tying it all together within a single XML vocabulary, the Web can compute. In this light, the real Web 2.0 can be considered the transformation of the Web from a universal information space to a universal computation space.

REFERENCES

• 1: J. Barwise and J. Perry. Situations and Attitudes. MIT Press, Boston, Massachusetts, 1983.
• 2: T. Berners-Lee. Weaving the Web. Harper, San Francisco, 1999.
• 3: H. Boley and S. Tabet. Design Rationale for RuleML: A Markup language for Semantic Web Rules. In Proceedings of Semantic Web Working Symposium, 2001.
• 4: E. Bruchez and A. Vernet. XML Pipeline Language (XPL) Version 1.0. Member submission, W3C, 2005.
• 5: A. Church. A note on the Entscheidungsproblem. Journal of Symbolic Logic, 1:40--41, 1936.
• 6: A. Clark. Natural Born Cyborgs. Oxford University Press, 2004.
• 7: Francisco Curbera , Matthew Duftler , Rania Khalaf , William Nagy , Nirmal Mukhi , Sanjiva Weerawarana, Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing, v.6 n.2, p.86-93, March 2002 [doi>10.1109/4236.991449]
• 8: Francisco Curbera , Rania Khalaf , Nirmal Mukhi , Stefan Tai , Sanjiva Weerawarana, The next step in Web services, Communications of the ACM, v.46 n.10, October 2003 [doi>10.1145/944217.944234]
• 9: Roy T. Fielding , Richard N. Taylor, Principled design of the modern Web architecture, Proceedings of the 22nd international conference on Software engineering, p.407-416, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337228]
• 10: H. Halpin. The Semantic Web: The origins of AI redux. In the Proceedings of the Fourth International Workshop on the Philosophy and History of Mathematics and Computation, San Sebastien, Spain, 2004.
• 11: S. Hawke and S. Tabet. Workshop for Rule Languages for Interoperability. Report, W3C, 2005.
• 12: D. Hazael-Massieux and D. Connolly. Gleaning resource descriptions from dialects of language. In Proceedings of XTech, Amsterdam, Netherlands, 2005.
• 13: I. Horrocks, P. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A Semantic Web rule language combining OWL and RuleML. Member submission, W3C, 2004.
• 14: Jane Hunter , Carl Lagoze, Combining RDF and XML schemas to enhance interoperability between metadata application profiles, Proceedings of the 10th international conference on World Wide Web, p.457-466, May 01-05, 2001, Hong Kong, Hong Kong [doi>10.1145/371920.372100]
• 15: A. Krupnikov and H. Thompson. Data binding using W3C XML Schema Annotations. In Proceedings of the XML Conference, Orlando, USA, 2001.
• 16: S. McGrath. XML Pipelines. In Proceedings of XML Open, Cambridge, UK, 2004.
• 17: Srini Narayanan , Sheila A. McIlraith, Simulation, verification and automated composition of web services, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA [doi>10.1145/511446.511457]
• 18: Peter Patel-Schneider , Jérôme Siméon, The Yin/Yang web: XML syntax and RDF semantics, Proceedings of the 11th international conference on World Wide Web, May 07-11, 2002, Honolulu, Hawaii, USA [doi>10.1145/511446.511504]
• 19: Benjamin C. Pierce, Types and programming languages, MIT Press, Cambridge, MA, 2002
• 20: J. Reynolds. Types, abstraction, and parametric polymorphism. In Proceedings of Information Processing Conference, Amsterdam, the Netherlands, 1983.
• 21: P. Rodgers. Service-oriented-development on netkernel. In Web Services Edge East, Boston, USA, 2005.
• 22: Jérôme Siméon , Philip Wadler, The essence of XML, Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-13, January 15-17, 2003, New Orleans, Louisiana, USA
• 23: Kaarthik Sivashanmugam , Kunal Verma , Amit Sheth, Discovery of Web Services in a Federated Registry Environment, Proceedings of the IEEE International Conference on Web Services (ICWS'04), p.270, June 06-09, 2004 [doi>10.1109/ICWS.2004.48]
• 24: B. C. Smith. The Correspondence Continuum. In Proceedings of the Sixth Canadian Conference on Artificial Intelligence, Montreal, Canada, 1986.
• 25: G. Steele and G. Sussman. Lambda: The Ultimate Imperative. AI Lab memo aim-353, MIT, 1976.
• 26: H. Thompson. FunctionalXML. Member submission, W3C, 2005.
• 27: N. Walsh and E. Maler. XML Pipeline Definition Language. Note, W3C, 2002.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES

General Terms:
Design, Theory

Keywords:
XML, functional programming, pipelining, semantic web, web services