Abstract
The notion of group-wide reflection is presented. Group-wide reflection, a dimension of computational reflection in concurrent systems, allows each computational agent (actor/object/process) to reason about and act upon not only the agent itself, but also a group of agents which may contain the agent itself. Global properties of the group can be dynamically controlled through group-wide reflection. We have developed a simple yet general model for group-wide reflection based on the Actor model[1]. An operational semantics of a group of object-level actors is represented by another group of actors (a group of metalevel actors), which is an implementation of a transition system of the object-level group. We prove that the metalevel group correctly represents the operational semantics of the group in terms of transitions of configurations. Furthermore, migration of an actor from node to node is described as an example of group-wide reflection.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press, 1987.
A. Black, N. Hutchinson, E. Jul, H. Levi, and L. Carter. “Distribution and Abstract Types in Emerald”. IEEE Transactions on Software Engineering, SE-13(1):65–76, January 1987.
T. Chikayama, H. Sato, and T. Miyazaki. “Overview of the Parallel Inference Machine Operating System (PIMOS)”. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS), Tokyo, pages 230–251. ICOT, December 1988.
D. R. Jefferson. “Virtual Time”. ACM Transactions on Programming Languages and Systems, 7(3):404–425, 1985.
L. Liang, S. T. Chanson, and G. W. Neufield. “Process Groups and Group Communications: Classifications and Requirements”. IEEE COMPUTER, 23(2):56–66, February 1990.
P. Maes. “Concepts and Experiments in Computational Reflection”. In Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 147–155, 1987.
B. C. Smith. “Reflection and Semantics in Lisp”. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL), pages 23–35, 1984.
T. Watanabe and A. Yonezawa. “Reflection in an Object-Oriented Concurrent Language”. In Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), San Diego CA., pages 306–315. ACM, September 1988. (Revised version in [10]).
Y. Yokote, F. Teraoka, and M. Tokoro. “A Reflective Architecture for an Object-Oriented Distributed Operating System”. In Proceedings of European Conference on Object-Oriented Programming (ECOOP), July 1989.
A. Yonezawa, editor. ABCL: An Object-Oriented Concurrent System. The MIT Press, 1990.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Watanabe, T., Yonezawa, A. (1991). An actor-based metalevel architecture for group-wide reflection. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds) Foundations of Object-Oriented Languages. REX 1990. Lecture Notes in Computer Science, vol 489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019450
Download citation
DOI: https://doi.org/10.1007/BFb0019450
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53931-5
Online ISBN: 978-3-540-46450-1
eBook Packages: Springer Book Archive