DocumentCode
2769091
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
Volume
2
fYear
1994
fDate
3-5 Aug 1994
Firstpage
1451
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1994., Proceedings of the 37th Midwest Symposium on
Conference_Location
Lafayette, LA
Print_ISBN
0-7803-2428-5
Type
conf
DOI
10.1109/MWSCAS.1994.519080
Filename
519080
Link To Document