Formalizing Semantics of XSLT Using Object-Z
| Autor: | Jin Song Dong, Hong Li Yang, Jun Gang Han, Ke Gang Hao |
|---|---|
| Rok vydání: | 2003 |
| Předmět: |
computer.internet_protocol
business.industry Computer science Style sheet Programming language XSLT Semantic data model computer.software_genre Semantics Path expression Formal specification Object-Z ComputingMethodologies_DOCUMENTANDTEXTPROCESSING Artificial intelligence business computer XML Natural language processing Language construct computer.programming_language |
| Zdroj: | Web Technologies and Applications ISBN: 9783540023548 APWeb |
| DOI: | 10.1007/3-540-36901-5_13 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|