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)

Abstract

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: Faculties > Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 26 Jul 2009 14:54 UTC
Last Modified: 30 Jul 2019 08:41 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21505 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year