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. © Springer-Verlag Berlin Heidelberg 2000.
Cite
CITATION STYLE
Dupuy, S., Ledru, Y., & Chabre-Peccoud, M. (2000). An overview of RoZ: A tool for integrating UML and Z specifications. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1789, 417–430. https://doi.org/10.1007/3-540-45140-4_28
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
