Abstract
Object-oriented techniques such as inheritance promise great benefits for the specification and design of concurrent systems. To exploit these benefits appropriate techniques for object-oriented programming within a concurrent programming language context are required. Especially a concept how to support the inheritance of synchronization constraints is necessary to avoid what is called the inheritance anomaly. We present a modelling style of Ada which allows the integration of concurrency into object-oriented programming and which offers a solution to the inheritance anomaly.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
America, P.: Inheritance and Subtyping in a Parallel Object-Oriented Language. in Bézivin, J.; Hullot, J-M.; Lieberman, H. (eds.): European Conference on Object-Oriented Programming ECOOP '87, Lecture Notes in Computer Science, Vol. 276, Springer-Verlag (1987)
Atkinson, C.: Object-oriented reuse, concurrency and distribution: an Adabased approach. ACM Press (1991)
Burns, A.; Wellings, A.: Concurrency in Ada. Cambridge University Press (1995)
Ferenczi, S.: Guarded Methods vs. Inheritance Anomaly Inheritance Anomaly Solved by Nested Guarded Method Calls. ACM SIGPLAN Notices, Vol. 30, Number 2, (February 1995)
Frølund, S.: Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages. in Lehrmann Madsen, O. (ed.): European Conference on Object-Oriented Programming ECOOP '92, Lecture Notes in Computer Science, Vol. 615, Springer-Verlag (1992)
Matsuoka, S.; Yonezawa, A.: Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages. in Agha, G.; Wegner, P.; Yonezawa, A. (eds.): Research Directions in Concurrent Object-Oriented Programming, MIT Press (1993)
Mitchell, S., E.; Wellings, A. J.: Synchronization, Concurrent Object-Oriented Programming and the Inheritance Anomaly. Technical Report 234. Department of Computer Science, University of York UK (1994)
Tomlinson, C.; Singh, V.: Inheritance and Synchronization with Enabled-Sets. in Meyrowitz, N. (ed): Object-Oriented Programming: Systems, Languages and Applications. OOPSLA'89 Conference Proceedings. ACM Press (1989)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schumacher, G., Nebel, W. (1998). How to avoid the inheritance anomaly in Ada. In: Asplund, L. (eds) Reliable Software Technologies — Ada-Europe. Ada-Europe 1998. Lecture Notes in Computer Science, vol 1411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054994
Download citation
DOI: https://doi.org/10.1007/BFb0054994
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64536-8
Online ISBN: 978-3-540-69802-9
eBook Packages: Springer Book Archive