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

Checking consistency of UML model based on multi-domain

作　　者：许培嘉[1] 赵合计[1] 

机构地区：[1]山东大学齐鲁软件学院,山东济南250101

出　　处：《计算机工程与设计》2005年第5期1355-1357,1372,共4页Computer Engineering and Design

摘　　要：任何模型的表示都是要有意义的、一致的,通常的解决办法是加强约束。给出了在当前软件开发过程中的解决方案。约束和语义的关系是一致性检测的基础。对建模过程中模型受到的各个域的约束进行分级:从专家系统的知识根基中引入即成建模规则并且用约束构造型定义了不一致性的类型、级别和严重程度,因此可以向用户发出警告并且帮助用户改正甚至完善模型。Any representation of model is required to be meaningful and consistent. A general solution is to enforce constraints. How to implement this solution in current software development process is shown. Checking consistency is based on the relationship between constraints and semantics. Classification for model coming under constraints of multi-domain in modeling process, and well established modeling rules from the knowledge base of an expert system are introduced and the constraint stereotype to define the type, level and seriousness of the inconsistency is used. Thus it is possible to warn users and help them correct and even improve their models.

关 键 词：一致性 域 UML模型 建模规则 软件开发 

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]