基于MDE的AADL构件组合兼容的方法 |
| |
引用本文: | 郑晓梅,胡晨骏,李刚,李江伟.基于MDE的AADL构件组合兼容的方法[J].计算机工程与设计,2014(5):1862-1867. |
| |
作者姓名: | 郑晓梅 胡晨骏 李刚 李江伟 |
| |
作者单位: | 南京中医药大学信息技术学院;南京大学信息管理学院;南京大学计算机科学与技术系 |
| |
基金项目: | 国家青年基金项目(61003025);江苏省科技基金项目(BE2012184);南京中医药大学青年自然科学基金项目(11XZR17) |
| |
摘 要: | 实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。
|
关 键 词: | 实时嵌入式系统 半形式化建模语言 体系结构分析与设计语言 模型驱动方法 接口自动机 |
本文献已被 CNKI 等数据库收录! |
|