基于模型的软件工具链的设计与实现

摘要	第1-4页
Abstract	第4-7页
第1章 引言	第7-12页
·嵌入式软件的开发	第7页
·模型驱动架构	第7-9页
·基于模型的软件工具链	第9-11页
·论文结构	第11-12页
第2章 背景技术介绍	第12-24页
·模型整合计算理论	第12-14页
·特定领域建模语言DSML	第14-16页
·语义锁定	第16-18页
·基于模型的软件工具	第18-24页
·Simulink	第18-19页
·Ptolemy II	第19-20页
·统一建模工具GME	第20-22页
·图形转换工具GReAT	第22-24页
第3章 语义单元CME的构建	第24-35页
·CME元模型的构建	第24-31页
·Ptolemy II类图的简介	第24-26页
·CME元模型的构建	第26-29页
·CME元模型的约束语义	第29-31页
·用建模标记语言 MoML 描述 CME 模型	第31-35页
·图形集	第31-32页
·模型元素	第32-33页
·模型之间的连接关系	第33-35页
第4章 软件工具链的实现	第35-46页
·以 CME 为中心的软件工具链	第35-36页
·ECSL_DP的元模型	第36-38页
·ECSL_DP到CME的转换	第38-42页
·CME到Ptolemy II的转换	第42-46页
第5章 实例研究：小型四浆直升机控制器模型的转换	第46-50页
第6章 总结和展望	第50-52页
·总结	第50-51页
·展望	第51-52页
参考文献	第52-55页
附录	第55-58页
附录 1 MoML的语法描述文件DTD文件	第55-58页
致谢	第58页