Time

Semantic Role

Time is the dimension in which occurrences, changes, histories, and behaviors are ordered or compared.

In the model, values and observations do not carry intrinsic occurrence time. Time belongs to events, version histories, and behaviors.

Entity Histories

For an entity, time is reflected operationally by its ordered sequence of versions. A state becomes current at the version or time produced by the event that caused it.

Representations

Time may be represented by clocks, event positions, versions, sequence numbers, workflow history positions, stream offsets, or other ordering mechanisms depending on the realization substrate.

Wall-Clock and Civil Time

Wall-clock time is time as reported by a physical or civil clock, such as UTC timestamps or local calendar time. It is useful for deadlines, schedules, retention windows, human interpretation, and external correlation, but it does not by itself define causal order or prove that a semantic transition committed.

Time data structures carry different semantics. An instant identifies a globally comparable point, usually represented in UTC. A duration measures an elapsed amount rather than a calendar position. Civil time combines calendar fields with an offset or timezone. A local or relative time such as 2pm is not a global instant until a date, timezone, calendar, or scheduling context supplies the missing interpretation. Recurring civil times may not correspond to uniform durations because calendar and timezone rules can change.

Logical and Causal Time

Logical clocks model time as event ordering rather than wall-clock measurement. In distributed systems, this may produce partial orders where some events are concurrent or incomparable.

The clock or version map is order-preserving with respect to Lamport's happened-before relation:

A \prec B \Rightarrow \operatorname{version}(A) \le \operatorname{version}(B)

Here $A \prec B$ means that event or observation A happens before B. The implication is one-way for ordinary logical clocks: ordered versions preserve happened-before, but comparing versions does not always recover the full causal relation unless the version representation carries enough causal metadata.

Vector clocks refine logical time by tracking causal position across multiple participants. They are useful when a model must distinguish causally ordered events or state observations from concurrent or incomparable ones rather than forcing everything into one total order. A version in a distributed or replicated history may use vector-clock-like metadata as its realization.

Logical and causal time also support the notion of a consistent cut: a causally closed selection of events, versions, or observations used to define a coherent snapshot across distributed participants.

Synchrony and Asynchrony relates to time but is not the same distinction. Timing-model synchrony assumes bounds, rounds, or clocks. Commit or observation synchrony may instead be logical: several events are treated as one boundary-relative unit even if they did not occur at the same wall-clock instant.

External References

Leslie Lamport, Time, Clocks, and the Ordering of Events in a Distributed System, Communications of the ACM, 21(7):558-565, July 1978.
Friedemann Mattern, Virtual Time and Global States of Distributed Systems, 1989.