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

摘要：

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

关键词：对象约束语言、规约、UML模型、验证

所属期刊栏目：39

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

资助基金：国家自然科学基金60879022/F01

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

页数：共4页

页码：289-292