作者：郑晓梅 胡晨骏 李刚 李江伟实时嵌入式系统半形式化建模语言体系结构分析与设计语言模型驱动方法接口自动机
摘要：实时嵌入式系统建模语言一体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言，当AADL构件模型进行组合时，因为一些交互活动的序列不匹配从而导致构件组合行为不兼容，提出了一种基于模型驱动方法／VIDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA，利用形式化方法验证IA的兼容性，使用IA Tool构建IA模型的构件兼容运行环境，将构造的环境映射到AADI。组件，能够解决AADL构件组合的行为兼容性问题。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
