Title :
Query analysis specifications for SNMP
Author :
Li, Jianxin ; Leon, Benjamin J.
Author_Institution :
Center for Adv. Comput. Studies, Univ. of Southwestern Louisiana, Lafayette, LA, USA
Abstract :
Simple Network Management Protocol (SNMP) is used to communicate between a manager and agents in the internetworking management system. The manager monitors the network by sending queries to agents, which, in turn, perform corresponding operations and reply to the manager with the query results. In this paper, we use formal semantics as a means of specifying query requirement´s analysis and of establishing a conceptual basis for query procedure derivation. Our approach is demonstrated with respect to the two general purpose queries (get and get-next) of SNMP
Keywords :
broadband networks; formal specification; internetworking; protocols; telecommunication network management; SNMP; Simple Network Management Protocol; formal semantics; internetworking management system; query analysis specifications; Algebra; Calculus; Carbon capture and storage; Delay; Formal languages; Hoses; Information management; Internetworking; Natural languages; Protocols; Real time systems;
Conference_Titel :
Circuits and Systems, 1994., Proceedings of the 37th Midwest Symposium on
Conference_Location :
Lafayette, LA
Print_ISBN :
0-7803-2428-5
DOI :
10.1109/MWSCAS.1994.519080
