基于形式语义的构件组装与演化研究
| 摘要 | 第1-8页 |
| Abstract | 第8-10页 |
| 第一章 绪论 | 第10-15页 |
| ·研究背景 | 第10-13页 |
| ·本文研究内容及意义 | 第13-14页 |
| ·本文篇章结构 | 第14-15页 |
| 第二章 相关研究工作综述 | 第15-27页 |
| ·构件技术简史 | 第15-17页 |
| ·构件基本概念 | 第17-19页 |
| ·构件描述模型 | 第19-20页 |
| ·构件形式化方法 | 第20-24页 |
| ·Z语言 | 第21页 |
| ·B方法 | 第21页 |
| ·PICCOLA构件组装语言 | 第21-22页 |
| ·CHAM化学抽象机模型 | 第22页 |
| ·Darwin | 第22页 |
| ·Unicon | 第22-23页 |
| ·Rapide | 第23页 |
| ·Wright | 第23-24页 |
| ·学术界与产业界现状 | 第24-26页 |
| ·小结 | 第26-27页 |
| 第三章 构件形式语义理论基础 | 第27-54页 |
| ·谓词逻辑基础 | 第27-32页 |
| ·集合论基础 | 第32-42页 |
| ·集合 | 第33-38页 |
| ·二元关系 | 第38-41页 |
| ·函数 | 第41-42页 |
| ·Pi演算理论基础 | 第42-53页 |
| ·Pi演算简介 | 第42-43页 |
| ·Pi演算基本语法 | 第43-46页 |
| ·Pi演算约简关系 | 第46-47页 |
| ·Pi演算迁移关系 | 第47-50页 |
| ·Pi演算行为等价理论 | 第50-53页 |
| ·小结 | 第53-54页 |
| 第四章 构件形式语义模型 | 第54-72页 |
| ·构件模型定义 | 第54-59页 |
| ·构件头 | 第59-60页 |
| ·常量部分 | 第60-61页 |
| ·内部集合 | 第61-62页 |
| ·变量部分 | 第62页 |
| ·函数部分 | 第62-64页 |
| ·端口部分 | 第64-66页 |
| ·构件行为 | 第66-67页 |
| ·内部构件 | 第67-68页 |
| ·电梯例子的构件描述 | 第68-71页 |
| ·小结 | 第71-72页 |
| 第五章 构件组装的语义规约推导 | 第72-88页 |
| ·引言 | 第72页 |
| ·相关研究 | 第72-73页 |
| ·构件组装规约方法 | 第73-77页 |
| ·构件组装的图形规约 | 第73-74页 |
| ·构件组装的文本规约 | 第74-77页 |
| ·内部构件的文本规约 | 第74-76页 |
| ·内部构件交互的文本规约 | 第76-77页 |
| ·复合构件语义规约推导 | 第77-87页 |
| ·语义规约推导的集合定义 | 第77-78页 |
| ·复合构件的基本信息规约推导 | 第78页 |
| ·复合构件的端口规约推导 | 第78-80页 |
| ·复合构件的行为规约推导 | 第80-87页 |
| ·小结 | 第87-88页 |
| 第六章 构件组装分析与演化研究 | 第88-98页 |
| ·引言 | 第88-89页 |
| ·构件端口连接规约分析 | 第89-91页 |
| ·连接规约完整性分析 | 第89-90页 |
| ·连接规约一致性分析 | 第90-91页 |
| ·构件组装适配性分析 | 第91-92页 |
| ·构件演化研究 | 第92-96页 |
| ·理论基础 | 第92-95页 |
| ·构件演化的相关分析 | 第95-96页 |
| ·端口一致性和兼容性分析 | 第95-96页 |
| ·构件动态替换分析 | 第96页 |
| ·小结 | 第96-98页 |
| 第七章 总结与展望 | 第98-101页 |
| ·论文内容总结 | 第98-99页 |
| ·论文主要贡献 | 第99-100页 |
| ·将来研究工作 | 第100-101页 |
| 参考文献 | 第101-108页 |
| 致谢 | 第108-109页 |
| 攻读博士学位期间发表的论文 | 第109-110页 |
