Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/38928
Title: Formalizing semantics of XSLT using object-Z
Authors: Yang, H.L.
Dong, J.S. 
Hao, K.G.
Han, J.G.
Issue Date: 2003
Source: 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. ScholarBank@NUS Repository.
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.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/38928
ISSN: 03029743
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

51
checked on Dec 15, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.