面向agent软件建模语言与环境
| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-19页 |
| ·课题背景 | 第12-13页 |
| ·现有相关工作 | 第13-17页 |
| ·agent与多agent系统 | 第13-14页 |
| ·面向agenf的软件开发方法 | 第14-17页 |
| ·本文的主要工作与目标 | 第17页 |
| ·论文安排 | 第17-19页 |
| 第二章 面向AGENT建模语言CAMLE | 第19-45页 |
| ·多AGENT系统概念模型 | 第19-24页 |
| ·Agent | 第19-22页 |
| ·Caste | 第22-23页 |
| ·其他概念 | 第23-24页 |
| ·建模过程 | 第24-27页 |
| ·CAMLE语言 | 第27-43页 |
| ·CAMLE模型结构 | 第27-28页 |
| ·结构模型 | 第28-30页 |
| ·协作模型 | 第30-36页 |
| ·行为模型 | 第36-43页 |
| ·小结 | 第43-45页 |
| 第三章 CAMLE模型一致性约束 | 第45-57页 |
| ·引言 | 第45-46页 |
| ·结构模型的约束 | 第46-47页 |
| ·语法条件 | 第46-47页 |
| ·协作模型的约束 | 第47-49页 |
| ·语法条件 | 第47页 |
| ·一致性约束 | 第47-49页 |
| ·行为模型的约束 | 第49-51页 |
| ·语法条件 | 第49-51页 |
| ·一致性约束 | 第51页 |
| ·不同模型间的一致性 | 第51-53页 |
| ·协作模型与结构模型 | 第51-52页 |
| ·行为模型与结构模型 | 第52页 |
| ·协作模型与行为模型 | 第52-53页 |
| ·在建模环境中使用一致性条件 | 第53-54页 |
| ·小结 | 第54-57页 |
| 第四章 模型到规约的自动转换 | 第57-73页 |
| ·引言 | 第57-58页 |
| ·转换规则 | 第58-67页 |
| ·生成标识符 | 第58-59页 |
| ·生成环境描述 | 第59-60页 |
| ·生成结构描述 | 第60-61页 |
| ·生成行为描述 | 第61-67页 |
| ·规约自动生成算法 | 第67-71页 |
| ·小结 | 第71-73页 |
| 第五章 CAMLE建模环境 | 第73-82页 |
| ·功能目标 | 第73-74页 |
| ·软件结构 | 第74-75页 |
| ·界面 | 第75页 |
| ·模型创建工具 | 第75-79页 |
| ·模型管理器 | 第75-76页 |
| ·图编辑器 | 第76-77页 |
| ·部分图生成器 | 第77-78页 |
| ·语法检查器 | 第78-79页 |
| ·一致性检查工具 | 第79-80页 |
| ·形式化规约生成工具 | 第80-81页 |
| ·小结 | 第81-82页 |
| 第六章 案例分析 | 第82-90页 |
| ·案例描述 | 第82页 |
| ·建模过程 | 第82-89页 |
| ·建立结构模型 | 第82-83页 |
| ·建立协作模型 | 第83-85页 |
| ·建立行为模型 | 第85-88页 |
| ·一致性检查 | 第88-89页 |
| ·生成形式化规约 | 第89页 |
| ·小结 | 第89-90页 |
| 第七章 结束语 | 第90-93页 |
| ·结论 | 第90-91页 |
| ·与相关工作的比较 | 第91-92页 |
| ·未来工作 | 第92-93页 |
| 致谢 | 第93-94页 |
| 附录 攻读硕士学位期间发表的论文 | 第94-95页 |
| 参考文献 | 第95-100页 |
