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

摘要：

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

关键词：UML、OCL、模型一致性、约束、一致性检测、工具

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2010-01-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：63-67