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

摘要：

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

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

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2008-11-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1120-1124