%0 Journal Article
%T uml2．0类图的一种形式化描述方法
%J 计算机科学
%D 2007
%X uml类图是根据系统中的类，以及各个类之间的关系来描述系统的静态视图。基于uml缺乏精确语义描述的不足，我们提出了基于时序逻辑语言xyz／e来表示类图形式化语义的方法。通过对uml2．0类图元素及其特点的分析，找出类图元素的形式化描述规则，利用转换法实现了对uml2．0类图的xyz／e形式化描述。
%K uml2．0类图形式化描述xyz／e
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=23783907&flag=1