Z Family on the Web with Their UML Photos
No Thumbnail Available
Date
2001-01-01T00:00:00Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.