Abstract
This paper presents a framework for specifying and verifying distributed real-time object-oriented systems. An earlier paper [18] introduced a process calculus for describing distributed objects using local clocks. It was based on synchronous communication and thus could not sufficiently model asynchronous communication in distributed systems. In this paper we propose a new process calculus with the ability to express asynchronous message passing, communication delay, and delayed processing. It can describe temporal and behavioral properties of distributed real-time objects. Based on the new calculus, we develop a verification method by means of algebraic order relations. The relations are speed-sensitive and can decide whether two distributed real-time objects are behaviorally equivalent and whether one of them can perform its behaviors faster than the other. They offer a suitable method for proving the correctness and reusability of real-time objects in asynchronous communication settings. Some examples are shown to demonstrate the calculus and the relations.
Part of this work was done while the first author was visiting Rank Xerox Research Centre, Grenoble Laboratory, France.
Partially supported by JSPS Fellowships for Japanese Junior Scientists.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agha, G., Mason, I., Smith, S., and Talcott, C., Towards a Theory of Actor Computations, Proceedings of CONCUR’92, LNCS 630, p565–578, August, 1992.
Baeten, J. C. M., and Bergstra, J. A., Process Algebra, Cambridge University Press, 1990.
Baeten, J. C. M., and Bergstra, J. A., Asynchronous Communication in Real Space Process Algebra, Proceedings of Formal Techniques in Real-Time and Fault-Tolerant System, LNCS 591, p473–491, May, 1991.
Bergstra, J. A., and Klop, J. W., Process Algebra with Asynchronous Communication Mechanisms, Seminar on Concurrency, LNCS 197, p76–95, 1985.
Boudol, G., Castellani, I., Hennessy, M., and Kiehn, A., A Theory of Processes with Localities, Proceedings of CONCUR’92, LNCS 630, p108–122, August, 1992.
Brinksma, E., A tutorial on LOTOS, Proceedings, IFIP Workshop on Protocol Specification, Testing and Verification, p73–84, North-Holland, 1986.
de Boer, F.S., Klop, J.W., and Palamidessi, Asynchronous Communication in Process Algebra, Proceedings of LICS’92, p137–147, June, 1992.
Hennessy, M., On Timed Process Algebra: a Tutorial, Technical Report 2/93, University of Sussex, 1993
Hewitt, C., Viewing Control Structures as Pattern of Passing Messages, Journal of Artificial Intelligence, Vol. 8, No.3, 1977.
Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, Proceedings of ECOOP’91, LNCS 512, p133–147, June, 1991.
Milner, R., Communication and Concurrency, Prentice Hall, 1989.
Milner, R., Parrow. J., Walker, D., A Calculus of Mobile Processes, Information and Computation, Vol.100, p1–77, 1992.
Milner, R., Functions as Processes, Mathematical Structures in Computer Science, Vol.2, No.2, p119–141, 1992.
Moller, F., and Tofts, C., Relating Processes with Respect to Speed, Proceedings of CONCUR’91, LNCS 527, p424–438, August, 1991.
Nicollin. X., and Sifakis, J., An Overview and Synthesis on Timed Process Algebras, Proceedings of Computer Aided Verification, LNCS 575, p376–398, June, 1991.
Nierstrasz, O. M., and Papathomas, M., Viewing Objects as Patterns of Communicating Agents, Proceedings of ECOOP/OOPSLA’90, October, p38–43, 1990.
Satoh, I., and Tokoro, M., A Formalism for Real-Time Concurrent Object-Oriented Computing, Proceedings of OOPSLA’92, p315–326, October, 1992.
Satoh, I., and Tokoro, M., A Timed Calculus for Distributed Objects with Clocks, Proceedings of ECOOP’93, LNCS 707, p326–345, July, 1993.
Satoh, I., and Tokoro, M., Semantics for a Real-Time Object-Oriented Programming Language, Proceedings of IEEE International Conference on Computer Languages, p159–170, May, 1994.
Satoh, I., and Tokoro, M., A Formalism for Remotely Interacting Processes, Proceedings of Workshop on Theory and Practice of Parallel Programming, November, 1994. Also a revised version will appear in LNCS, 1995.
Tokoro, M., and Satoh, I., Asynchrony and Real-Time in Distributed Systems, Proceedings of Parallel Symbolic Computing: Languages, Systems, and Application, LNCS 748. p318–330, 1993.
Yonezawa, A., and Tokoro, M., editors, Object-Oriented Concurrent Programming, MIT Press, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Satoh, I., Tokoro, M. (1995). Time and Asynchrony in Interactions among Distributed Real-Time Objects. In: Tokoro, M., Pareschi, R. (eds) ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995. ECOOP 1995. Lecture Notes in Computer Science, vol 952. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49538-X_16
Download citation
DOI: https://doi.org/10.1007/3-540-49538-X_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60160-9
Online ISBN: 978-3-540-49538-3
eBook Packages: Springer Book Archive