| 内容提要 | 第1-8页 |
| 第一章 绪论 | 第8-15页 |
| ·研究背景和意义 | 第8-9页 |
| ·软件系统建模技术相关研究 | 第9-13页 |
| ·结构化方法 | 第9-10页 |
| ·面向对象方法 | 第10-11页 |
| ·面向对象Petri网 | 第11-13页 |
| ·AGENT软件工程 | 第13页 |
| ·本文的工作 | 第13-15页 |
| 第二章 PETRI网与多类别代数 | 第15-24页 |
| ·PETRI网基本概念 | 第15-16页 |
| ·PETRI网的运行规则 | 第16-17页 |
| ·PETRI网的基本分析技术 | 第17-20页 |
| ·可达标识图和可覆盖树 | 第17-19页 |
| ·关联矩阵与状态方程 | 第19-20页 |
| ·类别代数基础 | 第20-24页 |
| ·类别标记和类别代数 | 第21页 |
| ·变量与SIG项 | 第21-22页 |
| ·赋值、计算和置换 | 第22页 |
| ·多重集、多重集标记和多重集代数 | 第22-23页 |
| ·SIG等式和代数规格说明 | 第23页 |
| ·数据类型的类别代数描述 | 第23-24页 |
| 第三章 面向对象代数PETRI网模型 | 第24-38页 |
| ·引言 | 第24-25页 |
| ·面向对象代数PETRI网模型 | 第25-29页 |
| ·OOAPN模型的形式化定义 | 第25-28页 |
| ·OOAPN模型的行为语义 | 第28-29页 |
| ·OOAPN模型的面向对象表现能力 | 第29-32页 |
| ·信息隐藏 | 第29-30页 |
| ·抽象 | 第30-31页 |
| ·继承 | 第31页 |
| ·动态绑定 | 第31页 |
| ·消息传递 | 第31-32页 |
| ·建模方法和分析技术 | 第32-36页 |
| ·建模方法 | 第32-33页 |
| ·分析技术 | 第33-36页 |
| ·小结 | 第36-38页 |
| 第四章 多AGENT系统协调的智能调度模型 | 第38-44页 |
| ·引言 | 第38页 |
| ·多AGENT系统的智能调度模型 | 第38-40页 |
| ·多AGENT系统协调的智能调度算法 | 第40-42页 |
| ·建立事件处理器网 | 第40页 |
| ·确定可行解 | 第40-41页 |
| ·计算最优可行解 | 第41页 |
| ·计算调度处理器补偿集，确定Agent调度序列 | 第41-42页 |
| ·应用实例 | 第42-43页 |
| ·小结 | 第43-44页 |
| 第五章 基于OOAPN模型的多AGENT系统形式化模型 | 第44-55页 |
| ·引言 | 第44页 |
| ·基于OOAPN模型的多AGENT系统形式化模型 | 第44-48页 |
| ·基于OOAPN模型的Agent结构 | 第44-46页 |
| ·Agent交互协议 | 第46-47页 |
| ·基于OOAPN模型的多Agent系统形式化模型 | 第47-48页 |
| ·多AGENT系统的动态结构和行为 | 第48-49页 |
| ·Agent创建 | 第48页 |
| ·多Agent系统动态演化和分析 | 第48-49页 |
| ·基于OOAPN模型的多AGENT系统建模方法 | 第49-54页 |
| ·基于OOAPN模型的多Agent系统分析方法 | 第50-51页 |
| ·基于OOAPN模型的多Agent系统建模 | 第51页 |
| ·基于OOAPN模型的Agent建模实例 | 第51-54页 |
| ·小结 | 第54-55页 |
| 第六章 结论与展望 | 第55-57页 |
| 参考文献（REFERENCES） | 第57-61页 |
| 作者读博士期间完成的论文与参加的科研项目 | 第61-62页 |
| 致谢 | 第62-63页 |
| 摘要 | 第63-65页 |
| ABSTRACT | 第65-67页 |