主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
张天,Frédéric JOUAULT,Christian ATTIOGBé,Jean BéZIVIN,李宣东.基于MDE的异构模型转换:从MARTE模型到FIACRE模型.软件学报,2009,20(2):214-233
基于MDE的异构模型转换:从MARTE模型到FIACRE模型
MDE-Based Mode Transformation: From MARTE Model to FIACRE Model
投稿时间:2008-04-02  修订日期:2008-07-03
DOI:
中文关键词:  模型驱动工程  形式化方法  MARTE(modeling and analysis of real time and embedded systems)  FIACRE (intermediate format for the architectures of embedded distributed components)  异构性
英文关键词:MDE (model-driven engineering)  formal method  MARTE (modeling and analysis of real time and embedded systems)  FIACRE (intermediate format for the architectures of embedded distributed components)  heterogeneous
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60425204 (国家自然科学基金); the National Basic Research Program of China under Grant No.2002CB312001 (国家重点基础研究发展计划(973)); the National High-Tech Research and Development Plan of China under Grant No.2007AA010302 (国家高技术研究发展计划(863)); the Natural Science Foundation of Jiangsu Province of China under Grant No.BK2007714 (江苏省自然科学基金)
作者单位
张天 南京大学 计算机科学与技术系,江苏 南京 210093
南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093
ATLAS Team, INRIA & LINA, Nantes University, Nantes 44300, France 
Frédéric JOUAULT ATLAS Team, INRIA & LINA, Nantes University, Nantes 44300, France 
Christian ATTIOGBé COLOSS Team, LINA, Faculty of Science, Nantes University, Nantes 44300, France 
Jean BéZIVIN ATLAS Team, INRIA & LINA, Nantes University, Nantes 44300, France 
李宣东 南京大学 计算机科学与技术系,江苏 南京 210093
南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093 
摘要点击次数: 3374
全文下载次数: 4947
中文摘要:
      通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real timeand embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实 用性.
英文摘要:
      This paper presents a representative case study of bridging UML/MARTE (unified modeling language/ modeling and analysis of real time and embedded systems) to FIACRE (intermediate format for the architectures of embedded distributed components), and discusses in detail two sub-problems of semantic mapping and syntactic transformation respectively. At the semantic level, the semantic mapping rules are developed using model transformation technology so as to implement the transformation between metamodels. At the syntactic level, the concrete syntax rules are built on the metamodels so that textual programs could be generated. Based on the case study, the general framework and corresponding key techniques are discussed. In addition, both the advantages and deficiencies of the work are concluded.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利