[发明专利]一种基于IMCL模型的异构式多平台代码生成方法有效
| 申请号： | 201810772287.8 | 申请日： | 2018-07-13 |
| 公开（公告）号： | CN108984163B | 公开（公告）日： | 2020-10-02 |
| 发明（设计）人： | 黄滟鸿;史建琦;李炬;李昂;蔡方达 | 申请（专利权）人： | 华东师范大学;上海丰蕾信息科技有限公司 |
| 主分类号： | G06F8/30 | 分类号： | G06F8/30;G06F8/76 |
| 代理公司： | 北京辰权知识产权代理有限公司 11619 | 代理人： | 刘广达 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于IMCL模型的异构式多平台代码生成方法，包括，采用IMCL语言，对目标系统的功能进行刻画，获得目标系统的功能模型；采用形式化方法，对所述功能模型进行分解，获得对应所述目标系统中的一个或多个平台的一个或多个平台模型；将所述一个或多个平台模型映射到对应的平台，从而对所述平台模型进行细节补充；在抽象语法树的基础上，根据所述一个或多个平台的特点，设计对应的转换规则，从而将所述一个或多个平台模型转化为对应的平台代码。本发明解决了现有技术难以同时对多平台代码进行生成的问题，将功能模型分解用以目标平台代码的自动生成，并通过程序切片方法以及基于形式化系统依赖图的分解方法保证了功能和功能间的约束关系的不变性。 | ||
| 搜索关键词： | 一种 基于 imcl 模型 异构式多 平台 代码 生成 方法 | ||
【主权项】：
1.一种基于IMCL模型的异构式多平台代码生成方法，其特征在于，包括：采用IMCL语言，对目标系统的功能进行刻画，获得目标系统的功能模型；采用形式化方法，对所述功能模型进行分解，获得对应所述目标系统中的一个或多个平台的一个或多个平台模型；将所述一个或多个平台模型映射到对应的平台，从而对所述平台模型进行细节补充；在抽象语法树的基础上，根据所述一个或多个平台的特点，设计对应的转换规则，从而将所述一个或多个平台模型转化为对应的平台代码。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学;上海丰蕾信息科技有限公司，未经华东师范大学;上海丰蕾信息科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810772287.8/，转载请声明来源钻瓜专利网。
