Open Systems Laboratory at Illinois

Inheritance of synchronization constraints in concurrent object-oriented programming languages

By Svend Frølund. In ECOOP, volume 615 of Lecture Notes in Computer Science, 185–196. Springer, 1992.

Full Text:
Download PDF
Publisher Link:


We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the form of incrementally more restrictive constraints for derived subclasses. Our conclusion is based on the view that combinations of behavior in object-oriented languages yield subclasses that extend superclass behavior. We give a notation for describing synchronization constraints. In our notation, synchronization constraints can be inherited and aggregated. We present a number of examples that illustrate the fundamental concepts captured by our notation. Synchronization constraints are described as restrictions that apply to invocation of methods. Application of restrictions is pattern-based, which allows the same restriction to apply to multiple methods and multiple restrictions to apply to the same method.


    author = "Frølund, Svend",
    editor = "Madsen, Ole Lehrmann",
    title = "Inheritance of Synchronization Constraints in Concurrent
             Object-Oriented Programming Languages",
    booktitle = "ECOOP",
    crossref = "conf/ecoop/1992",
    ee = "",
    pages = "185-196",
    year = "1992",

    editor = "Madsen, Ole Lehrmann",
    title = "ECOOP '92, European Conference on Object-Oriented
             Programming, Utrecht, The Netherlands, June 29 - July 3, 1992,
    isbn = "3-540-55668-0",
    publisher = "Springer",
    series = "Lecture Notes in Computer Science",
    volume = "615",
    year = "1992",