基于Agent的软件工程环境

摘要

该文首先从Agent的基本理论出发,介绍了Agent的定义和一些主要特性,包括Agent的结构和多Agent之间的通信,并从其思想和运行机制等方面与面向对象方法进行了比较.根据复杂系统的特点,该文论述了基于Agent的软件工程方法是处理复杂系统的理想工具.从软件工程的角度说明了如何分析和设计Agent系统以及如何去实现和验证.编程语言是软件开发环境的重要内容,该文以AGENT0系统和ConcurrentMETATEM系统为实例,对基于Agent的编程语言进行了阐述和说明.在以上工作的基础上,该文分析了采和Agent方法的一个应用实例--异地数据自动同步系统.其核心设计思想是实现一些功能Agent,当前台应用对数据库改动时,根据用户定制的任务,自动发邮件给异地的系统,该地收到邮件后,再自动对自身的数据库根据改动信息进行修改.当然,作为一种新兴的、尚不十分成熟的软件开发方法,基于Agent的软件工程环境无疑也有其不足,该文中在最后指出了这一点,这也正是当前研究的热点问题,同时也是我们要进一步研究的内容.

目录

文摘

英文文摘

第一章：绪论

第二章：Agent的概念、结构和通信

2.1：Agent的定义与属性

2.2：Agent的结构

2.2.1：Agent的基本结构

2.2.2：Agent结构的区别

2.3：Agent的合作与通信

2.3.1：通信方式

2.3.2：通信模型

2.3.3：通信语言KQML标准

第三章：软件工程的逐步进化

3.1：传统软件工程的进化

3.2：基于Agent与面向对象的比较

3.2.1：基本思想的比较

3.2.2：运行机制比较

第四章：基于Agent软件工程在复杂系统中的应用

4.1：复杂系统

4.1.1：决定系统复杂度的因素

4.1.2：复杂软件系统的性质

4.1.3：复杂软件工程中的工具

4.2：基于Agent软件解决复杂系统问题

4.2.1：分解方法

4.2.2：抽象方法

4.2.3：组织方法

第五章：基于Agent软件的生存周期

5.1：概念框架

5.2：分析

5.2.1：角色模型

5.2.2：交互模型

5.2.3：分析过程

5.3：设计

5.4：实现

5.4.1：直接提炼的方法

5.4.2：直接执行Agent规格说明

5.4.3：编译Agent规格说明

5.5：验证

5.5.1：公理方法

5.5.2：语义方法：模型检查

第六章：Agent编程语言

第七章：基于Agent程序设计实例：异地数据同步系统

7.1：程序设计框架

7.2：系统运行

第八章：基于Agent技术的不足

第九章：结束语

参考文献

附录1论文图表目录

第十章致谢