An Overview of RoZ: A Tool for Integrating UML and Z Specifications (2000)
| Venue: | In (Wangler, B.; Bergman, L.): CaiSE 2000. Lecture |
| Citations: | 9 - 3 self |
BibTeX
@INPROCEEDINGS{Dupuy00anoverview,
author = {S. Dupuy and S. Dupuy and Y. Ledru and Y. Ledru and M. Chabre-peccoud and M. Chabre-peccoud},
title = {An Overview of RoZ: A Tool for Integrating UML and Z Specifications},
booktitle = {In (Wangler, B.; Bergman, L.): CaiSE 2000. Lecture},
year = {2000},
pages = {417--430},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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 an annotated class diagram, it automatically generates a complete Z specification, the specifications of some elementary operations and some proof obligations to validate the model constraints.
