Skip to main content

Formal Specification and Testing of a Management Architecture

Fernandes, G.P.A. and Derrick, J. (1997) Formal Specification and Testing of a Management Architecture. In: Lazar, Aurel and Saracco, Roberto and Stadler, Rolf, eds. Integrated Network Management V Integrated management in a virtual world Proceedings of the Fifth IFIP/IEEE International Symposium on Integrated Network Management. IFIP - The International Federation for Information Processing . Springer, Boston, Massachusetts, USA, pp. 473-484. ISBN 978-1-4757-5519-0. E-ISBN 978-0-387-35180-3. (doi:10.1007/978-0-387-35180-3_35) (KAR id:21505)

Language: English
Download (190kB) Preview
[thumbnail of]
This file may not be suitable for users of assistive technology.
Request an accessible format
Language: English
Download (184kB) Preview
[thumbnail of Formal_Specification_and_Testing_of_a_Management_Architecture.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


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: Book section
DOI/Identification number: 10.1007/978-0-387-35180-3_35
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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 26 Jul 2009 14:54 UTC
Last Modified: 16 Nov 2021 09:59 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):