|
|||||
|
|
| UML2．0类图的一种形式化描述方法 | |
| 引用本文： | 杨敬中,张广泉,戎玫.UML2．0类图的一种形式化描述方法[J].计算机科学,2007,34(2):277-279. |
| 作者姓名： | 杨敬中 张广泉 戎玫 |
| 作者单位： | 1. 苏州大学计算机科学与技术学院 苏州 215006 2. 苏州大学计算机科学与技术学院 苏州 215006;重庆师范大学数学与计算机科学学院,重庆400047 3. 暨南大学深圳旅游学院 深圳 518053 |
| 基金项目： | 江苏省高校自然科学基金 , 重庆市自然科学基金 , 重庆市教委资助项目 |
| 摘 要： | UML类图是根据系统中的类，以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足，我们提出了基于时序逻辑语言XYZ／E来表示类图形式化语义的方法。通过对UML2．0类图元素及其特点的分析，找出类图元素的形式化描述规则，利用转换法实现了对UML2．0类图的XYZ／E形式化描述。 |
| 关 键 词： | UML2．0类图 形式化描述 XYZ／E |
A Kind of Formal Method to Describe UML2. 0 Class Diagram |
|
| YANG Jing-Zhong,ZHANG Guang-Quan,RONG Mei.A Kind of Formal Method to Describe UML2. 0 Class Diagram[J].Computer Science,2007,34(2):277-279. | |
| Authors: | YANG Jing-Zhong ZHANG Guang-Quan RONG Mei |
| Affiliation: | 1.School of Computer Science and Technology, Suzhou University, Suzhou 215006;2.School of Mathematics and Computer Science, Chongqing Normal University,Chongqing 400047;3.Shenzhen Tourism College, Jinan University, Shenzhen 518053 |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |