DTV — Date-Time Issue - OCL Corrections

The OCL text throughout the specification needs to be checked for consistency against the UML diagrams. The following places were specifically noted in the submission document as requiring review:
• The OCL definition for "time interval1 plus time interval2 is time interval3"
• The OCL definition for "time interval1 to time interval2 specifies time interval3"
• The OCL for the Axioms under "duration3 equals duration1 plus duration2", " duration3 equals duration1 minus duration2", "duration2 equals number times duration1"

The OCL constraints throughout clause 8 are updated to match the SBVR text. These corrections are applied through this one "bulk" resolution update because it is the easiest way to ensure consistency between the text and the OCL.

Most of these changes are needed to align the operation names in the OCL with the corresponding operation names in the UML diagrams. This realignment is needed because the diagrams and OCL were originally developed in parallel without the opportunity to match them up