Formal Specification of Distributed Services Management

Fernandes, G.P.A. and Derrick, John (1996) Formal Specification of Distributed Services Management. In: Trends in Distributed Systems' 96. (Full text available)

Download (253kB) Preview
Download (147kB)


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: Conference or workshop item (UNSPECIFIED)
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: Faculties > Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 26 Aug 2009 18:43 UTC
Last Modified: 16 Jun 2014 11:40 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year