Formalizing class diagram in UML

One of the important methods for characterization, development and realization of software and hardware systems is formal method. Since there are not any necessary techniques for modeling in UML, by formalizing class diagram - as important section of UML - in this paper we can convert one system to class structure in UML easily. Also we can determine all of the relationships between each class in the system. Then by modeling this structure it will be prepare for some goals such as verifying and validating. By using an example we show procedure of formalizing the system. After all, we come to a conclusion that formal method enhances ability of analyzing and developing a system. Also it causes well-responsibility in other techniques such as Formal Verification, Formal Validation and Software Testing.