Premium
Formal specification of SNMPv3 entities using action semantics
Author(s) -
Duarte Jr. Elias P.,
Musicante Martin A.,
Furlan Diógenes Cogo
Publication year - 2004
Publication title -
international journal of network management
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.373
H-Index - 28
eISSN - 1099-1190
pISSN - 1055-7148
DOI - 10.1002/nem.507
Subject(s) - computer science , semantics (computer science) , formal semantics (linguistics) , programming language , action semantics , protocol (science) , formal methods , action (physics) , simple (philosophy) , operational semantics , software engineering , denotational semantics , alternative medicine , epistemology , pathology , quantum mechanics , medicine , philosophy , physics
This work presents a formal description of the structure and behaviour of SNMPv3 entities. IETF documents describe the semantics of the Simple Network Management Protocol version 3 in an almost completely informal way. Our formal description is given using action semantics, a completely formal yet verbose framework for the specification of programming concepts. The purpose of our description is to specify management entities without ambiguities, contributing to a better understanding of the NMPv3 framework that may lead to automatic implementation and verification of agents and manager applications. Copyright © 2004 John Wiley & Sons, Ltd.