DTV 1.2 RTF Avatar
  1. OMG Issue

DTV12 — DTV Issue: situation kind1 ends before situation kind2

  • Key: DTV12-74
  • Legacy Issue Number: 19714
  • Status: closed  
  • Source: Thematix Partners LLC ( Mr. Edward J. Barkmeyer)
  • Summary:

    The definition of “situation kind1 ends before situation kind2” depends upon a verb concept “time interval1 ends before time interval2” that does not exist. Probably it should use “time interval1 ends after time interval2” – and the “situation kind” version should use the same verb symbol for consistency and clarity.

  • Reported: DTV 1.1 — Wed, 28 Jan 2015 05:00 GMT
  • Disposition: Resolved — DTV 1.2
  • Disposition Summary:

    The RTF agreed to create the synonymous form for “time interval1 ends before time interval2”. The situation kind verb and the related occurrence verb are parallel and both provide the corresponding synonymous form.
    A typographical error in the OCL is also corrected.

  • Updated: Wed, 8 Jul 2015 11:40 GMT