References
References
[1 ]. J. Barwise and J. Perry, Sifuafions and Alfifudes. MIT
Press, BosTon, MassachuseTTs, 1983.
[2]. T. Berners-Lee, Weaving The Web. Harper, San
Francisco, 1 999.
[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 T .0. Membersubmission,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]. F. Curbera, M. Duftler, R. Khalaf, W. Nagy and
N. Mukhi. Unraveling the Web Services Web: An
introduction to SOAP, WSDL, and UDDI. IEEE Internet
Computing, 6, 2002.
[8]. F. Curbera, R. Khalaf, N. Mukhi, 3. Tai and S.
Weerawarana, The next step in Web Services.
Communications of theACM, 6(l 0):29-34, 2003.
[9]. R. Fielding and R. Taylor, Principled design of the
modern Web architecture. In Proceedings of
International Conference on Software Engineering,
Toronto, Canada, 2004 .
[10]. H. Halpin, The Semantic Web: The origins ofAl 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 ofXTech, Amsterdam, Netherlands, 2005.
[13]. I. Horrocks, R 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]. J. Hunter and F. Nack, Combining RDF and XML
Schemas to enhance interoperability between
metadata application profiles. In Proceedings of
International World Wide Web Conference, 2004.
[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]. S. Narayanan and S. Mcllrath, Simulation,
verification and automated composition of web services.
In Proceedings of the World Wide Web Conference,
Honolulu, USA, 2002.
[18]. R Patel-Schneider and J. Simeon, The Yin-Yang web:
XML syntax and RDF semantics. In Proceedings of the
World Wide Web Conference, Honolulu, USA, 2002.
[19]. B. Pierce, Types and Programming Languages. MIT
Press, Boston, USA, 2002.
[20]. J. Reynolds, Types, abstraction, and parametric
polymorphism. In Proceedings of Information Processing
Conference, Amsterdam, The Netherlands, T 983.
[21]. F! Rodgers, Service—oriented—deveIopment on
netkernel. In Web Services Edge East, Boston, USA, 2005.
[22]. J. Simeon and R Wadler, The essence of XML. In
Proceedings of ACM Symposium on Principles of
Programming Languages, New Orleans. USA, 2002.
[23]. K. Sivashanmugam, K. Verma, and A. Sheth,
Discovery of Web Services in a federated registry
environment. Proceedings of IEE Second International
Conference on Web Services, 2004.
[24]. B. C. Smith, The Correspondence Continuum. In
Proceedings of the Sixth Canadian Conference on
Artificial Intelligence, Montreal, Canada, 1 986.
[25]. G. Steele and G. Sussman, Lambda: The Ultimate
Imperative. Al 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.
