Formalizing semantics of XSLT using Object-Z

被引：0
|
作者：
Yang, HL [2 ]
Dong, JS
Hao, KG
Han, JG
机构：
[1] Natl Univ Singapore, Sch Comp, Singapore 117548, Singapore
[2] NW Univ Xian, Dept Comp Sci, Xian 710069, Peoples R China
[3] Univ Xian Post & Telecomm, Dept Comp Sci, Xian, Peoples R China
来源：
WEB TECHNOLOGIES AND APPLICATIONS | 2003年 / 2642卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：120 / 131
页数：12
相关论文
共 50 条
  • [1] Formalizing the UML class diagram using Object-Z
    Kim, SK
    Carrington, D
    [J]. UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 83 - 98
  • [2] Formalizing UML models with object-Z
    Miao, HK
    Liu, L
    Li, L
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 523 - 534
  • [3] Formalizing object oriented design patterns with object-Z
    Rauf, Irum
    Nadeem, Aamer
    Khokhar, Masud
    [J]. 10TH IEEE INTERNATIONAL MULTITOPIC CONFERENCE 2006, PROCEEDINGS, 2006, : 269 - +
  • [4] TOWARDS A SEMANTICS FOR OBJECT-Z
    DUKE, D
    DUKE, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 244 - 261
  • [5] A semantics for recursive operations in Object-Z
    Griffiths, A
    [J]. FORMAL METHODS PACIFIC '97, 1997, : 81 - 102
  • [6] Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
    Gruer, JP
    Hilaire, V
    Koukam, A
    Rovarini, P
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 70 (1-2) : 95 - 105
  • [7] Animation of object-Z specifications using a Z animator
    McComb, T
    Smith, G
    [J]. FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 191 - 200
  • [8] Modular reasoning in Object-Z
    Griffiths, A
    [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 140 - 149
  • [9] UML/OCL or Object-Z?
    Bettaz, Mohamed
    Maouche, Mourad
    [J]. 2017 INTERNATIONAL CONFERENCE ON INFOCOM TECHNOLOGIES AND UNMANNED SYSTEMS (TRENDS AND FUTURE DIRECTIONS) (ICTUS), 2017, : 78 - 83
  • [10] Compositional verification for Object-Z
    Winter, K
    Smith, G
    [J]. ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 280 - 299
12345