School of Computing

Formal Specification of Distributed Services Management

G. P. A. Fernandes and J. Derrick

In Otto Spaniol, Claudia Linnhoff-Popien, and Bernd Meyer, editors, Trends in Distributed Systems' 96, pages 182-196, Aachen, Germany, October 1996. RWTH Aachen, Verlag der Augustinus Buchhandlung.


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.

Download publication 144 kbytes (PostScript)

Bibtex Record

author = {Fernandes, G. P. A. and Derrick, J.},
title = {{Formal Specification of Distributed Services Management}},
month = {October},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    ISBN = {3-86073-473-3},
    address = {Aachen, Germany},
    booktitle = {Trends in Distributed Systems' 96},
    editor = {Otto Spaniol and Claudia Linnhoff-Popien and Bernd Meyer},
    organization = {RWTH Aachen},
    publisher = {Verlag der Augustinus Buchhandlung},
    refereed = {Yes},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014