UML用例图的Z形式规范

• 作者: 曹步文 汤小康 王志刚
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 统一建模语言 用例图 形式化 Z语言
• 年，卷（期）: 2006,（11）
• 页码范围: 12-13,16
• 页数: 3页
• 分类号: TP311
• 字数: 1781字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2006.11.004

摘要

统一建模语言UML已经成为面向对象建模语言的标准,用例图在面向对象的软件开发过程中起着重要的作用,但是它缺乏Z形式语言的精确性.为了对它的描述更加精确,本文使用Z语言给出UML中用例图的形式化描述,并将其应用在一个简单的图书馆管理系统中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹步文	湖南师范大学数学与计算机学院	3	87	3.0	3.0
2	王志刚	湖南师范大学数学与计算机学院	54	127	6.0	9.0
3	汤小康	湖南师范大学数学与计算机学院	2	50	2.0	2.0