School of Computing

Formal Specification and Testing of a Management Architecture

G. P. A. Fernandes and J. Derrick

In Aurel Lazar, Roberto Saracco, and Rolf Stadler, editors, Integrated Network Management V - Integrated management in a virtual world, pages 182-196, San Diego, California, USA, May 1997. IFIP/IEEE, Chapman & Hall.


The importance of network and distributed systems management to supply and maintain services required by users has led to a demand for management facilities. Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. This paper examines the application of formal description techniques to the specification of managed objects by presenting a case study in the specification and testing of a management architecture. We describe a formal specification of a management architecture suitable for scheduling and distributing services across nodes in a distributed system. In addition, we show how formal specifications can be used to generate conformance tests for the management architecture.

Download publication 186 kbytes (PostScript)

Bibtex Record

author = {Fernandes, G. P. A. and Derrick, J.},
title = {{Formal Specification and Testing of a Management Architecture}},
month = {May},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    ISBN = {0-412-80960-5},
    address = {San Diego, California, USA},
    booktitle = {Integrated Network Management V - Integrated management in a virtual world},
    editor = {Aurel Lazar and Roberto Saracco and Rolf Stadler},
    organization = {IFIP/IEEE},
    publisher = {Chapman & Hall},
    refereed = {Yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014