Please use this identifier to cite or link to this item: https://doi.org/10.1023/A:1016513914276
Title: A formal object approach to the design of ZML
Authors: Sun, J.
Dong, J.S. 
Liu, J.
Wang, H. 
Keywords: Formal specification
UML
XML/XSL/XMI
Z/Object-Z/TCOZ
Issue Date: 2002
Source: Sun, J., Dong, J.S., Liu, J., Wang, H. (2002). A formal object approach to the design of ZML. Annals of Software Engineering 13 (1-4) : 329-356. ScholarBank@NUS Repository. https://doi.org/10.1023/A:1016513914276
Abstract: This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design process. In particular, the paper presents a XML/XSL approach to the development of a web environment for Z family languages (Z/Object-Z/TCOZ). The projection techniques and tools from object-oriented Z (in XML) to UML (in XMI) are developed using XSL Transformations (XSLT). Furthermore, object-oriented Z is used to specify and design the essential functionalities of the web environment and the projection tools to UML. In a sense, the paper also demonstrates a formal object approach to modeling XML applications.
Source Title: Annals of Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/42313
ISSN: 10227091
DOI: 10.1023/A:1016513914276
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

17
checked on Dec 7, 2017

WEB OF SCIENCETM
Citations

13
checked on Nov 29, 2017

Page view(s)

90
checked on Dec 11, 2017

Google ScholarTM

Check

Altmetric


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