首页> 中文会议>第八届全国信号和智能信息处理与应用学术会议 >基于MDE的异构模型的转换研究:AADL到Fiacre

基于MDE的异构模型的转换研究:AADL到Fiacre

页面导航

摘要
著录项
相似文献
相关主题

摘要

AADL是一种基于构件的建模语言，采用结构化的描述来对嵌入式系统的软硬件进行统一建模。AADL为在软件开发过程中采用形式化方法提供了重要的支持，通过研究AADL模型结构和Fiacre的模型特征,探讨了从AADL模型到Fiacre模型转换问题.在语义层,通过构造模型转换的语义映射规则,实现元语言之间的转换,通过构造元模型的具体语法,并且定义反应元语言的语法转换规则,从而产生目标模型的程序实体.指出模型转换是模型驱动开发中一项很重要的内容，通过模型转换不同工具之间可以共享模型，对模型进行分析和修改，从而达到完善模型的目的。其次，通过模型转换也有助于重用不同开发方法的验证途径和支撑工具，通过将一种软件系统规约形式转换到不同的模型上，就可以用该模型的验证工具对现有的规约进行验证。

著录项

来源
《第八届全国信号和智能信息处理与应用学术会议》|2014年|67-70|共4页
会议地点北京
作者
YU Rong; 喻蓉; ZHAO Zhongwen; 赵忠文;
展开▼
作者单位

中国高科技产业化研究会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
软件开发; 建模语言; 模型转换; 功能验证;

相似文献

中文文献
外文文献
专利

1. 基于MDE的模型转换研究：从AADL模型到Fiacre模型 [J] . 刘玮 . 电子技术与软件工程 . 2015,第021期
2. 基于MDE的异构模型转换:从MARTE模型到FIACRE模型 [J] . 张天 ,Frédéric JOUAULT ,Christian ATTIOGB(é) . 软件学报 . 2009,第002期
3. 基于MDE的AADL向SystemC的转换 [J] . 郑晓梅 ,胡晨骏 ,李刚 . 福建电脑 . 2013,第007期
4. 基于构件交互自动机的AADL模型转换方法研究 [J] . 李揭阳 ,李勇 ,张福高 . 计算机技术与发展 . 2017,第007期
5. 基于XML的UML模型向AADL模型的自动转换 [J] . 万小平 ,李蜀瑜 . 计算机技术与发展 . 2014,第003期
6. 基于AADL的可靠性分析模型的转换方法研究 [C] . 刘建军 ,钟珊 ,黄英兰 . 全国抗恶劣环境计算机第二十三届学术年会 . 2013
7. 基于MDE的UML模型到形式化模型的转换方法研究 [A] . 刘亚萍 . 2009

基于MDE的异构模型的转换研究:AADL到Fiacre

摘要

著录项

相似文献

相关主题

期刊订阅