Formalizing semantics of XSLT using object-Z

Authors:
Hong Li Yang;Jin Song Dong;Ke Gang Hao;Jun Gang Han
Affiliations:
Department of Computer Science, Northwest University, Xi’an, China and Department of Computer Science, University of Xi'an Post & Telecomm., China;School of Computing, National University of Singapore, Singapore;Department of Computer Science, Northwest University, Xi'an, China;Department of Computer Science, University of Xi'an Post & Telecomm., China
Venue:
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Year:
2003

Citing 2
Cited 1

Object-Z web environment and projections to UML

Proceedings of the 10th international conference on World Wide Web
A formal semantics of patterns in XSLT and XPath

Markup Languages

Algorithmic Design Using Object-Z for Twig XML Queries Evaluation

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.