| UML类图的形式化及分析 |
| |
| 引用本文： | 韦银星,张申生,曹健. UML类图的形式化及分析[J]. 计算机工程与应用, 2002, 38(10): 5-7,46 |
| |
| 作者姓名： | 韦银星 张申生 曹健 |
| |
| 作者单位： | 上海交通大学计算机系计算机集成技术研究室,上海,200030 |
| |
| 基金项目： | 国家863高技术研究发展计划/CIMS项目资助(编号:2001AA415310)，国家自然科学基金项目资助(编号:60073035) |
| |
| 摘 要： | 统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。
|
| 关 键 词： | 统一建模语言 对象约束语言 Z 形式化方法 |
| 文章编号： | 1002-8331-(2002)10-0005-03 |
A Formalization and Analysis of UML Class Diagram |
| |
| Wei Yinxing Zhang Shensheng Cao Jian. A Formalization and Analysis of UML Class Diagram[J]. Computer Engineering and Applications, 2002, 38(10): 5-7,46 |
| |
| Authors: | Wei Yinxing Zhang Shensheng Cao Jian |
| |
| Abstract: | The Unified Modeling Language(UML )is a common graphical modeling language.It has become a de facto standard in the analyzing and designing the object oriented system.However,the UML is not a formal language,it lacks of precise semantics.Some problems are resulted in because of this.Z is a widely used formal specification language.It suits for precisely representing the syntax and semantics of a model.In this paper,Z notation is used to represent the elements of class diagram of the UML in the syntax,semantics and mapping between them.Finally some properties of the UML class diagram is analyzed and verified. |
| |
| Keywords: | Unified Modeling Language Object Constraint Language Z formal method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
