基于场景的构件组合方式的研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-9页 |
| 第1章 绪论 | 第9-17页 |
| ·研究背景 | 第9-11页 |
| ·国内外研究现状 | 第11-14页 |
| ·需求分析工具的研究现状及发展趋势 | 第11-12页 |
| ·形式化方法的研究现状 | 第12-13页 |
| ·接口自动机 | 第12-13页 |
| ·Petri网 | 第13页 |
| ·Pi-演算 | 第13页 |
| ·构件组合方法的研究现状 | 第13-14页 |
| ·研究内容 | 第14-16页 |
| ·需求的获取及表示 | 第14-15页 |
| ·构件的形式化建模 | 第15页 |
| ·构件组合的实现 | 第15-16页 |
| ·论文结构 | 第16-17页 |
| 第2章 基于场景的构件行为建模 | 第17-32页 |
| ·场景简介 | 第17-21页 |
| ·场景的基本概念 | 第17-18页 |
| ·场景的一般分类 | 第18-19页 |
| ·场景的优缺点描述 | 第19-20页 |
| ·常用的场景规约语言 | 第20-21页 |
| ·用于场景描述的MSC的介绍 | 第21-24页 |
| ·MSC的基本概念 | 第21页 |
| ·MSC的组成元素 | 第21-22页 |
| ·MSC的形式化描述 | 第22-23页 |
| ·MSC规约 | 第23-24页 |
| ·MSC的进程表示理论 | 第24-27页 |
| ·进程规范 | 第24-25页 |
| ·MSC的进程理论表示 | 第25-27页 |
| ·构件的形式化描述 | 第27-31页 |
| ·构件描述 | 第27-28页 |
| ·构件的形式化建模 | 第28-31页 |
| ·本章小结 | 第31-32页 |
| 第3章 构件组合的研究 | 第32-46页 |
| ·背景知识 | 第32-36页 |
| ·构件组合的类型 | 第36-37页 |
| ·构件组合的实现 | 第37-45页 |
| ·基于事件的构件组合 | 第38-39页 |
| ·不带交互的构件的并行复合 | 第39-41页 |
| ·带交互的构件的并行复合 | 第41-45页 |
| ·本章小结 | 第45-46页 |
| 第4章 实例分析 | 第46-52页 |
| ·系统简介 | 第46页 |
| ·进程表示理论 | 第46-48页 |
| ·构件行为建模 | 第48-49页 |
| ·构件行为组合实现 | 第49-52页 |
| 第5章 结语与展望 | 第52-54页 |
| ·研究结论 | 第52-53页 |
| ·展望 | 第53-54页 |
| 参考文献 | 第54-58页 |
| 致谢 | 第58-59页 |
| 攻读硕士期间主要的研究成果 | 第59-61页 |
