| 摘要 | 第1-15页 |
| ABSTRACT | 第15-20页 |
| 第1章 绪论 | 第20-34页 |
| ·课题背景和意义 | 第20-22页 |
| ·Agent与Agent目标 | 第22-27页 |
| ·Agent概念及相关理论 | 第22-25页 |
| ·宣称型目标和过程型目标 | 第25-27页 |
| ·迁移工作流技术 | 第27-29页 |
| ·迁移工作流原理 | 第27-28页 |
| ·面向目标的迁移工作流 | 第28-29页 |
| ·本文的工作与创新 | 第29-31页 |
| ·本文的工作 | 第29-30页 |
| ·本文的创新 | 第30-31页 |
| ·本文的组织 | 第31-34页 |
| 第2章 基于时序约束和满足依赖关系的与/或目标图方法 | 第34-57页 |
| ·概述 | 第34-35页 |
| ·时序目标图与带支持度的时序目标图 | 第35-44页 |
| ·目标的定义 | 第35-36页 |
| ·与/或目标树 | 第36-38页 |
| ·时序与/或目标图 | 第38-43页 |
| ·带满足支持度的时序目标图 | 第43-44页 |
| ·目标可满足性的定性描述与推理 | 第44-49页 |
| ·目标可满足性定性描述 | 第44-45页 |
| ·目标之间满足性传递 | 第45-47页 |
| ·目标满足性推理算法 | 第47-49页 |
| ·目标可满足性定量描述与推理 | 第49-52页 |
| ·目标可满足性定量描述 | 第49-50页 |
| ·目标之间满足性传递 | 第50-51页 |
| ·目标满足性推理算法 | 第51-52页 |
| ·应用举例 | 第52-55页 |
| ·相关工作的比较 | 第55-56页 |
| 本章小结 | 第56-57页 |
| 第3章 目标描述逻辑方法 | 第57-69页 |
| ·概述 | 第57页 |
| ·目标描述逻辑的语法和语义 | 第57-63页 |
| ·目标描述逻辑的语法 | 第58-60页 |
| ·目标描述逻辑的语义 | 第60-62页 |
| ·目标规划 | 第62-63页 |
| ·目标描述逻辑的推理 | 第63-65页 |
| ·目标一致性判定 | 第63-64页 |
| ·目标可满足性判定 | 第64-65页 |
| ·规划执行异常及处理 | 第65页 |
| ·应用举例 | 第65-67页 |
| ·相关工作的比较 | 第67-68页 |
| 本章小结 | 第68-69页 |
| 第4章 基于规划组合的多目标模型优化方法 | 第69-79页 |
| ·概述 | 第69页 |
| ·多目标模型优化问题描述 | 第69-70页 |
| ·两目标模型的优化方法 | 第70-75页 |
| ·DD型优化问题 | 第71-74页 |
| ·DP型优化问题 | 第74-75页 |
| ·PP型优化问题 | 第75页 |
| ·多目标模型的优化方法 | 第75-76页 |
| ·应用举例 | 第76-78页 |
| ·相关工作的比较 | 第78页 |
| 本章小结 | 第78-79页 |
| 第5章 基于GDLs迁移工作流建模的例 | 第79-93页 |
| ·概述 | 第79页 |
| ·面向目标的迁移工作流概念 | 第79-81页 |
| ·旅游预订服务工作流建模的例 | 第81-88页 |
| ·旅游预订目标描述 | 第81-85页 |
| ·旅游预订目标一致性和可满足性判定 | 第85-87页 |
| ·多旅游预订目标模型优化 | 第87-88页 |
| ·面向目标的工作流建模语言 | 第88-91页 |
| ·旅游预订目标建模实验与分析 | 第91-92页 |
| 本章小结 | 第92-93页 |
| 第6章 总结与展望 | 第93-96页 |
| ·本文总结 | 第93-94页 |
| ·工作展望 | 第94-96页 |
| 参考文献 | 第96-105页 |
| 致谢 | 第105-106页 |
| 攻读学位期间发表的学术论文 | 第106-107页 |
| 在读期间参与科研项目情况 | 第107-108页 |
| 学位论文评阅及答辩情况 | 第108-110页 |
| 外文论文 | 第110-145页 |