Formal Specification and Testing of a Management Architecture

Fernandes, G.P.A. and Derrick, John (1997) Formal Specification and Testing of a Management Architecture. In: 5th IFIP/IEEE International Symposium on Integrated Network Management, May 12-16, 1997, San Diego, CA, . (Full text available)

Download (190kB)
Download (184kB)


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.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: Managed objects behaviour, Management architecture, Formal description techniques, Open Distributed Processing, Conformance
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 26 Jul 2009 14:54 UTC
Last Modified: 16 Jun 2014 11:40 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year