| 摘要 | 第1-5页 |
| ABSTRACT | 第5-6页 |
| 目录 | 第6-8页 |
| 图表目录 | 第8-9页 |
| 第一章 绪论 | 第9-12页 |
| ·背景介绍 | 第9-10页 |
| ·研究目标 | 第10页 |
| ·研究意义 | 第10页 |
| ·论文框架 | 第10-12页 |
| 第二章 形式化方法 | 第12-21页 |
| ·形式化方法介绍 | 第12-13页 |
| ·rCOS语言 | 第13-21页 |
| ·rCOS概述 | 第13页 |
| ·rCOS的语法规则的形式 | 第13-15页 |
| ·rCOS的语义 | 第15-21页 |
| 第三章 系统建模语言SysML | 第21-26页 |
| ·SysML的发展历史 | 第21页 |
| ·SysML的概念模型 | 第21-25页 |
| ·SysML的元模型理论 | 第22页 |
| ·SysML的模型元素 | 第22-24页 |
| ·支配SysML的规则 | 第24页 |
| ·SysML的公共机制 | 第24-25页 |
| ·SysML形式语义的研究 | 第25-26页 |
| 第四章 SysML中三种图形的形式化 | 第26-53页 |
| ·SysML中模块定义图、内部模块图和顺序图简介 | 第26-31页 |
| ·模块定义图简介 | 第26-28页 |
| ·内部模块图简介 | 第28-29页 |
| ·顺序图简介 | 第29-31页 |
| ·SysML中模块定义图、内部模块图和顺序图的形式化语义 | 第31-38页 |
| ·SysML中模块定义图的形式化语义 | 第31-34页 |
| ·SysML中内部模块图的形式化语义 | 第34-35页 |
| ·SysML中顺序图的形式化语义 | 第35-38页 |
| ·模块定义图和顺序图的一致性描述 | 第38-40页 |
| ·SysML中模块定义图与顺序图的良构规则 | 第38-40页 |
| ·SysML中模块定义图和顺序图的一致性 | 第40页 |
| ·集成概念模型和用例模型 | 第40页 |
| ·模块定义图和顺序图在rCOS中的语法 | 第40-47页 |
| ·模块定义图在rCOS中的语法 | 第41页 |
| ·顺序图在rCOS中的语法 | 第41-42页 |
| ·顺序图在rCOS上的良构规则 | 第42-44页 |
| ·需求模型 | 第44-45页 |
| ·设计模型 | 第45页 |
| ·SysML模型的rCOS语义 | 第45-47页 |
| ·模型精化 | 第47-48页 |
| ·案例:自动柜员机系统 | 第48-53页 |
| 第五章 总结与展望 | 第53-54页 |
| 参考文献 | 第54-57页 |
| 致谢 | 第57页 |