Title :
Formal specification of managed objects in an object-oriented network management system using Object-Z
Author :
Chan, Edward ; Bloor, Chris
Author_Institution :
Dept. of Comput. Sci., City Univ. of Hong Kong, Hong Kong
Abstract :
The specification of managed objects is crucial for the successful design of network management systems. However, a weakness in many current object-oriented methodologies is the absence of formal description of the behavioural aspects of such objects. It is shown that Object-Z can be used to provide readable, precise and extensible specifications which furthermore can be derived quite easily from standard OSI GDMO object templates
Keywords :
computer network management; formal languages; formal specification; object-oriented languages; object-oriented methods; open systems; Object-Z; behavioural aspects; extensible specifications; formal specification; managed objects; object-oriented network management system; precise specifications; readable specifications; standard OSI GDMO object templates; Computer network management; Computer networks; Computer science; Formal specifications; IP networks; Intelligent networks; Management information systems; Object oriented modeling; Open systems; Resource management;
Conference_Titel :
System Theory, 1995., Proceedings of the Twenty-Seventh Southeastern Symposium on
Conference_Location :
Starkville, MS
Print_ISBN :
0-8186-6985-3
DOI :
10.1109/SSST.1995.390583
