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

• 作者: 尹剑飞 欧毓毅 郭荷清
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 模型检查 重写逻辑 代数规范 UML
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 博士论文
• 页码范围: 23-25,31
• 页数: 4页
• 分类号: TP302
• 字数: 3940字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.08.009

摘要

在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仅提供了有限支持.该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法.首先定义了基于两级代数规范的实施构架以分别检查UML模型的设计时和运行时语义一致性,其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则.该方法为保持面向可执行的UML模型的一致性提供了有效支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭荷清	华南理工大学计算机科学与工程学院	97	1247	18.0	32.0
2	尹剑飞	华南理工大学计算机科学与工程学院	6	33	3.0	5.0
3	欧毓毅	华南理工大学计算机科学与工程学院	9	101	5.0	9.0