Main Article Content
Abstract
Unified Modeling Language (UML) is a de-facto object-orieted model standard. Many
models can be visualized and designed by using UML tool, e.g. Rational Rose. We enrich the
UML by means of adding a capability to produce a set of formal specifiation of Z notation.
This additonal capability is a part of a studi on formal framework of transformation
relational databases to object-relational databases. The enrichment of UML in formal
specification will give an opportunity to explore UML class diagram in the sense of formal
methods. This approach will enable to use the streght of formal methods within UML.
Keywords: class diagram, UML, formal methods, formal specification, Z.
models can be visualized and designed by using UML tool, e.g. Rational Rose. We enrich the
UML by means of adding a capability to produce a set of formal specifiation of Z notation.
This additonal capability is a part of a studi on formal framework of transformation
relational databases to object-relational databases. The enrichment of UML in formal
specification will give an opportunity to explore UML class diagram in the sense of formal
methods. This approach will enable to use the streght of formal methods within UML.
Keywords: class diagram, UML, formal methods, formal specification, Z.