Annals of Software Engineering

, Volume 13, Issue 1, pp 329–356

A Formal Object Approach to the Design of ZML

  • Jing Sun
  • Jin Song Dong
  • Jing Liu
  • Hai Wang
Article

DOI: 10.1023/A:1016513914276

Cite this article as:
Sun, J., Dong, J.S., Liu, J. et al. Annals of Software Engineering (2002) 13: 329. doi: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.

formal specification Z/Object-Z/TCOZ XML/XSL/XMI UML 

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Jing Sun
    • 1
  • Jin Song Dong
    • 1
  • Jing Liu
    • 1
  • Hai Wang
    • 1
  1. 1.Department of Computer Science, School of ComputingNational University of SingaporeSingaporeRepublic of Singapore