Formalizing Semantics of XSLT Using Object-Z

  • Hong Li Yang
  • Jin Song Dong
  • Ke Gang Hao
  • Jun Gang Han
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2642)


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.


Semantic Model Denotational Semantic Path Expression Context Node Secondary Attribute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Scott Boag etc. Anders Berglund. XML Path Language (XPath) 2.0, 2002.
  2. 2.
    James Clark. XSL Transformations (XSLT) Version 2.0, 2002.
  3. 3.
    J. S. Dong. Formal Object Modelling Techniques and Denotational Semantics Studies. PhD thesis, University of Queensland, 1995.Google Scholar
  4. 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. 5.
    R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Macmillan, 2000.Google Scholar
  6. 6.
    Denise Draper etc. XQuery 1.0 and XPath 2.0 Formal Semantics, 2002.
  7. 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. 8.
    C. M. Sperberg-McQueen Tim Bray, Jean Paoli. Extensible Markup Language (XML) 1.0 (Second Edition), 2000.
  9. 9.
    P. Wadler. A formal semantics of patterns in XSLT, Markup Languages, MIT Press, June 2001.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Hong Li Yang
    • 1
    • 3
  • Jin Song Dong
    • 2
  • Ke Gang Hao
    • 1
  • Jun Gang Han
    • 3
  1. 1.Department of Computer ScienceNorthwest UniversityXi’anChina
  2. 2.School of ComputingNational University of SingaporeSingapore
  3. 3.Department of Computer ScienceUniversity of Xi’an Post & TelecommChina

Personalised recommendations