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 | Citation: | 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
18
checked on Jun 23, 2022
WEB OF SCIENCETM
Citations
13
checked on Jun 23, 2022
Page view(s)
203
checked on Jun 23, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.