The Essence of XML (Preliminary Version)

Jérôme Siméon; Philip Wadler

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

The Essence of XML (Preliminary Version)

Jérôme Siméon, Philip Wadler

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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 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.

Original language	English
Title of host publication	Functional and Logic Programming
Subtitle of host publication	6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings
Editors	Zhenjiang Hu, Mario Rodríguez-Artalejo
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	21-46
Number of pages	26
ISBN (Electronic)	978-3-540-45788-6
ISBN (Print)	978-3-540-44233-2
DOIs	https://doi.org/10.1007/3-540-45788-7_2
Publication status	Published - 2002

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	2441
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-45788-7_2

http://dx.doi.org/10.1007/3-540-45788-7_2

Cite this

@inbook{a4f4fc085a654ea58092c5019cfc7dc3,

title = "The Essence of XML (Preliminary Version)",

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.",

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

year = "2002",

doi = "10.1007/3-540-45788-7_2",

language = "English",

isbn = "978-3-540-44233-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "21--46",

editor = "Zhenjiang Hu and Mario Rodr{\'i}guez-Artalejo",

booktitle = "Functional and Logic Programming",

}

The Essence of XML (Preliminary Version). / Siméon, Jérôme; Wadler, Philip.
Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings. ed. / Zhenjiang Hu; Mario Rodríguez-Artalejo. Berlin, Heidelberg: Springer, 2002. p. 21-46 (Lecture Notes in Computer Science; Vol. 2441).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - The Essence of XML (Preliminary Version)

AU - Siméon, Jérôme

AU - Wadler, Philip

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-45788-7_2

DO - 10.1007/3-540-45788-7_2

M3 - Chapter

SN - 978-3-540-44233-2

T3 - Lecture Notes in Computer Science

SP - 21

EP - 46

BT - Functional and Logic Programming

A2 - Hu, Zhenjiang

A2 - Rodríguez-Artalejo, Mario

PB - Springer

CY - Berlin, Heidelberg

ER -

The Essence of XML (Preliminary Version)

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this