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

Checking consistency of UML model based on multi-domain

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

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.