Fernandes, G.P.A. and Derrick, J. (1996) Formal Specification of Distributed Services Management. In: Trends in Distributed Systems' 96.
|
Download (183Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
|
| Postscript | ||
|
Download (144Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
|
|
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: | 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):
