NetConf查询操作的形式化模型

• 作者: 任兴田 马严
• 来源期刊: 大连理工大学学报
• 学科: 工学
• 关键词: 网络管理 NetConf 形式语义学 XML
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 网络运行与管理
• 页码范围: 52-54
• 页数: 3页
• 分类号: TP393
• 字数: 2588字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-8608.2005.z1.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马严	北京邮电大学信息网络中心	98	731	15.0	23.0
2	任兴田	北京邮电大学信息网络中心	6	35	3.0	5.0