UML/OCL工具的一致性检查研究

• 作者: 朱鸿 游皓聃
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: UML OCL 模型一致性 约束 一致性检测 工具
• 年，卷（期）: 2009,（12）
• 所属期刊栏目: 软件工程
• 页码范围: 63-67
• 页数: 5页
• 分类号: TP311.5
• 字数: 4807字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2009.12.017

摘要

UML作为一种通用的可视化建模语言已被广泛应用,但UML模型的一致性问题一直限制着在软件开发中更有效地应用UML.本文阐述了UML模型一致性的相关概念,介绍了一种以OCL表示模型的一致性规则、并基于这些对模型进行一致性检查的方法.将此方法实现为一致性检查工具,提供了模型分析、语法检查和模型一致性检查等功能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	游皓聃	国防科学技术大学计算机学院	1	2	1.0	1.0
2	朱鸿	国防科学技术大学计算机学院	1	2	1.0	1.0