[发明专利]一种需求模型到仿真模型的模型转换方法在审
申请号: | 201410727954.2 | 申请日: | 2014-12-03 |
公开(公告)号: | CN104484518A | 公开(公告)日: | 2015-04-01 |
发明(设计)人: | 郭鹏;李亚晖;牛文生;张亚棣;叶宏 | 申请(专利权)人: | 中国航空工业集团公司第六三一研究所 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 西安智邦专利商标代理有限公司 61211 | 代理人: | 胡乐 |
地址: | 710119 *** | 国省代码: | 陕西;61 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明针对需求模型难以验证的问题,提出了一种从需求模型到仿真模型的转换方法,能够实现需求模型到仿真模型的自动转换。该转换方法,首先设计需求模型到仿真模型的转换框架,在此基础上,分别设计需求模型元模型,仿真模型元模型,以及需求模型元模型到仿真模型元模型的转换规则,最终实现需求模型到仿真模型的自动转换。该方法实现需求模型和仿真两种异构模型同构化,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为飞行控制系统,高速铁路控制,机载航电系统等嵌入式软件开发提供了技术支持。 | ||
搜索关键词: | 一种 需求 模型 仿真 转换 方法 | ||
【主权项】:
一种需求模型到仿真模型的模型转换方法,包括以下主要步骤:1)建立需求模型到仿真模型的模型转换框架;模型转换框架分为三层:元元模型层(M3层)、元模型层(M2)、模型层(M1),元元模型能够生成需求模型元模型、仿真模型元模型以及ATL语言;需求模型元模型能够生成需求模型,仿真模型元模型能够生成仿真模型,ATL语言能够生成ATL模型;2)建立需求模型元模型在模型转换框架的元元模型的基础上,根据用户选择的需求模型的语义和语法,构造需求模型元模型,需求模型元模型分为三类:数据类型元模型、对象元模型和连接元模型;3)建立仿真模型元模型在模型转换框架的元元模型的基础上,参照需求模型元模型的结构,构造仿真模型元模型,仿真模型元模型也分为三类:数据类型元模型、对象元模型和连接元模型;4)建立需求模型元模型和仿真模型元模型的映射关系建立需求模型元模型和仿真模型元模型之间数据类型元模型的映射、对象元模型的映射和连接元模型的映射。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国航空工业集团公司第六三一研究所,未经中国航空工业集团公司第六三一研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201410727954.2/,转载请声明来源钻瓜专利网。