DTV 1.1 RTF Avatar
  1. OMG Issue

DTV11 — time interval1 precedes time interval2

  • Key: DTV11-64
  • Legacy Issue Number: 18241
  • Status: closed  
  • Source: General Electric ( Mark Linehan)
  • Summary:

    Source: Mark H. Linehan, IBM Research,
    The verb concept 'time interval1 precedes time interval2', defined in clause 8.1.4, appears to have the same semantics as 'time interval1 is before time interval2' in clause 8.1.2. Also, figure 8.5 fails to show 'time interval1 precedes time interval2'.

  • Reported: DTV 1.0b2 — Thu, 1 Nov 2012 04:00 GMT
  • Disposition: Resolved — DTV 1.1
  • Disposition Summary:

    ‘Time interval1 precedes time interval2’ is redundant. It and its synonymous forms should be made synonymous forms for ‘time interval1 is before time interval2’ in clause 8.2.2. The entry can be kept in 8.2.4 with a See reference to the entry in 8.2.2. The UML model (which only captures primary terms) need not be modified.
    Note: In 8.2.2, one of the synonymous forms for ‘is before’ is incorrect. It is also corrected by the changes below.

  • Updated: Fri, 6 Mar 2015 20:58 GMT