摘要
主要对UML建模过程中出现的各个制品之间的不一致性问题进行了研究,首先从不一致性产生的源泉出发将设计中的不一致性定义为冗余、符合、变化3个类分别进行分析,并给出了不一致性的检测和解决一致性的元模型法、限制语言法和形式符号法3种途径,最后说明了在实际工作中发现的问题,为以后的研究提供了进一步的方向。
The question within all kinds of products in UML modeling process is described. First, the consistency in design is divided into three classes: Redundancy, conformance to constraints and standards, and change in according to the resource of consistency, Second, the meta-modeling approaches, constraint language approaches and fornal notation approaches for detecting and resolving inconsistency are introduced. Some questions founded in real work are listed at last, which provide the direction of future research.
出处
《计算机工程与设计》
CSCD
北大核心
2006年第22期4331-4333,共3页
Computer Engineering and Design
关键词
UML
一致性
冗余
限制
建模
UML
consistency
redundancy
constraint
model