Skip to main content
Kent Academic Repository

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)


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
Funders: Institute of Electrical and Electronics Engineers (
Depositing User: Mark Wheadon
Date Deposited: 26 Jul 2009 14:54 UTC
Last Modified: 12 Jul 2022 10:39 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Derrick, J..

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.