uml2．0类图的一种形式化描述方法

uml类图是根据系统中的类，以及各个类之间的关系来描述系统的静态视图。基于uml缺乏精确语义描述的不足，我们提出了基于时序逻辑语言xyz／e来表示类图形式化语义的方法。通过对uml2．0类图元素及其特点的分析，找出类图元素的形式化描述规则，利用转换法实现了对uml2．0类图的xyz／e形式化描述。