软件构架驱动的分布式系统开发方法与支持工具研究
| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 引言 | 第9-14页 |
| ·研究背景与意义 | 第9-11页 |
| ·研究内容 | 第11-12页 |
| ·论文结构 | 第12-14页 |
| 第二章 软件构架与构件技术 | 第14-24页 |
| ·复用的构件技术 | 第14-15页 |
| ·构件与面向对象的中间件平台系统 | 第15-18页 |
| ·软件构架 | 第18-23页 |
| ·软件构架的起源 | 第18页 |
| ·构架的关注点和重要性 | 第18-19页 |
| ·软件构架的发展与现状 | 第19-23页 |
| ·构架模型与构架描述语言 | 第19-21页 |
| ·构架与模式 | 第21-22页 |
| ·构架研究的不足 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 上下结合的软件开发方法 | 第24-32页 |
| ·自底向上和自顶向下的开发 | 第24-25页 |
| ·上下结合的开发组装方法 | 第25-31页 |
| ·方法的几个阶段 | 第28-30页 |
| ·方法中的复用 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 软件构架求精及其支持工具 | 第32-54页 |
| ·分布式软件构架描述语言ADEAG | 第32-33页 |
| ·统一建模语言UML | 第33-37页 |
| ·构架到OOD的求精 | 第37-45页 |
| ·求精的多种尝试 | 第37-39页 |
| ·ADEAG到UML求精 | 第39-45页 |
| ·原子构件映射到类 | 第41页 |
| ·提供接口映射到UML接口 | 第41页 |
| ·需求接口映射到UML抽象类 | 第41-42页 |
| ·连接器到类或依赖的映射 | 第42-43页 |
| ·复合构件的映射 | 第43-44页 |
| ·绑定和虚绑定的映射 | 第44-45页 |
| ·构架求精工具A2U的设计与实现 | 第45-53页 |
| ·A2U的设计目标 | 第45-46页 |
| ·A2U的设计思想和处理过程 | 第46-48页 |
| ·设计思想 | 第46页 |
| ·处理流程 | 第46-48页 |
| ·A2U的结构设计 | 第48-53页 |
| ·A2U的总体结构 | 第48-49页 |
| ·A2U的对象结构 | 第49-51页 |
| ·A2U的求精转化算法 | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 第五章 构件交互设计支持 | 第54-74页 |
| ·构件交互机制 | 第54-55页 |
| ·构件交互定义语言Dicide | 第55-58页 |
| ·交互设计支持 | 第58-73页 |
| ·Dicide交互设计的缺陷 | 第58-59页 |
| ·π演算 | 第59-60页 |
| ·本体及其相关技术 | 第60-62页 |
| ·使用π演算和交互描述交互 | 第62-67页 |
| ·从π演算到FSP | 第67-73页 |
| ·FSP的LTS系统 | 第67页 |
| ·FSP的LTS系统状态集合 | 第67-68页 |
| ·FSP的LTS系统迁移集合 | 第68-69页 |
| ·π演算的LTS系统 | 第69页 |
| ·π演算的LTS系统状态集合 | 第69-70页 |
| ·π演算的LTS系统迁移集合 | 第70-71页 |
| ·从π演算向FSP转化 | 第71-73页 |
| ·本章小结 | 第73-74页 |
| 第六章 总结与展望 | 第74-76页 |
| 参考文献 | 第76-79页 |
| 致谢 | 第79页 |
