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

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

  1. 1、本文档共5页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
基于元模型架构的UML类图到PVS规范的转化方法.pdf

 第 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 .

文档评论(0)

ziyouzizai + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档