多Agent系统的出现为开发复杂的分布式软件提供了新的途径。近年来,为实现基于agent的系统,人们提出了许许多多的体系结构,同时也付出了巨大的努力用形式化的方法来描述agent行为。但是大多数agent的形式化方法仅仅只是描述agent的行为,与agent系统的具体实现还存在着很大的差距。本文讨论了Haiping Xu和Sol M. Shatz提出的面向agent的G-net模型,该模型不仅能够提供形式化的方法描述Agent的行为,而且能够将形式化的方法引入agent开发生命周期中指导智能agent的设计与实现,因此具有很高的研究价值。 本文首先回顾了agent与多agent系统的相关理论;然后研究了面向agent的G-net模型如何扩展传统的G-net来支持agent建模,并对该模型体系结构和关键部件的工作机制进行了分析;最后,本文基于面向agent的G-net模型实现了一个智能Agent的开发工具包ADK,并给出了根据此工具包设计智能agent的方法。为说明使用ADK开发智能agent的具体过程,本文还给出了一个机票交易的实例。