Skip to main content
SpringerLink
Log in

Specification of schedulers with algebraic specification techniques

  • Part I, Concurrency Control And Access Control
  • Conference paper
  • First Online:
Operating Systems Engineering (IBM 1980)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 143))

Included in the following conference series:

  • 142 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 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 

  • 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 

  • ADJ (TJW, WEG, WJB). (1979). Data Type specification: parameterization and the power of specification technique. IBM Research Report RC7757, July 1979.

    Google Scholar 

  • Ehrich H.-D. (1978). On the theory of specification, implementation and parameterization of abstract data types. Research Report, Dortmunt, 1978.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Sciences Faculty of Engineering Science, Osaka University, 560, Toyonaka, Osaka, Japan

    Kouichi Wada, Kenichi Hagihara, Toshiro Araki & Nobuki Tokura

Authors
  1. Kouichi Wada
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kenichi Hagihara
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Toshiro Araki
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Nobuki Tokura
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mamoru Maekawa Laszio A. Belady

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wada, K., Hagihara, K., Araki, T., Tokura, N. (1982). Specification of schedulers with algebraic specification techniques. In: Maekawa, M., Belady, L.A. (eds) Operating Systems Engineering. IBM 1980. Lecture Notes in Computer Science, vol 143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11604-4_47

Download citation

  • DOI: https://doi.org/10.1007/3-540-11604-4_47

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11604-2

  • Online ISBN: 978-3-540-39424-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation