The Essence of XML (Preliminary Version)

  • Jérôme Siméon
  • Philip Wadler
Conference paper

DOI: 10.1007/3-540-45788-7_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2441)
Cite this paper as:
Siméon J., Wadler P. (2002) The Essence of XML (Preliminary Version). In: Hu Z., Rodríguez-Artalejo M. (eds) Functional and Logic Programming. FLOPS 2002. Lecture Notes in Computer Science, vol 2441. Springer, Berlin, Heidelberg

Abstract

The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantics based on these ideas is part of the official XQuery and XPath specification, one of the first uses of formal methods by a standards body. XML Schema features both named and structural types, with structure based on tree grammars. While structural types and matching have been studied in other work (notably XDuce, Relax NG, and previous formalizations of XML Schema), this is the first work to study the relation between named types and structural types, and the relation between matching and validation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Jérôme Siméon
    • 1
  • Philip Wadler
    • 2
  1. 1.Bell LaboratoriesMurray HillUSA
  2. 2.Avaya Labs ResearchBasking RidgeUSA

Personalised recommendations