The Essence of XML

Jérôme Siméon; Philip Wadler

doi:10.1145/640128.604132

The Essence of XML

Research output: Contribution to journal › Article › peer-review

Abstract / Description of output

The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of 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 a previous formalization 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.

Original language	English
Pages (from-to)	1-13
Number of pages	13
Journal	ACM Sigplan Notices
Volume	38
Issue number	1
DOIs	https://doi.org/10.1145/640128.604132
Publication status	Published - Jan 2003

Access to Document

10.1145/640128.604132

http://dl.acm.org/citation.cfm?doid=640128.604132

Cite this

@article{bb70da0701e440d09322020296e6abc0,

title = "The Essence of XML",

abstract = "The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of 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 a previous formalization 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.",

author = "J{\'e}r{\^o}me Sim{\'e}on and Philip Wadler",

year = "2003",

month = jan,

doi = "10.1145/640128.604132",

language = "English",

volume = "38",

pages = "1--13",

journal = "ACM Sigplan Notices",

issn = "0362-1340",

publisher = "Association for Computing Machinery (ACM)",

number = "1",

}

TY - JOUR

T1 - The Essence of XML

AU - Siméon, Jérôme

AU - Wadler, Philip

PY - 2003/1

Y1 - 2003/1

N2 - The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of 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 a previous formalization 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.

AB - The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of 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 a previous formalization 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.

U2 - 10.1145/640128.604132

DO - 10.1145/640128.604132

M3 - Article

SN - 0362-1340

VL - 38

SP - 1

EP - 13

JO - ACM Sigplan Notices

JF - ACM Sigplan Notices

IS - 1

ER -

The Essence of XML

Abstract / Description of output

Access to Document

Fingerprint

Cite this