UML2.0类图的一种形式化描述方法

摘要：

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

关键词：UML2.0类图、形式化描述、XYZ/E

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：江苏省高校自然科学基金05KJB520119;重庆市自然科学基金CSTC;2006BB2259;重庆市教委资助项目040803

在线出版日期：2007-04-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：277-279,288