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