用数据精化验证UML模型演化

• 作者: 刘晓建 李战怀
• 来源期刊: 西北工业大学学报
• 学科: 工学
• 关键词: 面向对象 UML 数据精化
• 年，卷（期）: 2007,（1）
• 页码范围: 117-121
• 页数: 5页
• 分类号: TP311
• 字数: 4091字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2758.2007.01.025

摘要

基于UML模型的软件开发正在成为主流的软件开发方法,但是UML缺乏精确语义的缺陷阻碍了对模型进行精确分析.本文采用基于状态的方法给出了UML分析和设计模型的形式定义,在数据精化的框架内研究了模型的精化问题,并通过一个实例说明了如何寻找模型状态空间之间的变换关系.该方法是对UML模型进行分析和验证的基础,也是开发自动设计工具的理论依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李战怀	西北工业大学计算机学院	254	2139	21.0	35.0
2	刘晓建	西北工业大学计算机学院	4	30	3.0	4.0