基于MDE的异构模型转换：从MARTE模型到FIACRE模型

来源 :软件学报 | 被引量 : 0次 | 上传用户：gidzkid

【摘要】

：

通过研究一个具有代表性的UML／MARTE（unified modeling language／modeling and analysis of real time and embedded systems）模型向FIACRE（intermediate format for the architec

【作者】

：

张天 Frédéric JOUAULT

【机构】

：

南京大学计算机科学与技术系,南京大学计算机软件新技术国家重点实验室,ATLASTeam,COLOSSTeam

【出处】

：

软件学报

【发表日期】

：

2009年2期

【关键词】

：

模型驱动工程形式化方法 MARTE(modeling and analysis of real time and embedded systems) FIAC

【基金项目】

：

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 Nati

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

通过研究一个具有代表性的UML／MARTE（unified modeling language／modeling and analysis of real time and embedded systems）模型向FIACRE（intermediate format for the architectures of embedded distributed components）形式模型的转换实例，探讨了异构模型之间在语义和语法层的相互转换问题．在语义层，通过模型转换技术构造语义映射规则，实现元语言之间的

其他文献

浅谈高职英语阅读教学

英语阅读是以文章为语言实体和信息载体对书面信息认知构建的言语过程。高职英语阅读教学是培养学生成为能利用英语快速获取各种信息,并具有高职专业知识技能和外语交际能力

期刊

高职英语阅读教学阅读

江苏无锡技师学院实行职业资格证书制度的调查与研究

介绍无锡技师学院实行职业资格证书制度的基本情况和体会,分析职业资格证书制度的实施与深化学校管理体制改革、促进学校教育与教研改革,密切学校与劳动就业的联系之间的相互

期刊

无锡技师学院职业资格证书制度学校管理调查研究教学计划就业分配制度

在物理教学中培养学生的创新能力

本文从物理教学方面论述了培养医学专业的学生创新能力的方法.

期刊

物理教学创新能力医学专业医学院校教学内容研究式学习

浅谈大学生信息素养与高校图书馆

信息素养教育是信息社会发展的客观需要,是培养新型人才的重要内容;高校图书馆在信息素养教育中有其得天独厚的信息与人力资源优势;在信息素养教育过程中,应在信息意识、信息

期刊

信息素养高等教育高校图书馆

居民住宅投资的回报与风险

随着城市居民住房消费的快速增长,居民住宅投资渐渐进入投资的视野.本文认为,与其他投资工具比较,在短期内,住宅投资具有高回报低风险的特点,但从长期看,随着供给量的加大,以

期刊

房地产居民住宅投资回报风险

Authorware中Windows标准菜单的实现

在课件和演示中为了方便,有时需要用Authorware实现Windows标准菜单.本设计在主流线上把菜单实现分成三大块,主要通过Authorware提供的各种图标,交互响应中的热区响应、下拉

期刊

AUTHORWARE菜单课件响应按钮

析加拿大百年纪念学院的信息化建设

本文从加拿大构建信息高速公路、推动电子政务、电子商务的大背景出发,阐述了百年纪念学院的信息化历史进程、存在的问题、IT总体战略及管理体制;分析其遵循"以人为本"的原则

期刊

加拿大教育信息化虚拟学习空间分布式教学

知识经济时代大学生创新人格及其培养初探

本文从知识经济社会的特点和要求的角度,提出大学生创新人格的养成问题,并试图阐述大学生创新人格的内涵 ,陈述大学生创新人格养成的若干意见和建议.

期刊

知识经济创新人格内涵培养

论校园文明标语的思想性、语言特色及制作意义

从内容的角度对校园文明标语进行了分类：自然环境类、学习环境类、生活环境类、校园资源类以及其他各种宣传口号类。好的校园文明标语在语言上有鲜明的特色，比如：简洁、生动、含

期刊

校园文明标语含蓄修辞

一种高效非归并的XML小枝模式匹配算法

在XML数据库中，小枝模式查询是XML查询处理的核心操作．近几年，研究人员已提出许多种算法，如Holistic Twig和TJFast算法等．然而它们都是基于归并的，会有很高的计算代价．已提出的Twig2

期刊

小枝模式匹配归并主路径主结点谓词结点twig pattern matching merging main path main node pre

基于MDE的异构模型转换：从MARTE模型到FIACRE模型

与本文相关的学术论文