Skip to main content
SpringerLink
Log in

Is Time a Real Time? An Overview of Time Ontology in Informatics

  • Conference paper
Real Time Computing

Part of the book series: NATO ASI Series ((NATO ASI F,volume 127))

Abstract

Aim of this paper is to introduce several aspects of time in the heterogeneous world of Informatics and define ontologies for time in different domains of computers and their applications. Some philosophical and physical backgrounds are given, to show how, from the richness of often contrasting ideas developed in the framework of these disciplines, many useful concepts have been derived also for computer science. Architectural aspects of computer systems, Information Systems applications, and Real-time systems, are considered as temporally problematic domains.

This work was partially supported by CNR-CSISEI and MURST

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. J.F. Allen, Maintaining Knowledge about Temporal Intervals, Communications of ACM, Vol. 26, No. 11, 1983.

    Google Scholar 

  2. J.F. Allen, Towards a General Theory of Action and Time, Artificial Intelligence, Vol. 23, 1984, 123–154.

    Article  MATH  Google Scholar 

  3. J.F. Allen, Time and Time Aga in: The Many Ways to Represent Time, Int. Journal of Intelligent Systems, Vol. 6, 1991, 341–355.

    Google Scholar 

  4. Aristotle — Physica — Laterza, Bari 1991.

    Google Scholar 

  5. St. Augustine, The City of God,Book XII, Ch. XIII.

    Google Scholar 

  6. St. Augustine, Confessions,Book XI, Ch. XXX.

    Google Scholar 

  7. M. Ben-Ari, A. Pnueli, Z. Manna, The Temporal Logic of Branching Time, Proc. 8th ACM Symp. on Principles of Progr. Lang., 1981, 164–176.

    Google Scholar 

  8. J.P. Burgess, Basic Tense Logic, in D. Gabbay, F. Guenter (Eds.), Handbook of Philosophical Logic, Reidel Dordrecht, Vol. II, 1984, 90–133.

    Google Scholar 

  9. S. De, S. Pan and A. Whinston, Temporal Semantics and Natural Language Processing in a Decision Support System, Information System, Vol. 12, No. 1, 1987.

    Google Scholar 

  10. T.L. Dean and D. McDermott, Temporal Data Base Management, Artificial Intelligence, Vol. 32, 1987, 1–55.

    Article  Google Scholar 

  11. D. Dolev, J.Y. Halpern and H.R. Strong, On the Possibility and Impossibility of Achieving Clock Synchronization, Journal of Computer and System Sciences, Vol. 32, 1986, 230–250.

    Article  MathSciNet  MATH  Google Scholar 

  12. C.E. Dyreson and R.T. Snodgrass, Time-stamp Semantics and Representation, TempIS Technical Report No. 33, Dept. of Computer Science, Univ. of Arizona, Tucson 1992.

    Google Scholar 

  13. A. Einstein, The Meaning of Relativity, 5th ed., Princeton Univ Press, Princeton 1955.

    MATH  Google Scholar 

  14. A. Einstein, Relativity: esposizione divulgativa (Transi. from “über die spezielle und allgemeine Relativitaetstheorie: gemeinverstaendlich, 16th ed. ), Boringhieri, Torino 1960.

    Google Scholar 

  15. E.A. Emerson and J.Y. Halpern, “Sometimes” and “not never” Revisited: on Branching vs. Linear Time, Journal of ACM, Vol. 33, No. 1, 1986, 151–176.

    Article  MathSciNet  MATH  Google Scholar 

  16. M. Felder, D. Mandrioli and A. Morzenti, Proving Properties of Real-time Systems Through Logical Specifications and Petri Net Models, Dip. Elettronica Politecnico di Milano, rep. No. 91–072, 1991.

    Google Scholar 

  17. T. Fidge, Logical Time in Distributed Computing Systems, IEEE Computer, Vol. 24, No. 8, 1991.

    Google Scholar 

  18. J. Fried, An Analysis of Power and Clock Distribution for WSI Systems, in G. Saucier, J. Trilhe (Eds), Wafer Scale Integration, North-Holland, Amsterdam 1986.

    Google Scholar 

  19. A.P. Galton, Temporal Logics and their Applications, Academic Press, London 1987.

    Google Scholar 

  20. A.P. Galton, Temporal Logic and Computer Science: an Overview,in [19].

    Google Scholar 

  21. A.P. Galton, Acritical Examination of Allen’s Theory of Action and Time, Artificial Intelligence, Vol. 42, 1990, 159–188.

    Article  MathSciNet  MATH  Google Scholar 

  22. C. Ghezzi, D. Mandrioli and A. Morzenti, TRIO a Logic Language for Executable Specification of Real-time Systems, Journal of Systems and Software, Vol. 12, No. 2, 1990.

    Google Scholar 

  23. B.C. Goodwin and M.H. Cohen, A Phase-shift Model for the Spatial and Temporal Organization of Developing Systems, Journal of Theoretical Biology, Vol. 25, 1969, 49–107.

    Article  Google Scholar 

  24. S.W. Hawking, A Brief History of Time, Bantam Books, New York 1988.

    Google Scholar 

  25. W. Heisenberg, I pricipi fisici della teoria dei quanti (Transi. from “Die physikalischen Prinzipien der Quantumtheorie”), Boringhieri, Torino 1963.

    Google Scholar 

  26. A.J. Heshel, The Shabbath: Its Meaning for Modern Man, Farrar, Straus & Giroux Inc., New York 1951.

    Google Scholar 

  27. F. Jahanian and A. Mok, Safety Analysis of Timing Properties in Real-Time Systems, IEEE Transactions on Software Eng., Vol. SE-12, No. 9, 1986.

    Google Scholar 

  28. E. Kant, Critica della ragion pura (Transi. from “Kritik der Reinen Vernunft”), Laterza, Bari 1949.

    Google Scholar 

  29. R. Koymans, Specifying Real-Time Properties with Metric Temporal Logic, Real-Time Systems, Vol. 2, 1990, 255–299.

    Article  Google Scholar 

  30. H. Kopetz and W. Ochsenreiter, Clock Synchronization in Distributed Real-Time Systems, IEEE Trans. on Computers, Vol. C-36, No. 8, 1987.

    Google Scholar 

  31. R.A. Kowalski and M.J. Sergot, A Logic Based Calculus of Events, New Generation Computing, Vol. 4, 1986, 67–95.

    Article  Google Scholar 

  32. L. Lamport, Time, Clocks and the Ordering of Events in a Distributed System, Communications of ACM, Vol. 21, No. 7, 1978.

    Google Scholar 

  33. L. Lamport, “Sometimes” is sometimes “not never”: on the Temporal Logic of Programs,Proc. 7th. sc acm Symp. on Principles of Progr. Languages, Las Vegas 1980, 174–185.

    Google Scholar 

  34. L. Lamport and P.M. Melliar-Smith, Synchronizing Clocks in the Presence of Faults, Journal of ACM, Vol. 32, No. 1, 1985.

    Google Scholar 

  35. R. Maiocchi and B. Pernici, Temporal Data Management Systems: A Comparative View, IEEE Transactions on Knowledge and Data Engineering, Vol. 3, No. 4, 1991.

    Google Scholar 

  36. R. Maiocchi, B. Pernici and F. Barbic, Automatic Deduction of Temporal Information,to appear in ACM Transactions on Database Systems.

    Google Scholar 

  37. Z. Manna and A. Pnueli, Verification of Concurrent Programs: the Temporal Framework, in R.S. Boyer, J. Strother Moore, The Correctness Problem in Computer Science, Academic Press, London 1981.

    Google Scholar 

  38. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Vol. 1, Specification, Springer-Verlag, New York 1992.

    Book  Google Scholar 

  39. R. McArthur, Tense Logic, Reidel, Dordrecht 1976.

    Book  MATH  Google Scholar 

  40. D. McDermott, A Temporal Logic for Reasoning about Processes and Plans, Cognitive Science, Vol. 6, 1982, 101–155.

    Article  Google Scholar 

  41. D.G. Messerschmitt, Synchronization, in T.H. Meng, Synchronization Design in Digital Systems, Chap. 2, Kluwer Academic Publishers, Boston 1991.

    Google Scholar 

  42. D.G. Messerschmitt, Isochronous Interconnect, in T.H. Meng, Synchronization Design in Digital Systems, Chap. 6, Kluwer Academic Publishers, Boston 1991.

    Google Scholar 

  43. D.L. Mills, On the Chronometry and Metrology of Computer Network Times-cales and their Application to the Network Time Protocol, ACM Computer Communication Review, Vol. 21, No. 5, 1991.

    Google Scholar 

  44. A.K. Mok, Towards Mechanization of Real-Time Systems Design, in A.M. van Tilborg, G.M. Koob, Foundations of Real-Time Computing: Formal Specifications and Methods, Kluwer Academic Publishers, Boston 1991.

    Google Scholar 

  45. B. Moszkowski, Executing Temporal Logic Programs, LNCS 164, Springer-Verlag, Berlin 1984.

    Google Scholar 

  46. P. Naur and J. Delgrande, Reviews of Y. Shoham, ACM Computing Reviews, Vol. 30, No. 1, 1989.

    Google Scholar 

  47. P.G. Neumann, Survivable Systems, Communications of ACM, Vol. 35, No. 5, 1992

    Google Scholar 

  48. M. Pauri, The Universe as a Scientific Object, in E. Agazzi, A. Cordero (Eds.), Philosophy and the Origin and Evolution of the Universe, Kluwer Academic Publishers, Boston 1991.

    Google Scholar 

  49. A.N. Prior, Diodorean Modalities, The Philosophical Quarterly, Vol. 5, 1955, 202–213.

    Article  Google Scholar 

  50. W.V. Quine, Elementary Logic, Harper & Row, New York 1965.

    Google Scholar 

  51. P. Ramanathan, K.G. Shin and R.W. Butler, Fault-Tolerant Clock Synchronization in Distributed Systems, IEEE Computer, Vol. 23, No. 10, 1990.

    Google Scholar 

  52. H. Reichenbach, Elements of Symbolic Logic, Macmillan, New York 1947.

    Google Scholar 

  53. H. Reichenbach, The Philosophical Meaning of the Relativity Theory, in P.A. Schilpp (Ed.), Albert Einstein: Philosopher-Scientist. The Library of Living Philosophers, Evanston 1949.

    Google Scholar 

  54. N. Rescher and A. Urquhart, Temporal Logic, Springer-Verlag, Berlin 1971.

    Book  MATH  Google Scholar 

  55. B. Russel, Principles of Mathematics, George Allen and Unwin, London 1903.

    Google Scholar 

  56. F.A. Schreiber, A Breviary to Time Concepts for Information Systems, Rivista di Informatica, Vol. XX, No. 1, 1990.

    Google Scholar 

  57. C.L. Seitz, System Timing, in C. Mead, L. Conway, Introduction to vLsi Systems, Chap. 7, Addison-Wesley, Reading (Mass.) 1980.

    Google Scholar 

  58. N. Shankar, Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization,in Vytopil J. (Ed.), Formal Techniques in Real Time and Fault Tolerant Systems, LNCS No. 571, Springer-Verlag, Berlin 1992.

    Google Scholar 

  59. Y. Shoham, Reasoning about Change, Time and Causation from the Standpoint of Artificial Intelligence, MIT Press, Cambridge 1988.

    Google Scholar 

  60. R. Snodgrass and I. Ahn, Temporal Databases, IEEE Computer, Vol. 19, No. 9, 1986.

    Google Scholar 

  61. M.D. Soo, Bibliography on Temporal Databases, ACM SIGMOD Record, Vol. 20, No. 1, 1991.

    Google Scholar 

  62. A. Tansell, R. Snodgrass, J. Clifford, S. Gadia and A. Segev (Eds.), Temporal Databases: Theory, Design and Implementation, Benjamin-Cummings, Reading 1993.

    Google Scholar 

  63. R. Turner: Logics for Artificial Intelligence, Ellis-Horwood, Chichester 1984.

    Google Scholar 

  64. J.F. Van Benthem, Time, Logic, and Computation, in J.W. De Bakker, W.P. de Roever, G. Rozenberg (Eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer Verlag, Berlin 1989.

    Google Scholar 

  65. J.F. Van Benthem, The Logic of Time, 2nd edition, Reidel, Dordrecht 1991.

    Book  MATH  Google Scholar 

  66. J.L. Welch and N. Lynch, A New Fault-Tolerant Algorithmfor Clock Synchronization, Proc. Third ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 1984.

    Google Scholar 

  67. A.T. Winfree, The Geometry of Biological Time, Springer-Verlag, Berlin 1990.

    MATH  Google Scholar 

  68. G.J. Withrow, Reflections on the History of the Concept of Time, in J.T. Fraser et Al. (Eds.), The Study of Time, Springer-Verlag, Berlin 1972.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica e dell’Informazione, Politecnico di Milano, Piazza L. da Vinci 32, 20133, Milano, Italy

    Fabio A. Schreiber

Authors
  1. Fabio A. Schreiber
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Vakgroep Informatica, Rijksuniversiteit Groningen, Postbus 800, 9700 AV, Groningen, The Netherlands

    Wolfgang A. Halang

  2. Fachbereich Elektrotechnik und Informationstechnik, FernUniversität Hagen, D-58084, Hagen, Germany

    Wolfgang A. Halang

  3. Department of Computer and Information Science, New Jersey Institute of Technology, 07102, Newark, NJ, USA

    Alexander D. Stoyenko

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schreiber, F.A. (1994). Is Time a Real Time? An Overview of Time Ontology in Informatics. In: Halang, W.A., Stoyenko, A.D. (eds) Real Time Computing. NATO ASI Series, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88049-0_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-88049-0_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-88051-3

  • Online ISBN: 978-3-642-88049-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation