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

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.

[1]  David L. Mills,et al.  On the chronometry and metrology of computer network timescales and their application to the network time protocol , 1991, CCRV.

[2]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[3]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[4]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[5]  Antony Galton,et al.  A Critical Examination of Allen's Theory of Action and Time , 1990, Artif. Intell..

[6]  Danny Dolev,et al.  On the possibility and impossibility of achieving clock synchronization , 1984, STOC '84.

[7]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[8]  llsoo Ahn,et al.  Temporal Databases , 1986, Computer.

[9]  Mordechai Ben-Ari,et al.  The Temporal Logic of Branching Time , 1981, POPL.

[10]  Dino Mandrioli,et al.  Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models , 1994, IEEE Trans. Software Eng..

[11]  Massimo Pauri,et al.  The Universe as a Scientific Object , 1991 .

[12]  Gary M. Koob,et al.  Foundations of Real-Time Computing: Formal Specifications and Methods , 1991 .

[13]  Barbara Pernici,et al.  Temporal Data Management Systems: A Comparative View , 1991, IEEE Trans. Knowl. Data Eng..

[14]  B. Russell.  The Principles of Mathematics , 1938 .

[15]  Antoni Olivé,et al.  A formal approach to timing analysis and design of information systems , 1987, Inf. Syst..

[16]  Aloysius K. Mok,et al.  Towards Mechanization of Real-Time System Design , 1991 .

[17]  Evandro Agazzi,et al.  Book-Review - Philosophy and the Origin and Evolution of the Universe , 1992 .

[18]  Nancy A. Lynch,et al.  A new fault-tolerant algorithm for clock synchronization , 1984, PODC '84.

[19]  Zohar Manna,et al.  Verification of concurrent programs, Part I: The temporal framework , 1981 .

[20]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[21]  Robert S. Boyer,et al.  The Correctness Problem in Computer Science , 1982 .

[22]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[23]  Barbara Pernici,et al.  Automatic deduction of temporal information , 1992, TODS.

[24]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[25]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[26]  Carlo Ghezzi,et al.  TRIO: A logic language for executable specifications of real-time systems , 1990, J. Syst. Softw..

[27]  Grzegorz Rozenberg,et al.  Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency , 1988, Lecture Notes in Computer Science.

[28]  Nancy A. Lynch,et al.  A New Fault-Tolerance Algorithm for Clock Synchronization , 1988, Inf. Comput..

[29]  Michael D. Soo,et al.  Bibliography on temporal databases , 1991, SGMD.

[30]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[31]  A. Einstein.  The Meaning of Relativity , 1946 .

[32]  John P. Burgess,et al.  Basic Tense Logic , 1984 .

[33]  LamportLeslie.  Time, clocks, and the ordering of events in a distributed system , 1978 .

[34]  Johan van Benthem,et al.  The Logic of Time , 1983 .

[35]  Colin J. Fidge,et al.  Logical time in distributed computing systems , 1991, Computer.

[36]  Parameswaran Ramanathan,et al.  Fault-tolerant clock synchronization in distributed systems , 1990, Computer.

[37]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[38]  James F. Allen.  Time and time again: The many ways to represent time , 1991, Int. J. Intell. Syst..

[39]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[40]  Antony Galton.  Temporal logic and computer science: an overview , 1987 .

[41]  H. Jehle,et al.  Albert Einstein: Philosopher-Scientist. , 1951 .

[42]  KoymansRon.  Specifying real-time properties with metric temporal logic , 1990 .

[43]  Aloysius K. Mok,et al.  Safety analysis of timing properties in real-time systems , 1986, IEEE Transactions on Software Engineering.

[44]  A. Winfree.  The geometry of biological time , 1991 .

[45]  P. M. Melliar-Smith,et al.  Synchronizing clocks in the presence of faults , 1985, JACM.

[46]  J. T. Fraser,et al.  The Study of Time , 1972 .

[47]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.

[48]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[49]  Danny Dolev,et al.  On the Possibility and Impossibility of Achieving Clock Synchronization , 1986, J. Comput. Syst. Sci..

[50]  Peter G. Neumann.  Survivable systems , 1992, CACM.

[51]  Andrew B. Whinston,et al.  Temporal semantics and natural language processing in a decision support system , 1987, Inf. Syst..

[52]  Willard Van Orman Quine,et al.  Elementary Logic , 1965 .

[53]  Hermann Kopetz,et al.  Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[54]  B. Goodwin,et al.  A phase-shift model for the spatial and temporal organization of developing systems. , 1969, Journal of theoretical biology.

[55]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[56]  Natarajan Shankar.  Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization , 1992, FTRTFT.

[57]  Leslie Lamport,et al.  "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.

[58]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[59]  Raymond Turner,et al.  Logics in Artificial Intelligence , 1994, Lecture Notes in Computer Science.