The computational field model for open distributed environments (extended abstract)
In this paper, we introduced the computational field model and related research topics. CFM offers us a high-level abstraction of computational space of open distributed environments, where we no longer have nodes and networks but the field and floating entities. The high-level abstraction enables us to concentrate on essential aspects of dynamic computation in open distributed environments, mapping detailed structures such as processor configuration and network topologies onto abstract elements such as the field and objects. Migration is positioned at the core of the framework, and we described dynamic object grouping/diffusion scheme in the computational field. We also referred to the significance of the field notion in general concurrency theory, which shows interesting similarities and differences from Berry and Boudol's Chemical Abstract Machine.
Our computational environments are undergoing radical evolution with the accelerating development of networked computers. The resulting form of computation will be quite different from what we have known until now. The new environments are both enchanting (because of its versatility and dynamism) and dangerous (because of its tremendous complexity and nondeterminism). To exploit the chances and to avoid the dangers, we need to construct a new conceptual and technological framework for software development and analysis, based on the deep understanding of the essential characteristics of the coming computer environments. Our hope is that CFM and the related works can contribute to the important methodological construction in the age of open distributed computing.
KeywordsDynamic Object Migration Cost Computational Space Concurrent Object Concurrent Computation
Unable to display preview. Download preview PDF.
- Berry, G. and Boudol, G., The Chemical Abstract Machine. Proc 17 the Annual Symposium on Principles of Programming Languages, 1990.Google Scholar
- Hewitt, C., and de Jong, P., Open Systems. in: On Conceptual Modeling. Brodie, M. et al., ed. Springer-Verlag, 1984Google Scholar
- Hoare, C.A.R., Communicating Sequential Processes. Prentice Hall, 1985.Google Scholar
- Honda, K. and Tokoro, M., A Report On Language PROTO and Its Underlying Computation Model. KEIO-CS-1989-1, April 1989. With annotations in October 1990 as KEIO-CS-1990-1.Google Scholar
- Honda, K. and Tokoro, M., A Small Calculus for Concurrent Objects. in Proceedings of OBCS Workshop 1990, SIGPLAN NOTICES.Google Scholar
- Honda, K. and Tokoro, M., Objects and Calculi. 1990, submitted.Google Scholar
- Meseguer et al., Concurrent Term Rewriting. SRI-CSL-90-2, SRI International, February 1990.Google Scholar
- Milner, R., Calculus of Communicating Systems. LNCS 92, 1980.Google Scholar
- Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes. Part I and II. ECS-LFCS-89-85/86, Edinburgh University, 1989Google Scholar
- Milner, R., Communication and Concurrency. Prentice Hall, 1989.Google Scholar
- Milner, R., Functions as Processes. LNCS 443, 1990.Google Scholar
- Milner, R., Functions as Processes. Rapports de Recherche No.1154, INRIA-Sophia Antipolis, February 1990.Google Scholar
- Nierstrasz, O., A Guide to Specifying Concurrent Behaviour with Abacus. in Tsichritzis, D., ed. Object Management. Centre Universitaire D'informatique, Universite de Geneve, July 1990.Google Scholar
- Tokoro, M., Issues In Object-Oriented Distributed Computing. in: Proceedings of 4th Conference of Japan Society for Software Science and Technology, September 1988. (in Japanese, English version available)Google Scholar
- Tokoro, M., Computational Field Model: Toward a New Computing Model/Methodology for Open Distributed Environment. The 2nd IEEE Workshop on Future Trends in Distributed Computing Systems, Cairo, 1990.Google Scholar
- Tokoro, M. and Jean-Pierre Briot, Concurrent Object-Oriented Programming. a Tutorial given at TOOLS'90, Paris, May 1990.Google Scholar
- Uehara,M. and Tokoro,M, An Adaptive Load Balancing Method in the Computational Field Model. in Proceedings of OBCS Workshop 1990, SIGPLAN NOTICES.Google Scholar
- Yokote, Y., Teraoka, F., and Tokoro, M., A Reflective Architecture for an Object-Oriented Distributed Operating System. In Proceedings of European Conference on Object-Oriented Programming, July, 1989.Google Scholar
- Yonezawa, A. and Tokoro, M., Object-Oriented Concurrent Programming. MIT Press, 1986.Google Scholar