Fernandes, G.P.A. and Derrick, J. (1996) Formal Specification of Distributed Services Management. In: Trends in Distributed Systems' 96.
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 > Science Technology and Medical Studies > School of Computing|
|Depositing User:||Mark Wheadon|
|Date Deposited:||26 Aug 2009 18:43|
|Last Modified:||06 Sep 2011 03:50|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21332 (The current URI for this page, for reference purposes)|
- Depositors only (login required):