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

A Kind of Formal Method to Describe UML2.0 Class Diagram

作　　者：杨敬中[1] 张广泉[1] 戎玫[2] 

机构地区：[1]苏州大学计算机科学与技术学院,苏州215006 [2]暨南大学深圳旅游学院,深圳518053

出　　处：《计算机科学》2007年第2期277-279,288,共4页Computer Science

基　　金：江苏省高校自然科学研究项目(批准号:05KJB520119);重庆市自然科学基金项目(编号:CSTC;2006BB2259);重庆市教委科学技术研究项目(合同号:040803)

摘　　要：UML类图是根据系统中的类,以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足,我们提出了基于时序逻辑语言XYZ/E来表示类图形式化语义的方法。通过对UML2.0类图元素及其特点的分析,找出类图元素的形式化描述规则,利用转换法实现了对UML2.0类图的XYZ/E形式化描述。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 temporal logic language XYZ/E. By analyzing the elements of class diagrams and their characteristics, and finding the formal regulation, transition method is taken to realize the formal description of UML2.0 Class Diagrams.

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

分 类 号：TP311.134[自动化与计算机技术—计算机软件与理论]