Abstract
A framework for the semantic description of concurrent object-oriented languages based on CCS is outlined. We discuss how the essential object-oriented features, such as encapsulation, object identity, classes, inheritance and concurrency are captured. Then, the proposed framework is used for defining the semantics of significantly different versions of a toy language which supports the above features. The ease with which the different versions of this language are accommodated provides some evidence for the applicability of the framework for a wide range of languages, as well as its usefulness for comparing different language designs and examining the interaction of a rich set of object-oriented features.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
P. America,“POOL-T: A Parallel Object-Oriented Language,” in Object-Oriented Concurrent Programming, ed. A. Yonezawa, M. Tokoro, pp. 199–220, The MIT Press, Cambridge, Massachusetts, 1987.
R.H. Campbell and A.N. Habermann,“The Specification of Process Synchronization by Path Expressions,” LNCS 16, pp. 89–102, Springer-Verlag, New York, 1974.
U. Engberg and M. Nielsen,“A Calculus of Communicating Systems with Label Passing,” DAIMI PB-208, University of Aarhus, 1986.
A. Goldberg and D. Robson, Smalltalk-80: The Language and its Implementation, Addison-Wesley, 1983.
D. G. Kafura and K. H. Lee,“Inheritance in Actor Based Concurrent Object-Oriented Languages,” in Proceedings ECOOP'89, ed. S. Cook, British Computer Society Workshop Series, Cambridge University Press, 1989.
H. Lieberman,“Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems,” ACM SIGPLAN Notices, Proceedings OOPSLA '86, vol. 21, no. 11, pp. 214–223, Nov 1986.
R. Milner, Communication and Concurrency, Prentice Hall International Series in Computer Science, 1989.
R. Milner, J. Parrow and D. Walker, “A Calculus of Mobile Processes, Part I and II,” Report ECS-LFCS-89-85 and-86, Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, 1989.
J.E.B. Moss and W.H. Kohler,“Concurrency Features for the Trellis/Owl Language,” in Proc. of ECOOP'87, BIGRE, no. 54, pp. 223–232, June 1987.
O.M. Nierstrasz and M. Papathomas,“Viewing Objects as Patterns of Communicating Agents.,” OOPS-LA'90 Proceedings, SIGPLAN Notices, vol. 25, no. 10, ACM Press, October 1990.
O.M. Nierstrasz,“A Guide to Specifying Concurrent Behavior with Abacus,” in Object Management, ed. D.C. Tsichritzis, pp. 267–293, Centre Universitaire d'Informatique, University of Geneva, July 1990.
M. Papathomas,“Concurrency Issues in Object-Oriented Languages,” in Object Oriented Development, Centre Universitaire d'Informatique, University of Geneva, ed. D. Tsichritzis, pp. 207–245, 1989.
M. Papathomas and D. Konstantas,“Integrating Concurrency and Object-Oriented Programming: An Evaluation of Hybrid,” in Object Management, Centre Universitaire d'Informatique, University of Geneva, ed. D. Tsichritzis, pp. 229–244, 1990.
A. Snyder,“Encapsulation and Inheritance in Object-Oriented Programming Languages,” Proc. OOPA-LA'86, ACM SIGPLAN Notices, vol. 21, no. 11, pp. 38–45, Nov 1986.
C. Tomlinson and V. Singh,“Inheritance and Synchronization with Enabled Sets,” ACM SIGPLAN Notices, Proceedings OOPSLA '89, vol. 24, no. 10, pp. 103–112, Oct 1989.
B. Thomsen,“A Calculus of Higher Order Communicating Systems,” Proc. 16th POPL, pp. 143–154, Austin, Texas, Jan 11–13, 1989.
F.W. Vaandrager,“Process algebra semantics of POOL,” in Applications of Process Algebra, ed. J.C. Baeten, Cambridge Tracts in Theoretical Computer Science 17, pp. 173–236, Cambridge University Press, 1990.
D. Walker,“π-calculus Semantics of Object-Oriented Programming Languages,” Report ECS-LFCS-90-122, Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, Oct. 1990.
Y. Yokote and M. Tokoro,“Concurrent Programming in ConcurrentSmalltalk,” in Object-Oriented Corcurrent Programming, ed. M. Tokoro, pp. 129–158, The MIT press, Cambridge, Massachusetts, 1987.
A. Yonezawa, J-P Briot and E. Shibayama,“Object-Oriented Concurrent Programming in ABCL/1,” ACM SIGPLAN Notices, Proceedings OOPSLA '86, vol. 21, no. 11, pp. 258–268, Nov 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Papathomas, M. (1992). A unifying framework for process calculus semantics of concurrent object-oriented languages. In: Tokoro, M., Nierstrasz, O., Wegner, P. (eds) Object-Based Concurrent Computing. ECOOP 1991. Lecture Notes in Computer Science, vol 612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55613-3_3
Download citation
DOI: https://doi.org/10.1007/3-540-55613-3_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55613-8
Online ISBN: 978-3-540-47260-5
eBook Packages: Springer Book Archive