A Formal Object Approach to the Design of ZML

  • Authors:

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

  • Affiliations:

  • Department of Computer Science, School of Computing, National University of Singapore, 10 Kent Ridge Crescent, Singapore 119260, Republic of Singapore;Department of Computer Science, School of Computing, National University of Singapore, 10 Kent Ridge Crescent, Singapore 119260, Republic of Singapore dongjs@comp.nus.edu.sg;Department of Computer Science, School of Computing, National University of Singapore, 10 Kent Ridge Crescent, Singapore 119260, Republic of Singapore;Department of Computer Science, School of Computing, National University of Singapore, 10 Kent Ridge Crescent, Singapore 119260, Republic of Singapore

  • Venue:
  • Annals of Software Engineering
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

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.