计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2006年
22期
4331-4333
,共3页
UML%一致性%冗余%限制%建模
UML%一緻性%冗餘%限製%建模
UML%일치성%용여%한제%건모
主要对UML建模过程中出现的各个制品之间的不一致性问题进行了研究,首先从不一致性产生的源泉出发将设计中的不一致性定义为冗余、符合、变化3个类分别进行分析,并给出了不一致性的检测和解决一致性的元模型法、限制语言法和形式符号法3种途径,最后说明了在实际工作中发现的问题,为以后的研究提供了进一步的方向.
主要對UML建模過程中齣現的各箇製品之間的不一緻性問題進行瞭研究,首先從不一緻性產生的源泉齣髮將設計中的不一緻性定義為冗餘、符閤、變化3箇類分彆進行分析,併給齣瞭不一緻性的檢測和解決一緻性的元模型法、限製語言法和形式符號法3種途徑,最後說明瞭在實際工作中髮現的問題,為以後的研究提供瞭進一步的方嚮.
주요대UML건모과정중출현적각개제품지간적불일치성문제진행료연구,수선종불일치성산생적원천출발장설계중적불일치성정의위용여、부합、변화3개류분별진행분석,병급출료불일치성적검측화해결일치성적원모형법、한제어언법화형식부호법3충도경,최후설명료재실제공작중발현적문제,위이후적연구제공료진일보적방향.