Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E.

• 基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。