基于π演算的软件体系结构求精研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-15页 |
| ·研究背景 | 第9-10页 |
| ·体系结构求精的重要性 | 第9-10页 |
| ·体系结构求精的意义 | 第10页 |
| ·国内外研究现状 | 第10-13页 |
| ·基于行为替代的体系结构求精 | 第10-11页 |
| ·基于风格的体系结构求精 | 第11-12页 |
| ·基于软件体系结构模型的体系结构求精 | 第12-13页 |
| ·基于构件的体系结构求精 | 第13页 |
| ·本文主要研究工作 | 第13-14页 |
| ·论文组织结构 | 第14-15页 |
| 第二章 π演算介绍 | 第15-23页 |
| ·形式化方法 | 第15-16页 |
| ·π演算简介 | 第16页 |
| ·π演算语法定义 | 第16-18页 |
| ·π演算操作语义规则 | 第18-19页 |
| ·π演算结构等价规则 | 第19-20页 |
| ·π演算行为等价理论 | 第20-21页 |
| ·强模拟关系 | 第20页 |
| ·弱模拟关系 | 第20-21页 |
| ·本章小结 | 第21-23页 |
| 第三章 动态体系结构描述语言D-ADL | 第23-36页 |
| ·体系结构描述语言 | 第23-25页 |
| ·动态体系结构描述语言D-ADL | 第25-32页 |
| ·D-ADL描述框架 | 第25-26页 |
| ·D-ADL基本语法和数据类型 | 第26-28页 |
| ·单一构件和单一连接件规约 | 第28-30页 |
| ·复合构件和复合连接件 | 第30-32页 |
| ·D-ADL预设演化行为表示 | 第32-33页 |
| ·D-ADL属性表示 | 第33-34页 |
| ·D-ADL风格规约 | 第34页 |
| ·本章小结 | 第34-36页 |
| 第四章 D-ADL描述的体系结构求精研究 | 第36-45页 |
| ·求精原则 | 第36-37页 |
| ·结构求精 | 第37页 |
| ·行为求精 | 第37-42页 |
| ·构件行为的语义描述 | 第37-39页 |
| ·行为求精方法 | 第39-41页 |
| ·行为求精规则 | 第41-42页 |
| ·属性求精 | 第42-43页 |
| ·本章小结 | 第43-45页 |
| 第五章 实例分析：机票预定服务系统 | 第45-59页 |
| ·系统高层抽象体系结构 | 第45-47页 |
| ·系统行为分析 | 第47页 |
| ·体系结构求精 | 第47-57页 |
| ·数据求精 | 第47-48页 |
| ·单一构件求精 | 第48-52页 |
| ·单一连接件求精 | 第52-54页 |
| ·求精检测 | 第54-57页 |
| ·π演算抽象描述 | 第54-55页 |
| ·求精验证 | 第55-56页 |
| ·结果显示 | 第56-57页 |
| ·系统的动态变化 | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 第六章 总结与展望 | 第59-61页 |
| ·论文总结和创新点 | 第59-60页 |
| ·进一步研究工作展望 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 附录 | 第65-66页 |
| 致谢 | 第66页 |
