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

　第 38 卷 增刊 上 海 交 通 大 学 学 报 V o l. 38 Sup. 　 　2004 年 10 月 JOU RN AL O F SHAN GHA I J IA O TON G U N IV ER S IT Y O ct. 2004　 　　文章编号:(2004) S 10 15905 基于元模型架构的U M L 类图到 PV S 规范的转化方法 潘乐云, 　刘　飞, 　马范援 (上海交通大学 计算机科学与工程系, 上海 200030) 摘　要: UM L 是一种非形式化的面向对象建模语言, 它缺少精确的语义定义; PV S 规范则是一种 具有精确语义定义的形式化规范语言, 通过 PV S 规范给UM L 图形赋予精确的语义可以结合两者 的优势. 为此, 提出了一个将UM L 类图转换成PV S 规范的框架. 按照UM L 的4 层架构, 依次对元 元模型、元模型以及UM L 图形进行转换, 并且前一次转换所得到的规范可以为后面的转换提供上 下文背景. 与其他方法相比, 这种分层转化的方法降低了转换难度, 保证了转换的正确性, 保持了 UM L 模型更完整的语义成分. 关键词: 统一建模语言; 元模型; PV S 规范; 转换 中图分类号: T P 30 1. 2; T P 3 11. 5　　　文献标识码: A M e ta m od e ling A rch ite c tu re B a s e d M e thod fo r T ra n s fo rm ing UML C la s s D ia g ram in to PV S S p e c ific a t ion , 　 , 　 PA N L e y un L I U F e i M A F an y uan ( . . , . , 200030, ) D ep t o f Com p u ter Scien ce En g Sh an gh a i J iao ton g U n iv Sh an gh a i Ch in a : . , A b s tra c t UM L h a s b ecom e th e de facto stan dard fo r object o r ien ted m o delin g H ow ever it is st ill an in .