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 |
|
|
Download this file (PDF/204kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
|
Postscript
Language: English |
|
|
Download this file (Postscript/147kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
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: | 05 Nov 2024 09:59 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/21332 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
