首页> 中文期刊> 《吉林大学学报（工学版）》 >基于OOAPN模型的多代理软件系统的形式化模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《吉林大学学报（工学版）》 |2008年第5期|1120-1124|共5页
作者
潘洪军; 孙吉贵;
展开▼
作者单位

浙江海洋学院,数理与信忠学院,浙江,舟山,316004;

吉林大学,计算机科学与技术学院,长春,130012;

吉林大学,计算机科学与技术学院,长春,130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
计算机软件; 形式化方法; 多代理系统; OOAPN模型; 代数规格说明;

相似文献

中文文献
外文文献
专利

1. 基于OOAPN模型的代码逆向生成 [J] . 李金友 ,于江涛 . 通化师范学院学报 . 2014,第2期
2. 代理多重签名的形式化模型及一个新的体制 [J] . 王琴 ,曹珍富 . 计算机学报 . 2006,第009期
3. OOAPN模型建模工具正向代码的生成 [J] . 李金友 ,于远成 . 通化师范学院学报 . 2009,第008期
4. 基于粗糙集形式化模型的资源描述框架空节点近似表示模型 [J] . 王凯 ,杨枢 . 枣庄学院学报 . 2018,第002期
5. 基于Petri网的Web服务事务模型形式化构建及基于贝叶斯网络的事务可靠性研究 [J] . 陈平 ,王兴建 ,党德鹏 . 通信学报 . 2018,第0z1期
6. 基于不同代理模型的某自锚式悬索桥模型修正 [C] . XIA Zhi-yuan ,夏志远 ,LI Ai-qun . 第26全国结构工程学术会议 . 2017
7. 基于MDE的UML模型到形式化模型的转换方法研究 [A] . 刘亚萍 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号