Skip to main content
SpringerLink
Log in

Formalizing Semantics of XSLT Using Object-Z

  • Conference paper
  • First Online:
Book cover Web Technologies and Applications (APWeb 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2642))

Included in the following conference series:

Abstract

In this paper, a formal object-oriented semantic model for XSLT in Object-Z is presented. The semantic model is constructed based on XSLT’s W3C Working Draft (August 2002). Formal description of XSLT language can provide deeper understanding of the language and support the standardisation effort for XSLT. All XSLT language constructs are modeled as Object-Z classes and the XSLT stylesheet itself is also specified by a formal class. This highly structured semantic model is concise, composable and extensible.

This paper was written during the first author’s visit to the School of Computing of National University of Singapore as part of the UNU/IIST Fellowship Programme.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Scott Boag etc. Anders Berglund. XML Path Language (XPath) 2.0, 2002. http://www.w3.org/TR/xpath20/.

  2. James Clark. XSL Transformations (XSLT) Version 2.0, 2002. http://www.w3.org/TR/xslt20/.

  3. J. S. Dong. Formal Object Modelling Techniques and Denotational Semantics Studies. PhD thesis, University of Queensland, 1995.

    Google Scholar 

  4. J. S. Dong, R. Duke, and G. Rose. An object-oriented approach to the semantics of programming languages. Australian Computer Science Communications, 16, 1994.

    Google Scholar 

  5. R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Macmillan, 2000.

    Google Scholar 

  6. Denise Draper etc. XQuery 1.0 and XPath 2.0 Formal Semantics, 2002. http://www.w3.org/TR/query-semantics/.

  7. J. Sun, J. S. Dong, J. Liu, and H. Wang. Object-ZWeb Environment and Projections to UML. In WWW-10: 10th International World Wide Web Conference, refereed papers track, pages 725–734. ACM Press, May 2001.

    Google Scholar 

  8. C. M. Sperberg-McQueen Tim Bray, Jean Paoli. Extensible Markup Language (XML) 1.0 (Second Edition), 2000. http://www.w3.org/TR/REC-xml/.

  9. P. Wadler. A formal semantics of patterns in XSLT, Markup Languages, MIT Press, June 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Northwest University, Xi’an, China

    Hong Li Yang & Ke Gang Hao

  2. School of Computing, National University of Singapore, Singapore

    Jin Song Dong

  3. Department of Computer Science, University of Xi’an Post & Telecomm, China

    Hong Li Yang & Jun Gang Han

Authors
  1. Hong Li Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jin Song Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ke Gang Hao
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jun Gang Han
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD, 4072, Australia

    Xiaofang Zhou  & Maria E. Orlowska  & 

  2. Department of Mathematics and Computing, University of Southern Queensland, Toowoomba, QLD, 4350, Australia

    Yanchun Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yang, H.L., Dong, J.S., Hao, K.G., Han, J.G. (2003). Formalizing Semantics of XSLT Using Object-Z. In: Zhou, X., Orlowska, M.E., Zhang, Y. (eds) Web Technologies and Applications. APWeb 2003. Lecture Notes in Computer Science, vol 2642. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36901-5_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-36901-5_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-02354-8

  • Online ISBN: 978-3-540-36901-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation