DTV12 — time point sequences specify time periods

Clause 8.7 includes two verb concepts:

time point1 through time point2 specifies time period

time point1 to time point2 specifies time period

The definitions of these concepts describe the construction of a time point sequence followed by the correspondence to time period. Several of the Necessities in these entries restate Necessities for time point sequences. At least one Necessity for time point sequences in general is stated here but not in the entry for time point sequences:

If the time scale of time point1 is an indefinite time scale then time point1 through time point2 specifies exactly one time period.

That is, each time point sequence that is on an indefinite time scale corresponds to exactly one time period.

By creating companion verb concepts:

time point1 through time point2 defines time point sequence

time point1 to time point2 defines time point sequence

the redundancies can be eliminated and the Definitions and Necessities for the two verb concepts specifying time periods can be greatly simplified.

E.g. for

time point1 through time point2 specifies time period

Definition: time point1 is the first time point of a time point sequence and time point2 is the last time point of the time point sequence and the time point sequence corresponds to the time period

the Definition is replaced by:

Definition: the time point sequence that is defined by time point1 through time point2 corresponds to the time period

The RTF agrees that Necessities about time point sequences in general should be moved to the entry for time point sequence or the related verb concepts.
The RTF notes that the UML diagram in Figure 8.25 is inconsistent with the existing text, and includes the two proposed intermediate verb concepts.
The proposed verb concepts are added, the definitions and necessities for the cited concepts are revised accordingly, and the UML model is re-aligned with the text.
Text is added to explain that ‘time point sequence’ is overall an artificial construct used to describe references to time periods.