基于元模型架构的UML类图到PVS规范的转化方法

潘乐云; 刘飞; 马范援

首页> 中文期刊> 《上海交通大学学报》 >基于元模型架构的UML类图到PVS规范的转化方法

基于元模型架构的UML类图到PVS规范的转化方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

UML是一种非形式化的面向对象建模语言,它缺少精确的语义定义;PVS规范则是一种具有精确语义定义的形式化规范语言,通过PVS规范给UML图形赋予精确的语义可以结合两者的优势.为此,提出了一个将UML类图转换成PVS规范的框架.按照UML的4层架构,依次对元元模型、元模型以及UML图形进行转换,并且前一次转换所得到的规范可以为后面的转换提供上下文背景.与其他方法相比,这种分层转化的方法降低了转换难度,保证了转换的正确性,保持了UML模型更完整的语义成分.

著录项

来源
《上海交通大学学报》 |2004年第z1期|159-163|共5页
作者
潘乐云; 刘飞; 马范援;
展开▼
作者单位

上海交通大学计算机科学与工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;软件工程;
关键词
统一建模语言; 元模型; PVS规范; 转换;

相似文献

中文文献
外文文献
专利

1. 基于描述逻辑ALCUQI的UML类图元模型形式化方法 [J] . 杨小钢 . 现代计算机（专业版） . 2018,第025期
2. 基于PVS的UML类图和序列图的一致性检验 [J] . 刘晓健 ,陈平 . 系统工程与电子技术 . 2004,第010期
3. UML类图元模型基于描述逻辑的表示及验证 [J] . 李晶晶 ,江涛 ,郭雨婷 . 云南民族大学学报（自然科学版） . 2015,第004期
4. 基于元模型的XML Schema到UML类图的转换 [J] . 黄陇 ,杨宇航 . 计算机工程与应用 . 2010,第023期
5. 形式化B方法到UML类图的转化研究及应用 [J] . 邹盛荣 ,郭忠伟 ,彭昱静 . 计算机时代 . 2009,第003期
6. 基于元模型的状态图至Petri网转化方法研究 [C] . 何建伟 ,姚淑珍 . 2007全国软件及其应用学术会议 . 2007
7. 基于三层架构的软件代码规范化生成方法研究 [A] . 骆辉德 . 2015

基于元模型架构的UML类图到PVS规范的转化方法

摘要

著录项

相似文献

相关主题

期刊订阅