基于MDE的AADL构件组合兼容的方法

摘要：

实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法MDE的AADL构件组合兼容方法.利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题.

关键词：实时嵌入式系统、半形式化建模语言、体系结构分析与设计语言、模型驱动方法、接口自动机

所属期刊栏目：35

分类号：TP311.52(计算技术、计算机技术)

资助基金：国家青年基金项目61003025;江苏省科技基金项目BE2012184;南京中医药大学青年自然科学基金项目11XZR17

在线出版日期：2014-06-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1862-1867