MODE: a Development Environment for Managed Objects based on Formal Methods [chapter]

Olivier Festor
1995 Integrated Network Management IV  
The need for mechanisms and techniques to describe formally managed objects behaviour in the Open Systems Interconnection (OSI) Management Framework has been recognized in various places. Building a formal specification of managed objects forces the designer to be more rigourous and allows a better understanding of what has been done. But the development of such specifications is a difficult and time consuming task which must be supported by a powerful set of tools. Moreover the effort invested
more » ... in the development of the formal specification should pay off in some way during the Management Information Base development process. In this paper, we present a development environment based on the formal mechanisms we include with the Guidelines for the Definition of Managed Objects (GDMO) notation to allow Managed Object behaviour to be formally described. This environment is intended to improve the process of building a formal description of OSI based Management Information Bases and provide several tools to exploit this formal description during the whole development process.
doi:10.1007/978-0-387-34890-2_52 fatcat:omyq3fwgwfdpzg3u6stayq2fwa