基于OOAPN模型的多代理软件系统的形式化模型

为了增强OOAPN对象的主动性，对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念，给出了基于OOAPN模型的多代理软件系统的形式化模型，把成熟的面向对象思想、结构化思想以及形式化方法应用于多代理软件系统建模上，提高了OOAPN模型之间的异步通讯能力和复杂系统的建模能力。