基于重写逻辑的UML模型一致性检查方法  

Method of Checking Consistency of a UML Model Based on Rewriting Logic

作　　者：尹剑飞[1] 郭荷清[1] 欧毓毅[1] 

机构地区：[1]华南理工大学计算机科学与工程学院,广州510641

出　　处：《计算机工程》2006年第8期23-25,31,共4页Computer Engineering

基　　金：国家"973"计划基金资助项目(G20000263)

摘　　要：在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仅提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的设计时和运行时语义一致性,其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则。该方法为保持面向可执行的UML模型的一致性提供了有效支持。Keeping the consistency of a UML model is very important under the model-driven development scene, Currently only limited support is provided by most UML or MDA tools. This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic, First, an implementation architecture based on two-level algebraic specifications is defined to check a UML model＇s semantic consistency of design-time and run-time, then rewrite rules are defined to check the consistency of multi-diagrams which include class diagrams, state machine diagrams and sequence diagrams, etc, The method can provide an effective support for keeping the consistency of executable-oriented UML models.

关 键 词：模型检查 重写逻辑 代数规范 UML 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]