基于BDI模型和ARCHON模型的MAS动态软件体系结构风格研究

论文摘要

随着计算机科学发展,Agent在人工智能和计算机科学界的地位变得日益重要。Agent的应用涉及到人类社会生活的各个行业领域。随着信息基础设施的建立和完善,人们对应用的要求越来越高。高智能、网络化、高可靠性和快速适应性成为应用系统所追求的目标。而这一目标正好和Agent的特点相吻合,从而推动了Agent理论研究和应用研究。随着大量MAS（Multi-Agent System）的广泛应用,传统的12种风格已经不能够涵盖现在所有的软件系统。我们认为非常有必要为MAS系统提取它们的动态软件体系结构风格,并对这些风格进行分析和严密的逻辑验证,同时给出完整的形式语义描述,从而指导和促进MAS系统开发。 本篇论文从广泛应用的MAS系统中提取了两种面向Agent的软件体系结构风格。所作工作主要包括以下几点:

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 软件体系结构的起源和发展
• 1.1.1 软件体系结构的起源
• 1.1.2 软件体系结构的发展
• 1.1.3 软件体系结构的定义
• 1.1.4 体系结构风格
• 1.2 软件体系结构的研究内容及意义
• 1.2.1 软件体系结构的研究内容
• 1.2.2 研究软件体系结构的意义
• 1.3 动态软件体系结构研究的必要性
• 1.4 课题的提出和本文的主要工作
• 1.4.1 课题的研究背景
• 1.4.2 本文主要工作和组织结构
• 第二章 Agent和多Agent系统理论及结构
• 2.1 Agent的定义与分类
• 2.1.1 Agent的定义
• 2.1.2 Agent的特性
• 2.2 Agent的分类
• 2.3 Agent的理论模型
• 2.3.1 BDI Agent模型
• 2.3.2 BDI Agent的逻辑描述
• 2.4 面向Agent的软件工程
• 2.4.1 形式化方法
• 2.4.2 非形式化方法
• 2.5 Agent的应用
• 2.6 本章小结
• 第三章 基于BDI模型的MAS体系结构风格
• 3.1 基于FIPA规范的MAS抽象架构
• 3.2 抽象体系结构形式化
• 3.3 BDI Agent形式化模型
• 3.4 动态性分析
• 3.5 示例
• 3.6 本章小结
• 第四章 基于MAS技术的遗留系统体系结构风格
• 4.1 遗留系统的集成的历史背景
• 4.2 系统集成的主要任务及解决方向
• 4.3 基于IAS技术实现遗留系统的集成
• 4.4 抽象体系结构的形式化描述
• 4.5 结论
• 第五章 JACK平台及实例分析
• 5.1 JACK介绍
• 5.1.1 JACK组件
• 5.1.2 JACK应用的实体
• 5.2 JDE（JACK Development Environment）介绍
• 5.3 JACK平台应用
• 5.4 JACK应用系统开发
• 5.5 小结
• 第六章 总结与展望
• 参考文献
• 致谢
• 攻读学位期间发表的学术论文目录