| 摘要 | 第1-14页 |
| Abstract | 第14-16页 |
| 第一章 绪论 | 第16-40页 |
| ·研究背景 | 第16-23页 |
| ·应用需求 | 第16-19页 |
| ·技术背景 | 第19-23页 |
| ·相关研究工作 | 第23-35页 |
| ·基于组织的软件开发技术 | 第24-26页 |
| ·面向 Agent 的软件工程 | 第26-29页 |
| ·面向 Agent 的程序设计 | 第29-33页 |
| ·现有工作的分析和总结 | 第33-35页 |
| ·拟解决的科学问题 | 第35-37页 |
| ·本文主要贡献 | 第37-39页 |
| ·论文组织结构 | 第39-40页 |
| 第二章 基于组织的面向 Agent 程序设计模型及机制 | 第40-60页 |
| ·问题描述和分析 | 第40-41页 |
| ·基于组织的面向 Agent 程序设计模型——Oragent | 第41-46页 |
| ·Agent | 第42-44页 |
| ·角色 | 第44-45页 |
| ·组织 | 第45-46页 |
| ·基于组织的面向 Agent 程序设计机制 | 第46-55页 |
| ·角色扮演与角色组合 | 第46-48页 |
| ·角色晋升 | 第48-49页 |
| ·基于角色的交互 | 第49-50页 |
| ·基于组织的自管理 | 第50-51页 |
| ·继承 | 第51-53页 |
| ·组合 | 第53页 |
| ·异常 | 第53-55页 |
| ·相关工作对比分析 | 第55-57页 |
| ·小结 | 第57-60页 |
| 第三章 基于组织的面向 Agent 程序设计语言——OragentL | 第60-84页 |
| ·OragentL 概述 | 第60-61页 |
| ·组织类和组织 | 第61-66页 |
| ·角色声明 | 第62-63页 |
| ·初始化动作 | 第63页 |
| ·组织行为 | 第63-64页 |
| ·结构调整策略 | 第64-65页 |
| ·组织的创建和销毁 | 第65页 |
| ·组织类代码示例 | 第65-66页 |
| ·角色和 Agent | 第66-71页 |
| ·角色扮演的约束条件 | 第67-68页 |
| ·角色中的动作和行为 | 第68-69页 |
| ·Agent 的创建 | 第69-70页 |
| ·角色代码示例 | 第70-71页 |
| ·继承 | 第71-75页 |
| ·组织继承 | 第71-72页 |
| ·角色继承 | 第72-74页 |
| ·继承代码示例 | 第74-75页 |
| ·角色晋升 | 第75-77页 |
| ·角色组合 | 第77-81页 |
| ·角色变迁 | 第78-80页 |
| ·异常 | 第80-81页 |
| ·相关工作对比分析 | 第81-82页 |
| ·小结 | 第82-84页 |
| 第四章 OragentL 语言的操作语义 | 第84-106页 |
| ·OragentL 语言的抽象语法 | 第84-86页 |
| ·状态和格局 | 第86-89页 |
| ·表达式和语句的动态语义 | 第89-93页 |
| ·动作调用 | 第89-90页 |
| ·消息发送语句 | 第90页 |
| ·消息处理语句 | 第90-92页 |
| ·异常语句 | 第92-93页 |
| ·Agent 的动态语义 | 第93-101页 |
| ·Agent 的行为规则 | 第93-95页 |
| ·角色变迁语句 | 第95-98页 |
| ·异常语句 | 第98-99页 |
| ·通信语句 | 第99-101页 |
| ·组织的动态语义 | 第101-103页 |
| ·角色的动态语义 | 第103-105页 |
| ·小结 | 第105-106页 |
| 第五章 基于组织的面向 Agent 程序设计语言的类型系统 | 第106-130页 |
| ·类型系统介绍 | 第106-107页 |
| ·轻量级 OragentL——FOL | 第107-111页 |
| ·FOL 的抽象语法 | 第108-109页 |
| ·FOL 的格局和操作语义 | 第109-111页 |
| ·FOL 的类型规则 | 第111-120页 |
| ·Agent 和角色的类型化 | 第111-115页 |
| ·角色程序的良构规则 | 第115-118页 |
| ·程序格局的良构规则 | 第118-120页 |
| ·FOL 类型系统的性质及证明 | 第120-128页 |
| ·相关工作对比分析 | 第128-129页 |
| ·小结 | 第129-130页 |
| 第六章 OragentL 程序设计及运行支撑环境 | 第130-156页 |
| ·OragentL 程序设计与运行支撑环境的总体架构 | 第130-131页 |
| ·OragentL 运行时环境 | 第131-144页 |
| ·Oragentburg 概述 | 第131-132页 |
| ·实体生命周期管理 | 第132-133页 |
| ·实体标识符管理 | 第133-134页 |
| ·运行引擎 | 第134-139页 |
| ·OragentL 核心机制的实现 | 第139-144页 |
| ·OragentL 编译器 | 第144-149页 |
| ·OragentL 编译器概述 | 第144-145页 |
| ·OragentL 语法分析器 | 第145-146页 |
| ·OragentL 翻译器 | 第146-149页 |
| ·案例分析 | 第149-155页 |
| ·小结 | 第155-156页 |
| 第七章 总结与展望 | 第156-160页 |
| ·论文工作总结 | 第156-157页 |
| ·研究展望 | 第157-160页 |
| 致谢 | 第160-162页 |
| 参考文献 | 第162-176页 |
| 作者在学期间取得的学术成果 | 第176-180页 |
| 附录 OragentL 语法 | 第180-181页 |
