Please use this identifier to cite or link to this item:
|Title:||A formal object approach to the design of ZML|
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jan 22, 2019
WEB OF SCIENCETM
checked on Jan 2, 2019
checked on Jan 13, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.