中文会议： 中国教育和科研计算机网CERNET第十二届学术年会论文集

会议日期： 2005-11-01

会议地点： 辽宁大连

主办单位： 中国教育和科研计算机网

作　　者： ; ;

机构地区： 北京邮电大学

出　　处： 《中国教育和科研计算机网CERNET第十二届学术年会》

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

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

分 类 号： [TP]

领　　域： [自动化与计算机技术]