NetConf查询操作的形式化模型

摘要：

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

关键词： 网络管理 形式语义学 查询操作 形式化模型

作者: 任兴田 马严

作者单位: 北京邮电大学,信息网络中心,北京,100876

会议类型: 国内会议

会议名称: 中国教育和科研计算机网CERNET第十二届学术年会

会议地点: 辽宁大连

会议语种:中文

页码: 52-54

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