RoZ v2.0

RoZ (pronounce it "Rosette") is named after the Rosetta stone. It links graphical and formal notations by translating a class diagram annotated by formal assertions, written in the Z specification language, into a Z specification. There are two major versions of RoZ:

RoZ is used in combination with JazaGUI, a user interface for the jaza Z animator.

In this web page, you will find several versions of RoZ and JazaGUI, associated with the profile which defines stereotypes, documentation and examples.

Version zip archive Profile Examples
2022beta (for recent versions of Graphviz)
3.0beta (for recent versions of Graphviz)