由多个自治Agent组成的系统代表了一种新的复杂软件系统的开发方法,极大推动了现有的软件工程实践.这种面向Agent的方法引入了新的抽象范型,使得在软件设计和开发上的许多问题很难用传统的方法加以解决.因此,我们需要新的方法论及其支持工具,工程化的开发多Agent构成的软件系统.近几年来,在构建多Agent系统方面已经出现了一些方法和工具,但这些方法和工具要么是针对特定的Agent架构,要么过于简单,详细程度完全不足以支持复杂系统的开发.MaSE(多Agent软件工程)是一种通用的面向Agent软件开发方法学,能够有效的指导异构多Agent软件系统的开发.它大量的使用图形化模型描述系统的目标、行为、Agent类型、Agent通信等,并为不依赖于特定架构的Agent内部设计提供了方法.在多Agent系统中,最重要是独立Agent间的协作行为,正是由于多个Agent间的相互协作才导致系统级行为的产生.然而,设计和实现协作行为却非常困难.最好办法是,在概念级对高层的交互使用图形化建模的方法,然后以此直接生成实现代码.而OOPN(面向对象Petri网)正是这样一种工具,具有形式化、可视化和可执行性等特点,并且能够把Java代码有机的嵌入到网结构中,支持从模型自动生成Java类.因此,OOPN完全满足上述要求.同时,Petri网坚实的数学基础使它适合于形式化验证,能够确保多Agent间交互的可靠性.该文提出了基于面向对象Petri网的多Agent软件工程,使用OOPN对Agent的对话和并行任务建模,并开发出相应的支持工具,提供了自动生成基于Aglets框架的多Agent系统源代码功能和对系统的自动部署功能.为了演示建模方法和支持工具,该文最后给出了一个名为买者-卖者的实例系统.