| NetConf查询操作的形式化模型 |
| |
| 引用本文： | 任兴田,马严.NetConf查询操作的形式化模型[J].大连理工大学学报,2005,45(Z1):52-54. |
| |
| 作者姓名： | 任兴田 马严 |
| |
| 作者单位： | 北京邮电大学,信息网络中心,北京,100876 |
| |
| 基金项目： | 科技部科研项目;下一代互联网中日IPv6合作项目 |
| |
| 摘 要： | 使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.
|
| 关 键 词： | 网络管理 形式语义学 |
| 文章编号： | 1004-5619(2005)04-0259-03 |
Formal model for NetConf query |
| |
| REN Xing-tian,MA Yan.Formal model for NetConf query[J].Journal of Dalian University of Technology,2005,45(Z1):52-54. |
| |
| Authors: | REN Xing-tian MA Yan |
| |
| Abstract: | The authors used formal semantics as a means to specify query requirement's analyses and establish a conceptual basis for query procedure derivation.This approach is demonstrated with respect to the two general purpose queries(get) of NetConf. |
| |
| Keywords: | NetConf XML |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
