%0 Journal Article
%T 基于OOAPN模型的多代理软件系统的形式化模型
%A 潘洪军
%A 孙吉贵
%J 吉林大学学报(工学版)
%P 1120-1124
%D 2008
%X 为了增强OOAPN对象的主动性，对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念，给出了基于OOAPN模型的多代理软件系统的形式化模型，把成熟的面向对象思想、结构化思想以及形式化方法应用于多代理软件系统建模上，提高了OOAPN模型之间的异步通讯能力和复杂系统的建模能力。
%K 计算机软件
%K 形式化方法
%K 多代理系统
%K OOAPN模型
%K 代数规格说明
%K 计算机软件
%K 形式化方法
%K 多代理系统
%K OOAPN模型
%K 代数规格说明
%U http://xuebao.jlu.edu.cn/gxb/CN/Y2008/V38/I05/1120