Issue 16662: Date-Time Issue - OCL Corrections (date-time-ftf)
Source: International Business Machines (Mr. Mark H. Linehan, mlinehan(at)us.ibm.com)
Nature: Uncategorized Issue
Severity: 
Summary: 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"

Resolution: 
Revised Text: 
Actions taken:
November 16, 2011: received issue
Discussion: 

End of Annotations:=====
sposition: ???
	OMG Issue No:  16662 
Title:	OCL Corrections
Source:
Mark H. Linehan . IBM . mlinehan@us.ibm.com
Summary:
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"
Resolution:  
Revised Text: 
Disposition:	???