UML类图的形式化及分析

被引：12

作者：

韦银星

张申生

曹健

机构：

[1] 上海交通大学计算机系计算机集成技术研究室

来源：

计算机工程与应用 | 2002年 / 10期

关键词：

统一建模语言; 对象约束语言; Z; 形式化方法;

D O I：

暂无

中图分类号：

TP312 [程序语言、算法语言];

学科分类号：

摘要：

统一建模语言(UML)是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为事实上的工业标准。但是UML不是形式化的建模语言,缺乏精确的语义描述,因此会导致一些问题。Z是一种广泛使用的形式化规约语言,Z适合用来精确地表示模型的语法和语义。文章采用Z符号来表示UML类图的组成元素的语法和语义及其映射关系,最后对UML类图的一些性质进行分析和验证。

引用

页码：5 / 7+46 +46

页数：4