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

Formalized model of multi-agent software system based on OOAPN model

作　　者：潘洪军[1] 孙吉贵[2] 

机构地区：[1]浙江海洋学院数理与信息学院,浙江舟山316004 [2]吉林大学计算机科学与技术学院,长春130012

出　　处：《吉林大学学报（工学版）》2008年第5期1120-1124,共5页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金项目(60273080;60473003);吉林省杰出青年基金项目(20030107)

摘　　要：为了增强OOAPN对象的主动性,对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念,给出了基于OOAPN模型的多代理软件系统的形式化模型,把成熟的面向对象思想、结构化思想以及形式化方法应用于多代理软件系统建模上,提高了OOAPN模型之间的异步通讯能力和复杂系统的建模能力。The communication mechanism of OOAPN was studied in detail to enhance the initiative of OOAPN objects. A notion of communication event was proposed and a formalized model of multi-agent software system based on OOAPN was presented. The mature object-oriented technique, the structurized concept and the formalized approach were applied to the modeling of multi-agent software system. Results show that the proposed model can enhance the abilities of asynchronous communication and complex system modeling.

关 键 词：计算机软件 形式化方法 多代理系统 OOAPN模型 代数规格说明 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]