Skip to main content

Formal Specification of Distributed Services Management

Fernandes, G.P.A. and Derrick, John (1996) Formal Specification of Distributed Services Management. In: Spaniol, Otto and Linnhoff-Popien, Claudia and Meyer, Bernd, eds. Trends in Distributed Systems' 96. Verlag der Augustinus Buchhandlung, Aachen, Germany, pp. 182-196. ISBN 3-86073-473-3. (KAR id:21332)

PDF
Language: English
Click to download this file (204kB) Preview
[thumbnail of FormalDerrick.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Postscript
Language: English
Click to download this file (147kB) Preview
[thumbnail of FormalDerrick.ps]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

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. The successful implementation and interoperability of these facilities depends to a large extent on a precise, but implementation independent, specification of their behaviour. This paper examines the use of formal techniques to describe managed objects. We describe a formal specification of a scheduling architecture for the management of services in a distributed system.

Item Type: Book section
Uncontrolled keywords: Managed objects, Formal description techniques, Z, Quality of service, scheduling, Open Distributed Processing
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: RWTH Aachen University (https://ror.org/04xfq0f34)
Depositing User: Mark Wheadon
Date Deposited: 26 Aug 2009 18:43 UTC
Last Modified: 12 Jul 2022 10:39 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21332 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

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