Abstract
Ordinary object type is a one-to-one relation between caller and callee. When communication patterns are introduced into object types, they must be extended to relations among to two-or-more object. We propose a new type framework that expresses communication patterns and two-or-more object connections, and its implementation on asynchronous faulty networks using future communication property. Although our type is static and not higher order, we can construct a computational model with dynamic properties.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Carriero, N. and Gelernter, D.: Linda in context, Comm.ACM, Vol. 32, No. 4, pp. 444–458, 1989.
Goldberg, A. and Robson, D.: Smalltalk-80 The Language and Its Implementation, Addison-Wesley, 1983.
Harada, Y., Hamada, N., Watanabe, S., Miyamoto, E.: A Type Mechanism for Distributed Computing Environments with Multiple Languages, Computer Software, Vol. 9, No. 2(1992), pp. 63–74 (In Japanese).
Harada, Y., Watanabe, S. and Miyamoto, E.: An Agent Model Using Tuples as Communication Sequences (Process Algebra + Tuple Space + Future Variables), Multi Agent and Cooperative Computation I, Lecture Notes / Software Engineering 2, Kindai Kagakusha, 1992 (in Japanese).
Hennessy, M.: Algebraic Theory of Processes, The MIT Press, 1988.
Honda, K. and Tokoro, M: On Asynchronous Communication Semantics, Object-Based Concurrent Computing, LNCS 612, 1992.
Kleinman, A., Moscowitz, Y., Pnueli, A. and Shapiro, E.: Communication with Directed Logic Variables, POPL'91, 1991.
Milner, R.: Calculus of Communication Systems, LNCS 92, Springer-verlag, 1980.
Milner, R., Parrow, J. and Walker, D.: A calculus of mobile processes part i, LFCS, 1989.
Nierstrasz, O.: Towards an Object Calculus, Object-Based Concurrent Computing, LNCS 612, 1992.
Nierstrasz, O. and Papathomas, M.: Viewing objects as patterns of communicating agents, Proc. ECOOP/OOPSLA'90, 1990.
Takashio, K. and Tokoro, M.: DROL: An Object-Oriented Programming Language for Distributed Real-Time Systems, Proc. OOPSLA'92, 1992.
Yonezawa, A.: ABCL An Object-Oriented Concurrent System, The MIT Press, 1990.
Yoshida, K. and Chikayama, T.: A'UM A Stream-Based Concurrent Object-Oriented Language, Proceedings of the International Conference on Fifth Generation Computer Systems 1988, pp. 638–649.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harada, Y. (1993). A type mechanism based on restricted CCS for distributed active objects. In: Nishio, S., Yonezawa, A. (eds) Object Technologies for Advanced Software. ISOTAS 1993. Lecture Notes in Computer Science, vol 742. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57342-9_90
Download citation
DOI: https://doi.org/10.1007/3-540-57342-9_90
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57342-5
Online ISBN: 978-3-540-48075-4
eBook Packages: Springer Book Archive