论文部分内容阅读
主要对UML建模过程中出现的各个制品之间的不一致性问题进行了研究，首先从不一致性产生的源泉出发将设计中的不一致性定义为冗余、符合、变化3个类分别进行分析，并给出了不一致性的检测和解决一致性的元模型法、限制语言法和形式符号法3种途径，最后说明了在实际工作中发现的问题，为以后的研究提供了进一步的方向。