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

尹剑飞; 郭荷清; 欧毓毅

首页> 中文期刊> 《计算机工程》 >基于重写逻辑的UML模型一致性检查方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2006年第8期|23-2531|共4页
作者
尹剑飞; 郭荷清; 欧毓毅;
展开▼
作者单位

华南理工大学计算机科学与工程学院;

广州;

510641;

华南理工大学计算机科学与工程学院;

广州;

510641;

华南理工大学计算机科学与工程学院;

广州;

510641;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计与性能分析;
关键词
模型检查; 重写逻辑; 代数规范; UML;

相似文献

中文文献
外文文献
专利

1. 基于FSM的UML模型与代码一致性动态检测 [J] . 王雷 ,张帅 ,宋慧娜 . 延安大学学报（自然科学版） . 2021,第004期
2. 基于Event-B形式化分析UML模型一致性 [J] . 夏志龙 ,高尚 . 江苏科技大学学报（自然科学版） . 2017,第003期
3. 基于UML模型的多态性与Java接口代码信息一致性检测的方法 [J] . 余双双 ,曾一 ,刘慧君 . 计算机应用与软件 . 2017,第002期
4. 基于有限状态机理论的UML模型一致性检测方法研究 [J] . 刘舒婷 . 电子技术与软件工程 . 2015,第021期
5. 基于回答集编程的UML模型不一致性修正 [J] . 王洁 ,艾莹莹 ,赵丽丽 . 计算机工程 . 2011,第S1期
6. 基于Büchi自动机的UML模型一致性研究 [C] . 张自强 ,何安平 ,刘林霞 . 2009年中国信息技术应用学术研讨会 . 2009
7. 基于动态逻辑的UML模型一致性检验 [A] . 郑炳喜 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅