The Common Semantic Constructs of XML Family

Hong Li Yang,Jun Gang Han,Ke Gang Hao
DOI: https://doi.org/10.1007/978-3-540-39893-6_24
2003-01-01
Abstract:The most striking aspect of XML specifications released by W3C is their mutual interdependence. At the time of this writing, XSLT2.0, XPath2.0 and XQuery1.0 are all W3C working drafts. Standardizing each specification will be a major challenge. The formal semantics will be helpful to the standardization of languages. The key idea of this paper is to model common semantic constructs of these languages as Object-Z classes. The purpose is to reuse these semantic constructs to specify the semantics of XML family languages and to understand the common and difference between those languages.
What problem does this paper attempt to address?