Browsing by Author "J. S. DONG"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Z Family on the Web with Their UML Photos
    (2001-01-01T00:00:00Z) J. SUN; J. S. DONG; J. LIU; H. WANG
    Recent effort and success in formal methods have been concentrated on building 'heavy' tools support, such as theorem provers and model checkers. Although those tools are essential and important for applications of formal methods, in order to achieve wider acceptance, it's necessary to develop 'light' weight tools, such as web browser environment for formal specifications and projection/translation tools from formal specifications to popular industry graphical design notations. In this paper, we firstly develop web environment and browsing facilities (based on XML) for Z family languages, and then introduce techniques (based on XMI) for projecting (object-oriented) Z models to UML diagrams.