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

吉林大学学报(工学版)

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

潘洪军^1,2，孙吉贵²

1.浙江海洋学院数理与信息学院，浙江舟山 316004；2.吉林大学计算机科学与技术学院，长春 130012

收稿日期:2007-04-02 修回日期:1900-01-01 出版日期:2008-09-01 发布日期:2008-09-01
通讯作者: 潘洪军

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

PAN Hong-jun^1，2, SUN Ji-gui²

1.Shool of Mathematics,Physics and Information Science,Zhejiang Ocean University,Zhejiang Zhoushan,316004，China；2.College of Computer Science and Technology,Jilin University,Changchun 130012，China

Received:2007-04-02 Revised:1900-01-01 Online:2008-09-01 Published:2008-09-01
Contact: PAN Hong-jun

摘要/Abstract

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

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

Abstract: 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.

Key words: artificial intelligent, formalized approach, multiagent system, OOAPN model, algebraic specification illustration

中图分类号:

TP311

潘洪军，孙吉贵 . 基于OOAPN模型的多代理软件
系统的形式化模型
[J]. 吉林大学学报(工学版), 2008, 38(05): 1120-1124.

PAN Hong-jun, SUN Ji-gui . Formalized model of multiagent software system based on OOAPN model
[J]. 吉林大学学报(工学版), 2008, 38(05): 1120-1124.

参考文献

相关文章 15

[1]	马健, 樊建平, 刘峰, 李红辉. 面向对象软件系统演化模型[J]. 吉林大学学报(工学版), 2018, 48(2): 545-550.
[2]	罗养霞, 郭晔. 基于数据依赖特征的软件识别[J]. 吉林大学学报(工学版), 2017, 47(6): 1894-1902.
[3]	应欢, 王东辉, 武成岗, 王喆, 唐博文, 李建军. 适用于商用系统环境的低开销确定性重放技术[J]. 吉林大学学报(工学版), 2017, 47(1): 208-217.
[4]	李勇, 黄志球, 王勇, 房丙午. 基于多源数据的跨项目软件缺陷预测[J]. 吉林大学学报(工学版), 2016, 46(6): 2034-2041.
[5]	王念滨, 祝官文, 周连科, 王红卫. 支持高效路径查询的数据空间索引方法[J]. 吉林大学学报(工学版), 2016, 46(3): 911-916.
[6]	特日跟, 江晟, 李雄飞, 李军. 基于整数数据的文档压缩编码方案[J]. 吉林大学学报(工学版), 2016, 46(1): 228-234.
[7]	康辉, 王家琦, 梅芳. 基于Pi演算的并行编程语言[J]. 吉林大学学报(工学版), 2016, 46(1): 235-241.
[8]	陈鹏飞, 田地, 杨光. 基于MVC架构的LIBS软件设计与实现[J]. 吉林大学学报(工学版), 2016, 46(1): 242-245.
[9]	刘磊, 王燕燕, 申春, 李玉祥, 刘雷. Bellman-Ford算法性能可移植的GPU并行优化[J]. 吉林大学学报(工学版), 2015, 45(5): 1559-1564.
[10]	冯晓宁, 王卓, 张旭. 基于L-π演算的WSN路由协议形式化方法[J]. 吉林大学学报(工学版), 2015, 45(5): 1565-1571.
[11]	李明哲, 王劲林, 陈晓, 陈君. 基于网络处理器的流媒体应用架构模型(VPL)[J]. 吉林大学学报(工学版), 2015, 45(5): 1572-1580.
[12]	王克朝, 王甜甜, 苏小红, 马培军. 基于频繁闭合序列模式挖掘的学生程序雷同检测[J]. 吉林大学学报(工学版), 2015, 45(4): 1260-1265.
[13]	黄宏涛，王静，叶海智，黄少滨. 基于惰性切片的线性时态逻辑性质验证[J]. 吉林大学学报(工学版), 2015, 45(1): 245-251.
[14]	范大娟^{1, 2}, 黄志球¹, 肖芳雄¹, 祝义¹, 王进¹. 面向多服务交互的相容性分析与适配器生成[J]. 吉林大学学报(工学版), 2014, 44(4): 1094-1103.
[15]	贺秦禄¹, 李战怀¹, 王乐晓¹, 王瑞². 云存储系统聚合带宽测试技术[J]. 吉林大学学报(工学版), 2014, 44(4): 1104-1111.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed