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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
see, http://www.w3.org
Berglund, A., Boag, S.: XML Path Language (XPath) 2.0 (2002), http://www.w3.org/TR/xpath20/
Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes (2001), http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/
Boag, S., Chamberlin, D., Fernandez, M.: XQuery 1.0: An XML Query Language, November 15 (2002), http://www.w3.org/TR/2002/WD-xquery-20021115/
Bray, T., Paoli, J., Sperberg-McQueen, C.M.: Extensible Markup Language (XML) 1.0, 2nd edn (2000), http://www.w3.org/TR/REC-xml/
Chinnici, R., Gudgin, M., Moreau, J.J., Weerawarana, S.: Web Services Description Language (WSDL) Version 1.2 (2002), http://www.w3.org/TR/2002/WD-wsdl12-20020709
Clark, J.: XSL Transformations (XSLT) Version 2.0 (2002), http://www.w3.org/TR/xslt20/
Cowan, J., Tobin, R.: XML Information Set (2001), http://www.w3.org/TR/xml-infoset/
Dodds, L.: Time to Refactor XML? (2001), see http://www.xml.com/pub/a/2001/02/21/deviant.html
Dong, J.S.: Formal Object Modelling Techniques and Denotational Semantics Studies. PhD thesis, University of Queensland (1995)
Dong, J.S., Duke, R., Rose, G.: An object-oriented approach to the semantics of programming languages. Australian Computer Science Communications 16 (1994)
Draper, D., Fankhauser, P., Fernández, M.: XQuery 1.0 and XPath 2.0 Formal Semantics, November 15 (2002), http://www.w3.org/TR/2002/WD-query-semantics-20021115/
Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z. Macmillan, Basingstoke (2000)
Fallside, D.C.: XML Schema Part 0: Primer (2001), http://www.w3.org/TR/2001/REC-xmlschema-0-20010502/
Fernández, M., Malhotra, A., Marsh, J.: XQuery 1.0 and XPath 2.0 Data Model, November 15 (2002), http://www.w3.org/TR/2002/WD-query-datamodel-20021115/
Simeon, J., Wadler, P.: The essence of xml. In: POPL 2003, New Orleans, Louisiana, USA. ACM, New York (January 2003)
Smith, G.: The Object-Z Specification Language. Kluwer Academic Publishers, Dordrecht (1999)
Sun, J., Dong, J.S., Liu, J., Wang, H.: Object-Z Web Environment and Projections to UML. In: WWW-10: 10th International World Wide Web Conference, refereed papers track, May 2001, pp. 725–734. ACM Press, New York (2001)
Thompson, H.S., Beech, D., Maloney, M., Mendelsohn, N.: XML Schema Part 1: Structures (2001), http://www.w3.org/TR/2001/REC-xmlschema-1-20010502/
Wadler, P.: Two Semantics for XPath (January 2000)
Wadler, P.: A formal semantics of patterns in XSLT, Markup Languages. MIT Press, Cambridge (June 2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, H.L., Han, J.G., Hao, K.G. (2003). The Common Semantic Constructs of XML Family. In: Dong, J.S., Woodcock, J. (eds) Formal Methods and Software Engineering. ICFEM 2003. Lecture Notes in Computer Science, vol 2885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39893-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-39893-6_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20461-9
Online ISBN: 978-3-540-39893-6
eBook Packages: Springer Book Archive