Skip to main content
SpringerLink
Log in

A Timed Calculus for Distributed Objects with Clocks

  • Conference paper
  • First Online:
ECOOP’ 93 — Object-Oriented Programming (ECOOP 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 707))

Included in the following conference series:

Abstract

This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allows to describe and analyze both locally temporal and behavioral properties of distributed objects and interactions among them. We introduce timed bisimulations with respect to local time. These bisimulations equate distributed objects if and only if their behaviors are completely matched and their timings are within a given bound. The bisimulations provide a method to verify distributed objects with temporal uncertainties and real-time objects with non-strict time constraints.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Black, A., Hutchinson, N., July, E., and Levy, H., Object Structure in the Emerald System, Proceedings of ACM OOPSLA’86, November, p78–86, 1986.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. Castellani, H., and Hennessy, M., Distributed Bbsimulation, Journal of ACM, Vol.36, No.4, p887–911, 1989.

    Article  MATH  MathSciNet  Google Scholar 

  4. Corsetti, E., Montanari, A., and Ratto, E., Dealing with Diflerent Granularities in Formal Specifications of Real-Time Systems, Real-Time Systems, vol.3, No.2, p191–215, May, 1991.

    Article  Google Scholar 

  5. Hansson, H., and Jonsson, B., A Calculus of Communicating Systems with Time and Probabilities, Proceedings of 11th IEEE Real-Time Systems Symposium, p278–287, December, 1990.

    Google Scholar 

  6. Hennessy, M., On Timed Process Algebra: a Tutorial, Technical Report 2/93, University of Sussex, 1993

    Google Scholar 

  7. Hobbs, J. R., Granularity, Proceedings of 9th International Joint Conference Artificial Intelligence, p432–435, August, 1985.

    Google Scholar 

  8. Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, Proceedings of ECOOP’91, LNCS 512, p133–147, June, 1991.

    Google Scholar 

  9. Jefferson, D. R., Virtual Time, ACM TOPLAS, vol.7, No.3, 1985.

    Google Scholar 

  10. Kopetz, H., Clock Synchronization in Distributed Real-Time Systems, IEEE Transactions on Computers, vo1.36, No.8, p933–940, August, 1987.

    Article  MATH  Google Scholar 

  11. Krishnan, P., Distributed CCS, Proceedings of CONCUR’91, LNCS 527, p393–407, August, 1991.

    Google Scholar 

  12. Lamport, L., Time, Clocks, and the Ordering of Events in a Distributed System Communication of the ACM, Vol.21, No.7, p558–565, July, 1978

    Article  MATH  Google Scholar 

  13. Lundelius, J., and Lynch, N., An Upper and Lower Bound for Clock Synchronization, Information and Control, Vol.62, p190–204, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  14. Milner, R., Communication and Concurrency, Prentice Hall, 1989.

    Google Scholar 

  15. Moller, F., and Tofts, C., A Temporal Calculus of Communicating Systems, Proceedings of CONCUR’SO, LNCS 458, p401–415, August, 1990.

    Google Scholar 

  16. Montanari, A., Ratto, E., Corsetti, E., and Morzeniti, A., Embedding Time Granularity in Logical Specification of Real-Time Systems, Proceedings of EUROMI-COR’91, Workshop on Real-Time Systems, p88–97, June, 1991.

    Google Scholar 

  17. Nicollin, X., and Sifakis, J., The Algebra of Timed Process ATP: Theory and Applications, IMAG Technical Report, RT-C25, 1990.

    Google Scholar 

  18. Nierstrasz, O. M., and Papathomas, M., Viewing Objects QS Patterns of Communicating Agents, Proceedings of ECOOP/OOPSLA’90, October, p38–43, 1990.

    Google Scholar 

  19. Park, D., Concurrency and Automata on Infinite Sequences, Proceedings of Theoretical Computer Science, LNCS 104, p167–187, 1981.

    Chapter  Google Scholar 

  20. Plotkin, G. D, A Structural Approach to Operational Semantics, Technical Report, Department of Computer Science, Arhus University, Denmark, 1981.

    Google Scholar 

  21. Satoh, I., and Tokoro, M., A Formalism for Real-Time Concurrent Object-Oriented Computing, Proceedings of ACM OOPSLA’92, p315–326, October, 1992.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. Tokoro, M., and Satoh, I., Asynchrony and Real-Time in Distributed Systems, US/Japan Seminar on Parallel Symbolic Computing, October, 1992.

    Google Scholar 

  24. Yi, W., CCS + Time = an Interleavang Model for Real Time Systems, Proceedings of Automata, Languages and Programming’91, LNCS 510, p217–228, 1991.

    Google Scholar 

  25. Yonezawa, A., and Tokoro, M., editors, Object-Oriented Concurrent Programming, MIT Press, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Keio University, 3-14-1, Hiyoshi, Kohoku-ku, Yokohama, 223, Japan

    Ichiro Satoh & Mario Tokoro

  2. Sony Computer Science Laboratory Inc., 3-14-13 Higashi-Gotanda, Shinagawa-ku, Tokyo, 141, Japan

    Mario Tokoro

Authors
  1. Ichiro Satoh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mario Tokoro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre Universitaire d’Informatique, Université de Genève, 24, rue Général-Dufour, CH-1211, Genève 4, Switzerland

    Oscar M. Nierstrasz

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Satoh, I., Tokoro, M. (1993). A Timed Calculus for Distributed Objects with Clocks. In: Nierstrasz, O.M. (eds) ECOOP’ 93 — Object-Oriented Programming. ECOOP 1993. Lecture Notes in Computer Science, vol 707. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47910-4_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-47910-4_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57120-9

  • Online ISBN: 978-3-540-47910-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation