从UML状态图到PVS规范的自动转换、验证

赖明志; 尤晋元

首页> 中文期刊> 《电子学报》 >从UML状态图到PVS规范的自动转换、验证

从UML状态图到PVS规范的自动转换、验证

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

将UML(统一建模语言)图形转换成形式化规范是一种精确化UML语义、扩大形式化软件方法适用范围的有效途径.PVS是一种通用高阶逻辑形式化规范语言,具有很强的描述能力以及丰富的定理证明、模型验证工具支持.本文论证了使用PVS来对UML进行形式化的优势,并且给出了UML的状态图到PVS 规范的转换模型与规则.

著录项

来源
《电子学报》 |2002年第z1期|2122-2125|共4页
作者
赖明志; 尤晋元;
展开▼
作者单位

上海交通大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
UML状态图; PVS; 层次自动机模型; 模型验证;

相似文献

中文文献
外文文献
专利

1. 从UML状态图到PVS规范的自动转换、验证 [J] . 赖明志 ,尤晋元 . 电子学报 . 2002,第12A期
2. 超长整数运算的PVS规范与验证 [J] . 孙国栋 ,牛晋刚 . 计算机工程与应用 . 2015,第003期
3. 基于时序描述逻辑的UML状态图形式化验证 [J] . 陈振庆 . 制造业自动化 . 2012,第002期
4. 基于DL-Safe规则的UML状态图形式化和一致性验证 [J] . 何红悦 ,宋自林 ,周波 . 郑州大学学报（理学版） . 2009,第001期
5. 一种基于扩展UML状态图的并发工作流验证方法 [J] . 陆公正 ,吴澜波 ,顾小晶 . 电脑知识与技术 . 2009,第001期
6. 基于PVS的FSM协议模型的验证与分析 [C] . 彭菲 ,刘一兰 ,彭进 . 第十四届中国计算机学会网络与数据通信学术会议 . 2004
7. 基于Petri网的UML状态图的形式化验证 [A] . 王冕 . 2013

从UML状态图到PVS规范的自动转换、验证

摘要

著录项

相似文献

相关主题

期刊订阅