【摘 要】
：
模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模
【机 构】
：
北京科技大学计算机与通信工程学院,高可信软件技术教育部重点实验室北京大学
【基金项目】
：
国家“九七三”重点基础研究发展计划基金项目(2013CB329601);国家自然科学基金项目(61300009,61272159);中国博士后科学基金项目(2013M540050);中央高校基本科研业务费专项资金资助项目(FRF-TP-14-040A2)
论文部分内容阅读
模型转换是模型驱动开发的核心操作,它通常被实现成一种特殊的程序.模型转换可以实现不同模型、模型和代码,以及模型和各种结构化文档之间的转换.随着模型驱动方法的发展,模型转换正在被运用到越来越复杂的问题上,从而导致越来越庞大的规模和越来越复杂的程序结构.为了更好地控制转换开发过程中的复杂性,需要一种图形化的建模语言,支持对转换程序的分析和设计.提出一种针对模型转换程序的可视化建模语言VisTML（the visual transformation modeling language）.它包含7种不同的视图,每
其他文献
本文介绍了高教社在支持全国大学生数学建模竞赛的过程中,致力于数学建模教材及相关资料的出版;搭建各级各类交流研讨平台,扩大数学建模的影响力;与组委会共同组织数学建模类
以玉米淀粉为原料,添加适量的增强剂和增塑剂,制作了可作为食品新鲜度指示卡基材的玉米淀粉膜。研究了搅拌速度、超声功率、流延方法等工艺条件,对玉米淀粉膜的外观、力学性
小学生对周围世界保持的高昂好奇心是学生能够积极投入科学课堂的强大动力。在学生的年龄日益增长、课外知识日益丰富而对科学的好奇心日益降低的状况下,笔者结合"降落伞"一
世界上许多国家都面临着不同程度的湖泊富营养化问题，由湖泊富营养化引起的蓝藻“水华”暴发是当今社会频繁发生的环境灾害之一。在大多数情况下，磷是最主要的限制因子，磷在水体
<正> 1957—1960年,地质部13大队和新疆地质局在该区广泛地进行了区测工作,取得了较丰富的成果。在此期间,笔者参加了部分调查工作。本文是根据这些资料,经综合研究拟写的。
畜牧业是国民经济的基础产业、关系千家万户的民生产业和山区农民脱贫致富的支柱产业。大力发展畜牧产业，对于发展农村经济，增加农民收入，拓宽就业渠道，保障市场供应，促进国民经济
针对K2算法学习贝叶斯网络结构时需要确定节点顺序的问题,提出一种混合贝叶斯网络结构学习算法。在给定数据集的情况下,利用MMPC算法获得网络的初始结构图,应用广度优先搜索
北京昌平马彩云法官被杀案再一次把公众的视线拉回法官人身安全保障这一现实问题上,根据现有的数据,2000年迄今共有298起法官人身遭受伤害的案件发生。完善立法、加强法官自
<正> 一、问题的提出山东省水利系统应用物探解决地下水源勘察已有近廿年的历史。探测方法大致有:1.电剖面法(包括联合剖面法、四极对称电剖面法和中间梯度法)配合一次场(电