Abstract
In this paper, we attempt to reveal the most essential properties of distributed computations. We claim that the notions of asynchrony, real-time, and autonomy are vitally important to a widely distributed, open-ended, ever-changing environment. We then propose a programming language, called DROL, for asynchronous real-time computing. It supports self-contained active objects that have threads of control and a clock, and introduces the notion of timed invocation, that guarantees the survivability of each active object. We place DROL as a first step in constructing programming languages to realize the above three notions. We also classify distributed computation into four forms according to asynchrony and real-time properties, and try to develop formalisms for the four categories based on a process calculus. The formalisms allow us to describe and analyze both globally and locally temporal properties as well as the behavioral properties of distributed objects and the interactions among them. We discuss issues remaining to be solved and suggest some possibilities for future work.
This is an revised and enhanced version of [10].
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, Proceedings of ECOOP'91, LNCS 512, p133–147, June, 1991.
Ishikawa, Y., Tokuda, H. and Mercer, C. W., Object-Oriented Real-Time Language Design: Constructs for Timing Constraints, Proceedings of ECOOP/OOPSLA'90, October, p289–298, 1990.
Milner, R., Communication and Concurrency, Prentice Hall, 1989.
Satoh, I., and Tokoro, M., A Formalism for Real-Time Concurrent Object-Oriented Computing, Proceedings of ACM OOPSLA'92, p315–326, October, 1992.
Satoh, I., and Tokoro, M., A Timed Calculus for Distributed Objects with Clocks, Proceedings of ECOOP'93, July, 1993.
Takashio, K., and Tokoro, M., DROL: An Object-Oriented Programming Language for Distributed Real-time Systems, Proceedings of ACM OOPSLA'92, p276–294, October, 1992.
Takashio, K., and Tokoro, M., Time Polymorphic Invocation: A Real-Time Communication Model for Distributed Systems, Proceedings of IEEE WPDRTS'93, p79–88, April, 1992.
Tokoro, M., Computational Field Model: Toward a New Computing Model — Methodology for Open Distributed Environment, Proceedings of IEEE Workshop on Future Trends of Distributed Computing Systems, September, 1990.
Tokoro, M., Toward Computing Systems for the 2000's, Proceedings of Operating Systems in 1990's and Beyond, LNCS 563, December, 1991.
Tokoro, M. and Satoh, I., Asynchrony and Real-Time in Distributed Systems, Proceedings of Parallel Symbolic Computing: Language, Systems, and Applications, October, 1992.
Tokuda, H., and Mercer, C. W., ARTS: A Distributed Real-Time Kernel, ACM Operating System Review, Vol.23, No.3, 1989.
Yonezawa, A., and Tokoro, M., editors, Object-Oriented Concurrent Programming, MIT Press, 1987.
Yokote, Y., The Apertos Reflective Operating System: The Concept and its Implementation, Proceedings of ACM OOPSLA'92, p397–413, October, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tokoro, M., Takashio, K. (1994). Toward languages and formal systems for distributed computing. In: Guerraoui, R., Nierstrasz, O., Riveill, M. (eds) Object-Based Distributed Programming. ECOOP 1993. Lecture Notes in Computer Science, vol 791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017536
Download citation
DOI: https://doi.org/10.1007/BFb0017536
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57932-8
Online ISBN: 978-3-540-48389-2
eBook Packages: Springer Book Archive