| 基于重写逻辑的UML模型一致性检查方法 |
| |
| 引用本文： | 尹剑飞,郭荷清,欧毓毅. 基于重写逻辑的UML模型一致性检查方法[J]. 计算机工程, 2006, 32(8): 23-25,31 |
| |
| 作者姓名： | 尹剑飞 郭荷清 欧毓毅 |
| |
| 作者单位： | 华南理工大学计算机科学与工程学院,广州,510641;华南理工大学计算机科学与工程学院,广州,510641;华南理工大学计算机科学与工程学院,广州,510641 |
| |
| 摘 要： | 在模型驱动开发的场景下，保证UML模型的一致性具有重要意义，但目前大多数UML／MDA工具仪提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的没讣时和运行时语义一致性，其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则。该方法为保持面向可执行的UML模型的一致性提供了有效支持。
|
| 关 键 词： | 模型检查 重写逻辑 代数规范 UML |
| 文章编号： | 1000-3428（2006）08-0023-03 |
| 收稿时间： | 2005-04-12 |
| 修稿时间： | 2005-04-12 |
Method of Checking Consistency of a UML Model Based on Rewriting Logic |
| |
| YIN Jianfei,GUO Heqing,OU Yuyi. Method of Checking Consistency of a UML Model Based on Rewriting Logic[J]. Computer Engineering, 2006, 32(8): 23-25,31 |
| |
| Authors: | YIN Jianfei GUO Heqing OU Yuyi |
| |
| Affiliation: | College of Computer Science and Engineering, South China University of Technology, Guangzhou 510641 |
| |
| Abstract: | 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. |
| |
| Keywords: | UML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
