Formal specification of managed objects in an object-oriented network management system using Object-Z

Abstract

The speclfication of managed objects is crucial for the success 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. In this paper, it is shown that Object-Z can be used to provide readable, precise and extensible specifications wiuch furthermore can be derived quite easily from standard OS1 GDMO object templates.