期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于OOAPN模型的多代理软件系统的形式化模型 被引量：1
1
作者 潘洪军 孙吉贵 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2008年第5期1120-1124,共5页
为了增强OOAPN对象的主动性,对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念,给出了基于OOAPN模型的多代理软件系统的形式化模型,把成熟的面向对象思想、结构化思想以及形式化方法应用于多代理软件系统建模上,提高了OOAPN模型... 为了增强OOAPN对象的主动性,对OOAPN的通讯机制进行了深入研究。提出了通讯事件的概念,给出了基于OOAPN模型的多代理软件系统的形式化模型,把成熟的面向对象思想、结构化思想以及形式化方法应用于多代理软件系统建模上,提高了OOAPN模型之间的异步通讯能力和复杂系统的建模能力。 展开更多
关键词 计算机软件 形式化方法 多代理系统 ooapn模型 代数规格说明
下载PDF
基于OOAPN模型的代码逆向生成
2
作者 李金友 于江涛 《通化师范学院学报》 2014年第2期40-41,44,共3页
基于OOAPN模型的代码逆向生成旨在为人们利用自定义的模式,匹配出符合要求的格式数据,再经过逆向代码生成器的加工转换,使其转变成符合nameSpace数据结构类型的数据,再由CIL加工还原成OOAPN模型.
关键词 ooapn模型 模型驱动 模板引擎 逆向代码生成
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部