School of Computing and Mathematical Sciences School of Computing and Mathematical Sciences

AMuZed and ZooM


AMuZed - A Mu with Z editor

AMuZed is a graphical editing tool for the creation of μ-charts (mu-charts or microcharts.)

μ-charts consist of the 'well-defined' part of the Statecharts found in UML -- in that they have a semantics and, via the Z translation, a logic too. This technical report has the details.

AMuZed is intended to allow the user to do the following :

  •         Create new microcharts
  •         Save microcharts
  •         Edit new and existing microcharts
  •         Print microcharts
AMuZed chart



ZooM - Z out of Mu-Charts
ZooM is a tool which takes the .muz file output of a created chart from AMuZed and generates a series of .tex files which contain the Z specification for that chart
ZooM translation

Both AMuZed and ZooM are projects of the Formal Methods Lab at the University of Waikato

AMuZed and ZooM are free, open-source software, distributed under the GPL (GNU Public License).


Download
AMuZed and ZooM are compiled to run under Linux, MacOSX and Windows.
We recommend reading the manuals included with the distributions
for familiarization with the toolbar and menu options.
There are also a few sample .muz files included.

Linux :
Requires Tcl/Tk from www.tcl.tk setup on the system..
Zoom requires z-eves.sty and microz.sty files from the Z-Eves toolkit to render the .tex files

Mac OS X :
Requires Mac OS X, Tcl/Tk and X11 installed.
Note: The installation process is quite involved and is explained in the README file.
Zoom requires z-eves.sty and microz.sty files from the Z-Eves toolkit to render the .tex files

Windows :
Requires Tcl/Tk installed from the MinGW kit (www.mingw.org) and the
PATH and TCL_LIBRARY environment variables set.
This process is explained in the README file.
Zoom requires z-eves.sty and microz.sty files from the Z-Eves toolkit to render the .tex files

Source code :
Requires Glasgow Haskell Compiler (we use 5.00.2 (linux), 5.02 (windows), 5.04 (mac)
- later versions may have some trouble), TclHaskell, (if compiling under Windows 2000 or XP)
the TclHaskell fix from (name), and Tcl/Tk for your distribution.
Zoom requires z-eves.sty and microz.sty files from the Z-Eves toolkit to render the .tex files

Please read this file for more detailed instructions (particulary if you're compiling under Windows)

Support files :
The following files are included in the above distributions, but can be downloaded seperately here.


All versions last updated: 27 Feb 2004

Return to the Formal Methods Lab


If you download these applications please send an email to jab34@cs.waikato.ac.nz. so that we can keep you informed of upgrades and enhancements.
To report any bugs or problems please send an email to jab34@cs.waikato.ac.nz.

AMuZed was created by Greg Reeve with Steve Reeves and subsequently developed further by Judy Bowen, Chitra Kanakaraj and Gareth Bradley.
ZooM was orginally developed as Treecharts by Grant Anderson with Steve Reeves, with enhancements by Chitra Kanakaraj, and subsequently redeveloped by Judy Bowen.
All work was done within the FM Lab at the University of Waikato.

Web-administrator, Department of Computer Science, University of Waikato, Hamilton, New Zealand