可视化UML模型验证环境研究

• 作者: 付茂洺 王悠
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 对象约束语言 规约 UML模型 验证
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 289-292
• 页数: 4页
• 分类号: TP311
• 字数: 2369字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2010.02.029

摘要

针对非形式化的描述可能导致的不明确和不一致问题,提出并设计实现了一种基于OCL的、能对UML模型中类之间的关联及约束进行分析与验证的OUVE,使得在编写代码之前就能很好地验证类之间的关联关系,以及约束条件是否与实际的要求相符合,降低了由于不明确和不一致导致的设计、编程的错误以及所要付出的修改代价.