Abstract: The UML Class Diagram which describes the static view shows the classes of the system and the relationships among the classes. Because UML lacks of precise semantics, a method is proposed to express the formal semantics of the class diagrams based on the

Key words: UML2. 0 class diagram, Formal description, XYZ/E