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

• 作者: 刘飞 潘乐云 马范援
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: 统一建模语言 元模型 PVS规范 转换
• 年，卷（期）: 2004,（z1）
• 页码范围: 159-163
• 页数: 5页
• 分类号: TP301.2|TP311.5
• 字数: 3473字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2004.z1.039

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘飞	上海交通大学计算机科学与工程系	20	155	7.0	11.0
2	马范援	上海交通大学计算机科学与工程系	64	1043	18.0	31.0
3	潘乐云	上海交通大学计算机科学与工程系	3	16	3.0	3.0