基于Agent的自演化技术及其支撑工具的研究与实现
| 摘要 | 第1-9页 |
| ABSTRACT | 第9-10页 |
| 第一章 绪论 | 第10-17页 |
| ·研究背景 | 第10-12页 |
| ·相关研究工作 | 第12-15页 |
| ·论文研究内容及成果 | 第15-16页 |
| ·论文组织结构 | 第16-17页 |
| 第二章 基于Agent和组织抽象的自演化软件系统 | 第17-30页 |
| ·自演化软件概念和特征 | 第17-18页 |
| ·自演化软件系统开发和运行的基本认知 | 第18-19页 |
| ·支撑自演化系统系统开发和运行的工作基础 | 第19-29页 |
| ·自演化Agent | 第19-22页 |
| ·动态绑定机制 | 第22-25页 |
| ·自适应策略描述语言SADL | 第25-26页 |
| ·自适应系统开发平台SADE | 第26-29页 |
| ·小结 | 第29-30页 |
| 第三章 自演化约束及其描述 | 第30-42页 |
| ·自演化约束及其分类 | 第30-32页 |
| ·自演化约束的概念 | 第30-31页 |
| ·自演化约束的分类 | 第31-32页 |
| ·微观层面上的自演化约束 | 第32-34页 |
| ·角色共存约束 | 第32页 |
| ·角色绑定时序性约束 | 第32-33页 |
| ·角色绑定最长时间约束 | 第33页 |
| ·角色的特定约束 | 第33-34页 |
| ·宏观层面上的自演化约束 | 第34-35页 |
| ·自演化约束表示的语言设施 | 第35-41页 |
| ·过去时序语言PLTL | 第35-37页 |
| ·微观层面上自演化约束的表示和语言设施 | 第37-40页 |
| ·宏观层面上自演化约束的表示和语言设施 | 第40-41页 |
| ·小结 | 第41-42页 |
| 第四章 自演化软件系统的构造和运行技术 | 第42-58页 |
| ·自演化系统冲突的处理方式 | 第42-44页 |
| ·微观层面自演化约束的运行时检验及冲突避免 | 第44-48页 |
| ·宏观层面自演化约束的运行时检验及冲突报警 | 第48-49页 |
| ·SADE平台中的自演化约束开发和运行工具 | 第49-54页 |
| ·集成在Eclipse中的SADL编辑器和编译器 | 第49-52页 |
| ·系统全局自演化约束监控Agent | 第52页 |
| ·自适应策略动态升级组件 | 第52-54页 |
| ·自演化系统开发过程 | 第54-57页 |
| ·小结 | 第57-58页 |
| 第五章 案例分析 | 第58-65页 |
| ·案例描述 | 第58页 |
| ·系统的设计和自演化约束描述 | 第58-62页 |
| ·系统运行及其效果 | 第62-64页 |
| ·小结 | 第64-65页 |
| 第六章 结束语 | 第65-67页 |
| ·总结 | 第65-66页 |
| ·展望 | 第66-67页 |
| 致谢 | 第67-68页 |
| 参考文献 | 第68-72页 |
| 作者在学期间取得的学术成果 | 第72页 |
