【作者】 张君峰； 李忠； 赵合计；

【Author】 ZHANG Jun-feng, LI Zhong,ZHAO He-ji (Department of Qilu Software Shandong University, Jinan, 250101, China)

【机构】 青岛科技大学； 山东大学计算机科学与技术学院；

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

【Abstract】 Any representation of model must be meaningful and consistent. A general solution is to enforce constraints. This paper shows bow to implement this solution in current software development process. Consistency checking is based on the relationship between constraints and semantics. This paper classifies constraints applied on multiple domains of the model coining in the modeling process, introduces well established modeling rules from the knowledge base of an expert system and uses the constraint stereotype to define the types, levels and seriousness of the inconsistency. Thus it is possible to give warning to the users and help them correct or improve their models.更多还原