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.