Advertisement

Specification of schedulers with algebraic specification techniques

  • Kouichi Wada
  • Kenichi Hagihara
  • Toshiro Araki
  • Nobuki Tokura
Part I, Concurrency Control And Access Control
Part of the Lecture Notes in Computer Science book series (LNCS, volume 143)

Abstract

The specification of a class of single resource schedulers is presented. A class of these schedulers is regarded as a parameterized data type whose formal parameter is a scheduling strategy. The specification is given by using the concept of parameterization in algebraic techniques. The specification of each scheduler instance can be directly obtained only by replacing the formal parameter with a concrete scheduling strategy. The assignment of an actual parameter to a formal parameter is given by a mechanism called extended parameter morphisms. This specification technique is applicable to many other objects.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ADJ (Authors: Goguen J.A., Thatcher J.W., Wagner E.G. and Wright J.B.). (1973). A junction between computer science and category theory: I, Basic definitions and examples, part 1. IBM Research Report RC4526, September 1973.Google Scholar
  2. ADJ (GJA, TJW, WEG). (1976). An initial algebra approach to the specification, correctness, and implementation of abstract data types. IBM Research Report RC6487, October 1976.Google Scholar
  3. ADJ (TJW, WEG, WJB). (1979). Data Type specification: parameterization and the power of specification technique. IBM Research Report RC7757, July 1979.Google Scholar
  4. Ehrich H.-D. (1978). On the theory of specification, implementation and parameterization of abstract data types. Research Report, Dortmunt, 1978.Google Scholar
  5. Ehrig H. and Kreowski H.-J. (1977). Some remarks concerning correct specification and implementation of abstract data types. Technical University of Berlin Report Berich-Nr. 77-13, August 1977.Google Scholar
  6. Ehrig H., Kreowski H.-J., Thatcher J.W., Wagner E.G. and Wright J.B. (1979). Parameterized data types in algebraic specification languages (summary). The Seventh International Colloquium on Automata Language and Programming, 1–19, November 1979.Google Scholar
  7. Guttag J.V. (1975). The specification and application to programming of abstract data types. University of Toronto Computer Systems Research Group Technical Report, CSRG59, September 1975.Google Scholar
  8. Kasami T., Taniguchi K., Sugiyama Y., Hagihara K., Suzuki I. and Okui J. (1978). On algebraic techniques for program specification. Paper of Technical Group on Automata and Languages, AL78-5, IECE Japan, May 1978 (In Japanese).Google Scholar
  9. Wada K., Hagihara K., Araki T. and Tokura N. (1980). Algebraic specifications with function parameters. Paper of Technical Group on Automata and Languages, AL79-111, IECE Japan, February 1980 (In Japanese).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Kouichi Wada
    • 1
  • Kenichi Hagihara
    • 1
  • Toshiro Araki
    • 1
  • Nobuki Tokura
    • 1
  1. 1.Department of Information and Computer Sciences Faculty of Engineering ScienceOsaka UniversityToyonaka, OsakaJapan

Personalised recommendations