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.

[1]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[2]  Jin Song Dong,et al.  Timed Communicating Object Z , 2000, IEEE Trans. Software Eng..

[3]  Jin Song Dong,et al.  Linking UML with Integrated Formal Techniques , 2001, Unified Modeling Language: Systems Analysis, Design and Development Issues.

[4]  Jin Song Dong,et al.  Class Union and Polymorphism , 1993, TOOLS.

[5]  toExcel.  Extensible Markup Language (Xml) 1.0 Specifications: From the W3c Recommendations , 2000 .

[6]  Fabio Vitali,et al.  Visualizing Z Notation in HTML Documents , 1998, ZUM.

[7]  Jonathan P. Bowen,et al.  ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings , 1998 .

[8]  Roger Duke,et al.  Formal Object Oriented Specification Using Object-Z , 2000 .

[9]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[10]  Jim Davies,et al.  A Brief History of Timed CSP , 1995, Theor. Comput. Sci..

[11]  David A. Carrington,et al.  An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[12]  Jin Song Dong,et al.  The role of secondary attributes in formal object modelling , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[13]  Jonathan P. Bowen,et al.  Z on the Web Using Java , 1998, ZUM.

[14]  Jin Song Dong,et al.  Active objects in TCOZ , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).