A Multi-formalism Approach for the Validation of UML Models
- 1 December 2000
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 12 (4) , 228-230
- https://doi.org/10.1007/s001650070018
Abstract
: Our approach is based on UML models. They are edited with the rational Rose ™ tool [Rat96] and complemented with annotations that state several constraints. The class diagram is the starting point of a translation process that produces formal specifications in Z [Spi92] and Lustre [CHP87]. The RoZ tool is used to translate the class diagram into Z automatically. The Z and Lustre specifications are used to validate the UML models by means of a prover and a testing environment.Keywords
This publication has 0 references indexed in Scilit: