首页> 中文会议>中国教育和科研计算机网CERNET第十二届学术年会 >NetConf查询操作的形式化模型

NetConf查询操作的形式化模型

页面导航

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

摘要

使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.

著录项

来源
《中国教育和科研计算机网CERNET第十二届学术年会》|2005年|52-54|共3页
会议地点辽宁大连
作者
任兴田; 马严;
展开▼
作者单位

中国教育和科研计算机网;

大连理工大学;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP393.07;
关键词
网络管理; 形式语义学; 查询操作; 形式化模型;
入库时间 2022-08-17 10:49:08

相似文献

中文文献
外文文献
专利

1. NetConf查询操作的形式化模型 [J] . 任兴田 ,马严 . 大连理工大学学报 . 2005,第0z1期
2. 操作系统对象语义模型(OSOSM)及形式化验证 [J] . 钱振江 ,刘苇 ,黄皓 . 计算机研究与发展 . 2012,第012期
3. 一个集成形式化模型及其操作语义 [J] . 匡春临 ,匡国防 . 洛阳师范学院学报 . 2011,第002期
4. 分布式操作系统形式化生成系统模型的研究 [J] . 何炎祥 ,夏循斌 . 小型微型计算机系统 . 1995,第012期
5. NETCONF-SNMP通知转换网关模型的研究 [J] . 罗灿 ,李杰 ,于旭敏 . 微计算机信息 . 2011,第012期
6. 本体的形式化模型及在语义查询中的应用 [C] . 王洪伟 ,吴家春 ,蒋馥 . 全国搜索引擎和网上信息挖掘学术讨论会 . 2003
7. NETCONF数据模型与NETCONF/SNMP转换网关 [A] . 王聪 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号