Sciweavers

Share
WWW
2001
ACM

Object-Z web environment and projections to UML

10 years 2 days ago
Object-Z web environment and projections to UML
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (in XML) to UML (in XMI) are developed using XSL Transformations (XSLT). Furthermore, Object-Z (itself) 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 approach to modeling web applications. Keywords Object-Z, XML/XSL/XMI, UML
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2001
Where WWW
Authors Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
Comments (0)
books