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 extendsuperclass 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-basext, which allows the same restriction to apply to multiple methods and multiple restrictions to apply to the same method.
CITATION STYLE
Frølund, S. (1992). Inheritance of synchronization constraints in concurrent object-oriented programming languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 615 LNCS, pp. 185–196). Springer Verlag. https://doi.org/10.1007/bfb0053037
Mendeley helps you to discover research relevant for your work.