一种软件自适应UML建模及其形式化验证方法

韩德帅; 杨启亮; 邢建春

首页> 中文期刊> 《软件学报》 >一种软件自适应UML建模及其形式化验证方法

一种软件自适应UML建模及其形式化验证方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.

著录项

来源
《软件学报》 |2015年第4期|730-746|共17页
作者
韩德帅; 杨启亮; 邢建春;
展开▼
作者单位

解放军理工大学国防工程学院;

江苏南京210007;

解放军理工大学国防工程学院;

江苏南京210007;

计算机软件新技术国家重点实验室(南京大学);

江苏南京210093;

解放军理工大学国防工程学院;

江苏南京210007;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
软件自适应; 自适应软件; 软件建模; 形式化验证;

相似文献

中文文献
外文文献
专利

1. 航天嵌入式软件整数溢出的形式化验证方法 [J] . 高猛 ,滕俊元 ,王政 . 软件学报 . 2021,第010期
2. 刍议面向航天器星载软件的形式化验证方法 [J] . 王明亮 ,王永 ,尤志坚 . 电脑知识与技术 . 2020,第025期
3. 基于时间STM的软件形式化建模与验证方法∗ [J] . 侯刚 ,周宽久 ,常军旺 . 软件学报 . 2015,第002期
4. 一种面向UEFI模块的形式化建模与验证方法 [J] . 王冠 ,郝晓星 . 计算机技术与发展 . 2021,第012期
5. 一种代币智能合约的形式化建模与验证方法 [J] . 欧阳恒一 ,熊焰 ,黄文超 . 计算机工程 . 2020,第010期
6. 形式化软件验证方法及其研究进展 [C] . 薛小平 ,武青云 ,张芳 . 上海市电机工程学会、上海市电工技术学会第十二届（2016年）学术年会 . 2016
7. 机载软件建模及其形式化验证方法研究 [A] . 张程灏 . 2020

一种软件自适应UML建模及其形式化验证方法

摘要

著录项

相似文献

相关主题

期刊订阅