基于实时语义模型的模型转换及语义一致性研究
| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第一章 绪论 | 第12-28页 |
| ·研究背景及意义 | 第12-14页 |
| ·模型驱动开发方法及研究现状 | 第14-19页 |
| ·基于MDD的开发过程 | 第14-15页 |
| ·基于MDD的项目与平台分析 | 第15-17页 |
| ·总结与分析 | 第17-19页 |
| ·模型转换技术及研究现状 | 第19-23页 |
| ·已有的模型转换方法及特点 | 第19-21页 |
| ·模型转换技术的国内外研究现状 | 第21-22页 |
| ·总结与分析 | 第22-23页 |
| ·课题的来源、研究内容及本文结构 | 第23-26页 |
| ·课题来源 | 第23-24页 |
| ·研究内容 | 第24-25页 |
| ·本文结构 | 第25-26页 |
| ·本章小结 | 第26-28页 |
| 第二章 模型驱动的实时控制软件开发 | 第28-40页 |
| ·控制软件对实时多任务系统的重要作用 | 第28-29页 |
| ·工业实时控制系统软件开发方法及不足 | 第29-34页 |
| ·工业实时控制软件设计及开发方法 | 第29-30页 |
| ·工业实时控制软件开发的主要途径 | 第30-32页 |
| ·实时控制软件开发面临的问题 | 第32-34页 |
| ·应用模型驱动方法开发实时系统控制软件 | 第34-39页 |
| ·模型驱动开发方法的优越性 | 第34-36页 |
| ·模型驱动方法对于实时控制领域的适用性 | 第36-37页 |
| ·工业实时控制领域MDD方法的特性 | 第37-39页 |
| ·本章小结 | 第39-40页 |
| 第三章 基于实时语义模型的模型转换 | 第40-58页 |
| ·实时语义体系及语义一致性 | 第40-43页 |
| ·实时语义的扩展体系 | 第40-42页 |
| ·实时控制软件语义一致性定义 | 第42-43页 |
| ·实时语义模型与模型转换 | 第43-50页 |
| ·模型转换有效性与语义相似度 | 第43-45页 |
| ·基于实时语义模型的模型转换原理 | 第45-47页 |
| ·实时语义模型对语义映射机制的简化 | 第47-49页 |
| ·基于实时语义模型的模型转换的技术路线 | 第49-50页 |
| ·目标平台分析及实时语义模型建模元素的抽象 | 第50-52页 |
| ·实时语义模型及其本体描述 | 第52-56页 |
| ·元数据语义描述和本体语义描述 | 第52页 |
| ·本体描述方法及RDFS/OWL的选择 | 第52-55页 |
| ·构建实时多任务交互的本体语义库的意义 | 第55-56页 |
| ·本章小结 | 第56-58页 |
| 第四章 实时多任务交互本体框架下的实时语义模型 | 第58-82页 |
| ·实时多任务系统本体应用框架 | 第58-62页 |
| ·实时本体体系结构 | 第58-59页 |
| ·静态语义的本体捕获及演绎 | 第59-61页 |
| ·基于实时语义模型的多任务交互本体应用框架 | 第61-62页 |
| ·对象体系 | 第62-71页 |
| ·对象概念的本体识别和描述 | 第62-66页 |
| ·进程对象 | 第66-68页 |
| ·目标对象 | 第68-71页 |
| ·对象相关的行为体系 | 第71-78页 |
| ·行为概念的识别和描述 | 第71-73页 |
| ·对象相关的行为构建及分类 | 第73页 |
| ·行为的本体描述 | 第73-76页 |
| ·行为语义元模型的定义与规则 | 第76-77页 |
| ·行为体系分类 | 第77-78页 |
| ·进程对象为主的实时语义模型结构 | 第78-81页 |
| ·实时语义模型结构 | 第78-79页 |
| ·实时语义模型中的时序语义表达 | 第79-81页 |
| ·本章小结 | 第81-82页 |
| 第五章 模型映射和语义一致性保持 | 第82-98页 |
| ·基于实时语义模型的模型映射和语义迁移分解 | 第82-88页 |
| ·模型映射过程 | 第82-83页 |
| ·功能映射与语义迁移分解 | 第83-85页 |
| ·类型映射 | 第85页 |
| ·结构映射 | 第85-88页 |
| ·源模型到语义模型的映射 | 第88-93页 |
| ·进程对象的结构映射 | 第88页 |
| ·保持时序的行为映射 | 第88-90页 |
| ·基于本体语义知识库的语义迁移 | 第90-93页 |
| ·语义模型到目标模型的映射 | 第93-97页 |
| ·映射原理 | 第93-94页 |
| ·语义模型到iRMX语言模型的映射 | 第94-97页 |
| ·本章小结 | 第97-98页 |
| 第六章 模型驱动的实时控制软件开发实例 | 第98-120页 |
| ·平台框架结构与环境 | 第98-104页 |
| ·基于行为模式的设计框架 | 第98-100页 |
| ·平台结构 | 第100-101页 |
| ·平台界面、分层与元模型 | 第101-103页 |
| ·实时语义知识库建设 | 第103-104页 |
| ·建模过程与设计流程 | 第104-106页 |
| ·基于元模型的建模过程 | 第104-105页 |
| ·基于模型驱动方法的设计流程 | 第105-106页 |
| ·一个机械手实时控制系统软件的设计实例 | 第106-117页 |
| ·控制任务分解和语义捕获 | 第106-108页 |
| ·源模型建立 | 第108-110页 |
| ·源模型-语义模型转换过程中的语义保持 | 第110-113页 |
| ·语义模型-目标模型转换过程中的语义保持 | 第113-117页 |
| ·本章小结 | 第117-120页 |
| 第七章 总结与展望 | 第120-124页 |
| ·本文主要工作总结 | 第120-121页 |
| ·未来工作展望 | 第121-124页 |
| 致谢 | 第124-126页 |
| 参考文献 | 第126-136页 |
| 攻读博士期间发表学术论文及成果 | 第136-138页 |
| 攻读博士期间主持和参与的主要科研项目 | 第138页 |
