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. © Springer-Verlag Berlin Heidelberg 2003.
Cite
CITATION STYLE
Yang, H. L., Dong, J. S., Hao, K. G., & Han, J. G. (2003). Formalizing semantics of XSLT using object-Z. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2642, 120–131. https://doi.org/10.1007/3-540-36901-5_13
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
