Principled design of the modern Web architecture
Proceedings of the 22nd international conference on Software engineering
Combining RDF and XML schemas to enhance interoperability between metadata application profiles
Proceedings of the 10th international conference on World Wide Web
Types and programming languages
Types and programming languages
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
The Yin/Yang web: XML syntax and RDF semantics
Proceedings of the 11th international conference on World Wide Web
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI
IEEE Internet Computing
CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind
Communications of the ACM - Service-oriented computing
Discovery of Web Services in a Federated Registry Environment
ICWS '04 Proceedings of the IEEE International Conference on Web Services
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Interface composition for web service intermediaries
SC'08 Proceedings of the 7th international conference on Software composition
| Hi-index | 0.01 |
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.