期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于MDE的AADL构件组合兼容的方法
被引量：
1
1
作者
郑晓梅
胡晨骏
+1 位作者
李刚
李江伟
《计算机工程与设计》
CSCD
北大核心
2014年第5期1862-1867,共6页
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法...
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。
展开更多
关键词
实时嵌入式系统
半形式化建模语言
体系结构分析与设计
语言
模型驱动方法
接口自动机
在线阅读
下载PDF
职称材料
题名
基于MDE的AADL构件组合兼容的方法
被引量：
1
1
作者
郑晓梅
胡晨骏
李刚
李江伟
机构
南京中医药大学信息技术学院
南京大学信息管理学院
南京大学计算机科学与技术系
出处
《计算机工程与设计》
CSCD
北大核心
2014年第5期1862-1867,共6页
基金
国家青年基金项目(61003025)
江苏省科技基金项目(BE2012184)
南京中医药大学青年自然科学基金项目(11XZR17)
文摘
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。
关键词
实时嵌入式系统
半形式化建模语言
体系结构分析与设计
语言
模型驱动方法
接口自动机
Keywords
real-time and embedded system
semi-formal modeling language
AADL
MDE
IA
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于MDE的AADL构件组合兼容的方法
郑晓梅
胡晨骏
李刚
李江伟
《计算机工程与设计》
CSCD
北大核心
2014
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
