基于多个域的UML模型的一致性检测

摘要：

任何模型的表示都是要有意义的、一致的,通常的解决办法是加强约束.给出了在当前软件开发过程中的解决方案.约束和语义的关系是一致性检测的基础.对建模过程中模型受到的各个域的约束进行分级:从专家系统的知识根基中引入即成建模规则并且用约束构造型定义了不一致性的类型、级别和严重程度,因此可以向用户发出警告并且帮助用户改正甚至完善模型.

关键词：一致性、域、UML、建模规则

所属期刊栏目：26

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2005-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1355-1357,1372