An Overview of RoZ: A Tool for Integrating UML and Z Specifications

@inproceedings{DupuyChessa2000AnOO,
  title={An Overview of RoZ: A Tool for Integrating UML and Z Specifications},
  author={Sophie Dupuy-Chessa and Yves Ledru and Monique Chabre-Peccoud},
  booktitle={CAiSE},
  year={2000}
}
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML class diagram and its annotations into a Z formal specification. Our tool called RoZ supports this approach by making the transition between the UML world and the Z world : from… CONTINUE READING