摘要 | 第1-6页 |
ABSTRACT | 第6-13页 |
第1章 绪论 | 第13-23页 |
·背景和动机 | 第13-14页 |
·自治计算的概念、研究现状和存在问题 | 第14-20页 |
·自治计算的概念 | 第14-17页 |
·自治计算的研究现状 | 第17-19页 |
·存在问题 | 第19-20页 |
·本文的主要研究内容 | 第20-23页 |
第2章 相关工作和基础理论 | 第23-39页 |
·引言 | 第23页 |
·面向服务的体系结构和实现技术 | 第23-31页 |
·面向服务的体系结构 | 第23-24页 |
·实现技术 | 第24-30页 |
·分析和小结 | 第30-31页 |
·AGENT技术和基于政策管理的方法 | 第31-39页 |
·Agent技术 | 第31-33页 |
·基于政策管理的方法 | 第33-37页 |
·分析和小结 | 第37-39页 |
第3章 基于PDC-AGENT的面向服务的自治计算系统框架 | 第39-61页 |
·引言 | 第39-40页 |
·系统总体框架 | 第40-42页 |
·本体表示语言和推理表示语言 | 第42-46页 |
·本体表示语言 | 第42-44页 |
·推理表示语言 | 第44-46页 |
·服务和合同的定义和表示 | 第46-49页 |
·服务的定义和表示 | 第46-47页 |
·合同的定义和表示 | 第47-49页 |
·自治元素和PDC-AGENT | 第49-53页 |
·自治元素的分类 | 第49-50页 |
·自治元素的特点和需求 | 第50-51页 |
·基于政策和合同的Agent——PDC-Agent的定义 | 第51-53页 |
·自治元素的协作 | 第53-54页 |
·基于PDC-AGENT的面向服务的自主管理 | 第54-59页 |
·系统自组织和服务自主合成 | 第54-57页 |
·异常处理和系统自修复 | 第57-58页 |
·基于授权和认证机制的系统自保护 | 第58-59页 |
·本章总结 | 第59-61页 |
第4章 政策的表示、细化和部署 | 第61-83页 |
·引言 | 第61页 |
·面向服务的自治计算系统中的政策概念 | 第61-62页 |
·政策管理框架 | 第62-81页 |
·政策管理框架中使用的本体 | 第64-65页 |
·基于本体的政策表示语言和政策设计工具 | 第65-70页 |
·基于细化处方的政策细化机制 | 第70-75页 |
·政策部署机制 | 第75-81页 |
·本章总结 | 第81-83页 |
第5章 PDC-AGENT模型 | 第83-117页 |
·引言 | 第83页 |
·BDI逻辑及其研究现状 | 第83-87页 |
·传统的BDI逻辑 | 第83-84页 |
·社会概念扩展的BDI逻辑 | 第84-86页 |
·BDI Agent结构 | 第86-87页 |
·现有BDI逻辑的不足 | 第87-88页 |
·PDC-AGENT模型 | 第88-115页 |
·BGI_(PDC)逻辑 | 第88-100页 |
·PDC-Agent的体系结构模型 | 第100-115页 |
·本章小结 | 第115-117页 |
第6章 基于实例的分析 | 第117-137页 |
·引言 | 第117页 |
·实例简介——小型会议安排 | 第117-120页 |
·MA-MEETING模型的设计 | 第120-131页 |
·领域概念定义 | 第120-123页 |
·MA-Meeting的动作、目标和信念的表示 | 第123-127页 |
·MA-Meeting的规划库和规划设计 | 第127-131页 |
·MA-MEETING的决策及服务按需合成过程的自主管理 | 第131-135页 |
·小结 | 第135-137页 |
第7章 结论和未来工作 | 第137-141页 |
·结论 | 第137-139页 |
·未来工作 | 第139-141页 |
参考文献 | 第141-151页 |
攻读博士学位期间参与的科研项目及主要成果 | 第151-153页 |
参与的科研项目 | 第151页 |
已发表的论文 | 第151-152页 |
奖励和荣誉称号 | 第152-153页 |
致谢 | 第153页 |