UML类图的形式化及分析

• 作者: 张申生 曹健 韦银星
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 统一建模语言 对象约束语言 Z 形式化方法
• 年，卷（期）: 2002,（10）
• 所属期刊栏目: 博士论坛
• 页码范围: 5-7,46
• 页数: 4页
• 分类号: TP312
• 字数: 2306字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2002.10.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹健	上海交通大学计算机系计算机集成技术研究室	147	2115	24.0	42.0
2	张申生	上海交通大学计算机系计算机集成技术研究室	160	3802	32.0	55.0
3	韦银星	上海交通大学计算机系计算机集成技术研究室	2	284	2.0	2.0