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

摘要

随着计算机科学发展，Agent在人工智能和计算机科学界的地位变得日益重要。Agent的应用涉及到人类社会生活的各个行业领域。随着信息基础设施的建立和完善，人们对应用的要求越来越高。高智能、网络化、高可靠性和快速适应性成为应用系统所追求的目标。而这一目标正好和Agent的特点相吻合，从而推动了Agent理论研究和应用研究。随着大量MAS(Multi-AgentSystem)的广泛应用，传统的12种风格已经不能够涵盖现在所有的软件系统。我们认为非常有必要为MAS系统提取它们的动态软件体系结构风格，并对这些风格进行分析和严密的逻辑验证，同时给出完整的形式语义描述，从而指导和促进MAS系统开发。 本篇论文从广泛应用的MAS系统中提取了两种面向Agent的软件体系结构风格。所作工作主要包括以下几点：1.提取一种基于BDI模型的MAS软件体系结构风格。BDI模型被认为是过去二十年中被广泛采用的Agent模型，因此研究基于BDI模型的MAS软件体系结构风格具有重要的意义。 2.提取的另一种风格是基于MAS技术的遗留系统体系结构风格。利用MAS技术的特性非常适用于解决遗留系统方面的问题，尤其对于那些对任务要求严格(mission-critical)的系统，如电力系统，金融系统等。MAS技术的应用会降低这些系统再工程的成本，降低了企业的风险，因此研究采用MAS技术解决遗留问题的系统，从而提取出它们的软件体系结构风格同样具有重要的意义。 3.对于提出的软件体系结构风格用扩展了的ASL(AgentScriptLanguage)作了形式化的描述。对风格形式化描述的作用在于消除了歧异，同时能保证风格在后继实施的各个阶段语义的一致性。 4.为了验证BDI模型推理过程的合理性，通过JACK平台实现了一个课程推荐的小例子。这个例子由多个BDIAgent交互实现课程推荐的功能。

目录

文摘

英文文摘

第一章绪论

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.1BDI 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基于MAS技术实现遗留系统的集成

4.4抽象体系结构的形式化描述

4.4结论

第五章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.4 JACK应用系统开发（二）

5.4 JACK应用系统开发（三）

5.5小结

第六章总结与展望

参考文献：

致谢

攻读学位期间发表的学术论文目录