摘要
UML作为一种通用的可视化建模语言已被广泛应用,但UML模型的一致性问题一直限制着在软件开发中更有效地应用UML。本文阐述了UML模型一致性的相关概念,介绍了一种以OCL表示模型的一致性规则、并基于这些对模型进行一致性检查的方法。将此方法实现为一致性检查工具,提供了模型分析、语法检查和模型一致性检查等功能。
UML is extensively applied as a common visual modeling language.But the consistency problems of UML models limit the availability of using UML in the software development.This article introduces some notions about UML model consistency,and proposes an approach to checking UML model consistency by using OCL expressions to describe consistency rules.The consistency checking tool can analyze the UML model,check the syntax of OCL expressions,and check the model consistency.
出处
《计算机与现代化》
2009年第12期63-67,共5页
Computer and Modernization
