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

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.<
>