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