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

fYear

1995

fDate

12-14 Mar 1995

Firstpage

206

Lastpage

210

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Theory, 1995., Proceedings of the Twenty-Seventh Southeastern Symposium on

Conference_Location

Starkville, MS

ISSN

0094-2898

Print_ISBN

0-8186-6985-3

Type

conf

DOI

10.1109/SSST.1995.390583

Filename

390583