30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06)
Using Jaza to Animate RoZ Specifications of UML Class Diagrams
Columbia, Maryland
April 24-April 28
ISBN: 0-7695-2624-1
One of the goals of the integration of formal and graphical methods is to reuse tool support associated with formal methods. This paper reports on a combination of the Jaza Z animator with the RoZ tool. RoZ produces a Z specification from an annotated UML class diagram. It also generates the specification of basic operations associated to the diagram. The paper recalls the principles of the RoZ tool, gives a typical animation session, and discusses how RoZ and class diagrams must be adapted to support animation.