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

• Type: Conference
• Year: 2001
• Where: WWW
• Authors: Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
• Keywords: Cation Language Object-z, Formal Approach, Internet Technology, Web Environment, WWW 2001