UML Statecharts的模型检验方法

董威; 王戟; 齐治昌

首页> 中文期刊> 《软件学报》 >UML Statecharts的模型检验方法

UML Statecharts的模型检验方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.

著录项

来源
《软件学报》 |2003年第4期|750-756|共7页
作者
董威; 王戟; 齐治昌;
展开▼
作者单位

国防科学技术大学;

计算机学院;

湖南;

长沙;

410073;

国防科学技术大学;

计算机学院;

湖南;

长沙;

410073;

国防科学技术大学;

计算机学院;

湖南;

长沙;

410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
UML(unified modeling language); Statecharts; 模型检验; ω自动机;

相似文献

中文文献
外文文献
专利

1. UML Statecharts的切片模型检验方法 [J] . 董威 ,王戟 ,齐治昌 . 电子学报 . 2002,第0z1期
2. UML Statecharts的切片模型检验方法 [J] . 董威 ,王戟 ,等 . 电子学报 . 2002,第12A期
3. 基于EMC和HA的UML Statecharts检测研究 [J] . 王佳婧 ,冯长宝 ,佟鑫 . 通讯世界 . 2017,第016期
4. 基于UML Statechart的人机交互界面建模 [J] . 刘舒婷 ,刘立辉 . 电子世界 . 2014,第022期
5. UML Statechart在嵌入式数控系统软件中的应用研究 [J] . 董伯麟 ,朱华炳 ,罗祖平 . 组合机床与自动化加工技术 . 2012,第011期
6. 面向属性的UML Statecharts测试生成 [C] . 李书浩 ,王戟 ,齐治昌 . 2003中国计算机大会 . 2003
7. 基于扩展UML statecharts的协议一致性测试方法的研究 [A] . 费立志 . 2006

UML Statecharts的模型检验方法

摘要

著录项

相似文献

相关主题

期刊订阅