Issue 16673: Date-Time Issue - missing arithmetic on time point sequences (date-time-ftf) Source: International Business Machines (Mr. Mark H. Linehan, mlinehan(at)us.ibm.com) Nature: Uncategorized Issue Severity: Summary: This issue was recorded in the final submission document, under the entry for "Gregorian month converts to time point sequence on the Gregorian days scale": Issue: We have not defined arithmetic on time point sequences. Resolution: Revised Text: Actions taken: November 16, 2011: received issue Discussion: End of Annotations:===== sposition: ??? OMG Issue No: 16673 Title: Missing Arithmetic on Time Point Sequences Source: Mark H Linehan . IBM . mlinehan@us.ibm.com Summary: This issue was recorded in the final submission document, under the entry for "Gregorian month converts to time point sequence on the Gregorian days scale": Issue: We have not defined arithmetic on time point sequences. Resolution: Revised Text: Disposition: ??? To: date-time-ftf@omg.org Subject: Date-Time Issue 16673 - Missing Arithmetic on Time Point Sequences X-KeepSent: 916FC082:C8DC989B-85257A57:007671A4; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Sat, 11 Aug 2012 17:35:07 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3 ZX853HP5|January 12, 2012) at 08/11/2012 17:35:09 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12081121-5806-0000-0000-000018460EE8 Proposed resolution: -------------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16673 - missing arithmetic on time point sequences.doc Disposition: Resolved OMG Issue No: 16673 Title: Missing Arithmetic on Time Point Sequences Source: Mark H Linehan . IBM . mlinehan@us.ibm.com Summary: This issue was recorded in the final submission document, under the entry for "Gregorian month converts to time point sequence on the Gregorian days scale": Issue: We have not defined arithmetic on time point sequences. Resolution: (The references in this text are to the beta-2 version of the specification.) The verb concept .time point converts to time point sequence on time scale. is used in 4 places in the specification. The similar verb concept ..time point converts to time set on time scale. is used in 3 places. We discuss each of these separately. Descriptions are added to each of these glossary entries to help future readers understand them. Clause 11.7 Gregorian month converts to time point sequence on the Gregorian days scale The definition of this concept relies on normal everyday arithmetic, not on time point arithmetic. As discussed in clause 5.1, this specification uses but does not define ordinary arithmetic. The definition fails to specify that the resulting time point sequence is a part of the Gregorian days scale. It is updated to make that clear. This requires a new verb concept .time point sequence is on time scale.. The definition needs to be extended to account for quadricentennial years. Gregorian month converts to time point sequence on the Gregorian days scale The definition of this concept relies upon both ordinary arithmetic and on the concept of adding a number (an .index.) to a time point sequence. The latter concept is entirely missing from the specification, and is added as a new verb concept .time point sequence2 is time point sequence1 plus non-negative integer.. The definition also refers to .the first time period of time set., but time sets have time point sequences, not time periods. The definition claims to subtract .1 day. from an index; it should be simply the number .1.. The definition is updated to fix these errors. The concept .first. (as quoted above) is unstyled. Since another part of the definition necessarily uses unstyled text (in a reference to a table), and since the meaning is clear, the FTF chooses to leave this aspect alone. Clause 11.8 Gregorian month converts to time set on Gregorian year of days scale The definition refers to a table with unstyled text. No change needed. Clause 12.4 week of year converts to time set on the Gregorian year of days scale The definition relies upon the verb concept .time point sequence2 is time point sequence1 plus non-negative integer. that is discussed above, and on a verb concept wording that is an assumed Synonymous Form of the existing .time set1 is equivalent to time set2. in clause 10.6. The verb concept and Synonymous Form are added. This glossary entry requires no change. weekday of year converts to time set on the Gregorian year of days scale The definition has the same structure as the previous one, and requires no further changes. Clause 13.4 hour of day converts to time point sequence on the day of seconds scale The definition of this concept relies on normal everyday arithmetic, not on time point arithmetic. As discussed in clause 5.1, this specification uses but does not define ordinary arithmetic. The definition fails to specify that the resulting time point sequence is a part of the day of seconds scale. It is updated to make that clear. This is another definition that requires the new verb concept .time point sequence is on time scale.. minute of day converts to time point sequence on the day of seconds scale As with the previous glossary entry, the definition of this one uses ordinary arithmetic but fails to state that the result is on the day of seconds scale. Revised Text: Replace figure 8.17 in clause 8.5 with this version, which shows that each time point sequences is on at least one time scale, and adds the verb concept .time point sequence2 is time point sequence1 plus non-negative integer.: Add two new glossary entries to clause 8.5, after .time point sequence has duration.: time point sequence is on time scale Synonymous Form: time scale of time point sequence Definition: each time point of the time point sequence is a member of the time scale Necessity: Each time point sequence is on at least one time scale. Example: A time point sequence consisting of the first few calendar days of each calendar year may be on any of these time scales: Gregorian days scale, Gregorian year of days scale, Gregorian month of days scale, week of days scale, year of weekdays scale. Example: A time point sequence consisting of seconds of day that happens to cross some midnight is on UTC and on no other time scale. time point sequence2 is time point sequence1 plus non-negative integer Synonymous Form: time point sequence2 = time point sequence1 + non-negative integer Synonymous Form: time point sequence1 plus non-negative integer Synonymous Form: time point sequence1 + non-negative integer Definition: the time point sequence2 is on the time scale of time point sequence1 and the index origin position of time point sequence2 is the index origin position of time point sequence1 + the non-negative integer Description: The index origin of time point sequence1 is shifted by the non-negative integer. Necessity: The time point sequence is on an infinite time scale. Example: The time point sequence 2 July 2012 through 4 July 2012 is the time point sequence 1 July 2012 through 3 July 2012 plus 1. In clause 10.6, add these two captions immediately before the Definition of .time set1 is equivalent to time set2.: Synonymous Form: time set1 equals time set2 Synonymous Form: time set1 = time set2 In clause 11.7, replace the definition of .Gregorian month converts to time point sequence on the Gregorian days scale., which reads: Definition: the index of the first time point of the time point sequence equals the starting day of Gregorian year, and the index of the last time point of the time point sequence is the index of the first time point plus 365, plus 1 if the Gregorian year is a leap year . with: Definition: the time point sequence is on the Gregorian days scale and the index of the first time point of the time point sequence equals the starting day of Gregorian year, and the index of the last time point of the time point sequence equals the index of the first time point plus 365, plus 1 if the Gregorian year is a leap year or a quadricentennial year Description: The formula converts a Gregorian year to a sequence of calendar days on the infinite Gregorian days scale by computing the indices of the first and last such calendar days, allowing for leap years. In clause 11.7, replace the definition of .Gregorian year converts to time point sequence on the Gregorian days scale., which reads: Definition: the Gregorian year of Gregorian month converts to time point sequence1 on the Gregorian days scale, and the months remainder of Gregorian month selects a time set from Table 6: Time Sets for Gregorian Months, and time point sequence equals the first time period of time set plus the index of the first time point of time point sequence1 . 1 day . with: Definition: the Gregorian year of Gregorian month converts to time point sequence1 on the Gregorian days scale, and the months remainder of Gregorian month selects a time set from Table 6: Time Sets for Gregorian Months, and time point sequence equals the first time point sequence of time set plus the index of the first time point of time point sequence1 . 1 Description: The Gregorian month converts to a sequence of Gregorian days on the infinite Gregorian days scale, using a table that converts the calendar month number to a sequence of Gregorian day of years and adds the index of the first Gregorian day of the Gregorian year (which is already adjusted for leap years). In clause 13.4, replace the definition of .hour of day converts to time point sequence on the day of seconds scale., which reads: Definition: the index of the first time point of time point sequence equals 3 600 times the index of the hour of day, and the index of the last time point of time point sequence is the index of the first time point plus 3 599 . with: Definition: the time point sequence is on the day of seconds scale and the index of the first time point of the time point sequence equals 3 600 times the index of the hour of day, and the index of the last time point of time point sequence is the index of the first time point plus 3 599 Description: The hour of day converts to a sequence of seconds of day whose indices are computed by the formula. In clause 13.4, replace the definition of .minute of day converts to time point sequence on the day of seconds scale., which reads: Definition: the index of the first time point of time point sequence equals 60 times the index of minute of day, and the index of the last time point of time point sequence is the index of the first time point plus 59 . with: Definition: the time point sequence is on the day of seconds scale and the index of the first time point of time point sequence equals 60 times the index of minute of day, and the index of the last time point of time point sequence is the index of the first time point plus 59 Description: The minute of day converts to a sequence of seconds of day whose indices are computed by the formula. Disposition: Resolved To: date-time-ftf@omg.org Subject: Date-Time Issue 16673 - Missing Arithmetic on Time Point Sequences X-KeepSent: 58286A1F:02403301-85257A60:0070A18A; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Mon, 20 Aug 2012 16:31:42 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3 ZX853HP5|January 12, 2012) at 08/20/2012 16:31:43 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12082020-5806-0000-0000-000018983489 Here's an updated version of this issue, responding to comments during today's phone call: -------------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16673 - missing arithmetic on time point sequences1.doc Disposition: Resolved OMG Issue No: 16673 Title: Missing Arithmetic on Time Point Sequences Source: Mark H Linehan . IBM . mlinehan@us.ibm.com Summary: This issue was recorded in the final submission document, under the entry for "Gregorian month converts to time point sequence on the Gregorian days scale": Issue: We have not defined arithmetic on time point sequences. Resolution: (The references in this text are to the beta-2 version of the specification.) The verb concept .time point converts to time point sequence on time scale. is used in 4 places in the specification. The similar verb concept ..time point converts to time set on time scale. is used in 3 places. We discuss each of these separately. Descriptions are added to each of these glossary entries to help future readers understand them. Clause 11.7 Gregorian month converts to time point sequence on the Gregorian days scale The definition of this concept relies on normal everyday arithmetic, not on time point arithmetic. As discussed in clause 5.1, this specification uses but does not define ordinary arithmetic. The definition fails to specify that the resulting time point sequence is a part of the Gregorian days scale. It is updated to make that clear. This requires a new verb concept .time point sequence is on time scale.. Gregorian month converts to time point sequence on the Gregorian days scale The definition of this concept relies upon the concept of adding a number to a time point sequence. This concept is entirely missing from the specification, and is added as a new verb concept .time point sequence2 is time point sequence1 plus integer.. The definition claims to subtract .1 day. from an index; it should be simply the number .1.. The definition is updated to fix these errors. Clause 11.8 Gregorian month converts to time set on Gregorian year of days scale The definition refers to a table with unstyled text. No change needed. Clause 12.5 week of year converts to time set on the Gregorian year of days scale The definition relies upon the verb concept .time point sequence2 is time point sequence1 plus integer. that is discussed above, and on a verb concept wording that is an assumed Synonymous Form of the existing .time set1 is equivalent to time set2. in clause 10.6. The verb concept and Synonymous Form are added. This glossary entry requires no change. weekday of year converts to time set on the Gregorian year of days scale The definition has the same structure as the previous one, and requires no further changes. Clause 13.4 hour of day converts to time point sequence on the day of seconds scale The definition of this concept relies on normal everyday arithmetic, not on time point arithmetic. As discussed in clause 5.1, this specification uses but does not define ordinary arithmetic. The definition fails to specify that the resulting time point sequence is a part of the day of seconds scale. It is updated to make that clear. This is another definition that requires the new verb concept .time point sequence is on time scale.. minute of day converts to time point sequence on the day of seconds scale As with the previous glossary entry, the definition of this one uses ordinary arithmetic but fails to state that the result is on the day of seconds scale. Revised Text: Replace figure 8.17 in clause 8.5 with this version, which shows that each time point sequences is on at least one time scale, and adds the verb concept .time point sequence2 is time point sequence1 plus non-negative integer.: Add two new glossary entries to clause 8.5, after .time point sequence has duration.: time point sequence is on time scale Synonymous Form: time scale of time point sequence Definition: each time point of the time point sequence is a member of the time scale Necessity: Each time point sequence is on exactly one time scale. Example: A time point sequence consisting of seconds of day is on the day of seconds scale. time point sequence2 is time point sequence1 plus integer Synonymous Form: time point sequence2 = time point sequence1 + integer Synonymous Form: time point sequence1 plus integer Synonymous Form: time point sequence1 + integer Definition: time point sequence2 is on the time scale of time point sequence1 and the index origin position of time point sequence2 is the index origin position of time point sequence1 + the integer Description: The time point sequence1 is shifted by the integer. Necessity: Time point sequence1 and time point sequence2 are on an infinite time scale. Example: The time point sequence 2 July 2012 through 4 July 2012 is the time point sequence 1 July 2012 through 3 July 2012 plus 1. In clause 10.6, add these two captions immediately before the Definition of .time set1 is equivalent to time set2.: Synonymous Form: time set1 equals time set2 Synonymous Form: time set1 = time set2 In clause 11.7, replace the definition of .Gregorian year converts to time point sequence on the Gregorian days scale., which reads: Definition: the index of the first time point of the time point sequence equals the starting day of Gregorian year, and the index of the last time point of the time point sequence is the index of the first time point plus 365, plus 1 if the Gregorian year is a leap year . with: Definition: the time point sequence is on the Gregorian days scale and the index of the first time point of the time point sequence equals the starting day of Gregorian year, and the index of the last time point of the time point sequence equals the index of the first time point plus 364, plus 1 if the Gregorian year is a leap year Description: The formula converts a Gregorian year to a sequence of calendar days on the infinite Gregorian days scale by computing the indices of the first and last such calendar days, allowing for leap years. In clause 11.7, replace the definition of .Gregorian month converts to time point sequence on the Gregorian days scale., which reads: Definition: the Gregorian year of Gregorian month converts to time point sequence1 on the Gregorian days scale, and the months remainder of Gregorian month selects a time set from Table 11.3: Time Sets for Gregorian Months, and time point sequence equals the first time period of time set plus the index of the first time point of time point sequence1 . 1 day . with: Definition: the Gregorian year of Gregorian month converts to time point sequence1 on the Gregorian days scale, and the months remainder of Gregorian month selects a time point sequence2 of a time set from Table 11.3: Time Sets for Gregorian Months according to whether the Gregorian year is a common year or a leap year, and the time point sequence is time point sequence1 plus the index of the first member of time point sequence2 plus -1 Description: The Gregorian month converts to a sequence of Gregorian days on the infinite Gregorian days scale, adding a time point sequence from a table that converts the calendar month number to a sequence of Gregorian day of years. In clause 13.4, replace the definition of .hour of day converts to time point sequence on the day of seconds scale., which reads: Definition: the index of the first time point of time point sequence equals 3 600 times the index of the hour of day, and the index of the last time point of time point sequence is the index of the first time point plus 3 599 . with: Definition: the time point sequence is on the day of seconds scale and the index of the first time point of the time point sequence equals 3 600 times the index of the hour of day, and the index of the last time point of time point sequence is the index of the first time point plus 3 599 Description: The hour of day converts to a sequence of seconds of day whose indices are computed by the formula. In clause 13.4, replace the definition of .minute of day converts to time point sequence on the day of seconds scale., which reads: Definition: the index of the first time point of time point sequence equals 60 times the index of minute of day, and the index of the last time point of time point sequence is the index of the first time point plus 59 . with: Definition: the time point sequence is on the day of seconds scale and the index of the first time point of time point sequence equals 60 times the index of minute of day, and the index of the last time point of time point sequence is the index of the first time point plus 59 Description: The minute of day converts to a sequence of seconds of day whose indices are computed by the formula. Disposition: Resolved To: date-time-ftf@omg.org Subject: Date-Time Issue 16673 - Missing Arithmetic on Time Point Sequences X-KeepSent: 58286A1F:02403301-85257A60:0070A18A; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Mon, 20 Aug 2012 16:31:42 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3 ZX853HP5|January 12, 2012) at 08/20/2012 16:31:43 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12082020-5806-0000-0000-000018983489 Here's an updated version of this issue, responding to comments during today's phone call: -------------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16673 - missing arithmetic on time point sequences1.doc Disposition: Resolved OMG Issue No: 16673 Title: Missing Arithmetic on Time Point Sequences Source: Mark H Linehan . IBM . mlinehan@us.ibm.com Summary: This issue was recorded in the final submission document, under the entry for "Gregorian month converts to time point sequence on the Gregorian days scale": Issue: We have not defined arithmetic on time point sequences. Resolution: (The references in this text are to the beta-2 version of the specification.) The verb concept .time point converts to time point sequence on time scale. is used in 4 places in the specification. The similar verb concept ..time point converts to time set on time scale. is used in 3 places. We discuss each of these separately. Descriptions are added to each of these glossary entries to help future readers understand them. Clause 11.7 Gregorian month converts to time point sequence on the Gregorian days scale The definition of this concept relies on normal everyday arithmetic, not on time point arithmetic. As discussed in clause 5.1, this specification uses but does not define ordinary arithmetic. The definition fails to specify that the resulting time point sequence is a part of the Gregorian days scale. It is updated to make that clear. This requires a new verb concept .time point sequence is on time scale.. Gregorian month converts to time point sequence on the Gregorian days scale The definition of this concept relies upon the concept of adding a number to a time point sequence. This concept is entirely missing from the specification, and is added as a new verb concept .time point sequence2 is time point sequence1 plus integer.. The definition claims to subtract .1 day. from an index; it should be simply the number .1.. The definition is updated to fix these errors. Clause 11.8 Gregorian month converts to time set on Gregorian year of days scale The definition refers to a table with unstyled text. No change needed. Clause 12.5 week of year converts to time set on the Gregorian year of days scale The definition relies upon the verb concept .time point sequence2 is time point sequence1 plus integer. that is discussed above, and on a verb concept wording that is an assumed Synonymous Form of the existing .time set1 is equivalent to time set2. in clause 10.6. The verb concept and Synonymous Form are added. This glossary entry requires no change. weekday of year converts to time set on the Gregorian year of days scale The definition has the same structure as the previous one, and requires no further changes. Clause 13.4 hour of day converts to time point sequence on the day of seconds scale The definition of this concept relies on normal everyday arithmetic, not on time point arithmetic. As discussed in clause 5.1, this specification uses but does not define ordinary arithmetic. The definition fails to specify that the resulting time point sequence is a part of the day of seconds scale. It is updated to make that clear. This is another definition that requires the new verb concept .time point sequence is on time scale.. minute of day converts to time point sequence on the day of seconds scale As with the previous glossary entry, the definition of this one uses ordinary arithmetic but fails to state that the result is on the day of seconds scale. Revised Text: Replace figure 8.17 in clause 8.5 with this version, which shows that each time point sequences is on at least one time scale, and adds the verb concept .time point sequence2 is time point sequence1 plus non-negative integer.: Add two new glossary entries to clause 8.5, after .time point sequence has duration.: time point sequence is on time scale Synonymous Form: time scale of time point sequence Definition: each time point of the time point sequence is a member of the time scale Necessity: Each time point sequence is on exactly one time scale. Example: A time point sequence consisting of seconds of day is on the day of seconds scale. time point sequence2 is time point sequence1 plus integer Synonymous Form: time point sequence2 = time point sequence1 + integer Synonymous Form: time point sequence1 plus integer Synonymous Form: time point sequence1 + integer Definition: time point sequence2 is on the time scale of time point sequence1 and the index origin position of time point sequence2 is the index origin position of time point sequence1 + the integer Description: The time point sequence1 is shifted by the integer. Necessity: Time point sequence1 and time point sequence2 are on an infinite time scale. Example: The time point sequence 2 July 2012 through 4 July 2012 is the time point sequence 1 July 2012 through 3 July 2012 plus 1. In clause 10.6, add these two captions immediately before the Definition of .time set1 is equivalent to time set2.: Synonymous Form: time set1 equals time set2 Synonymous Form: time set1 = time set2 In clause 11.7, replace the definition of .Gregorian year converts to time point sequence on the Gregorian days scale., which reads: Definition: the index of the first time point of the time point sequence equals the starting day of Gregorian year, and the index of the last time point of the time point sequence is the index of the first time point plus 365, plus 1 if the Gregorian year is a leap year . with: Definition: the time point sequence is on the Gregorian days scale and the index of the first time point of the time point sequence equals the starting day of Gregorian year, and the index of the last time point of the time point sequence equals the index of the first time point plus 364, plus 1 if the Gregorian year is a leap year Description: The formula converts a Gregorian year to a sequence of calendar days on the infinite Gregorian days scale by computing the indices of the first and last such calendar days, allowing for leap years. In clause 11.7, replace the definition of .Gregorian month converts to time point sequence on the Gregorian days scale., which reads: Definition: the Gregorian year of Gregorian month converts to time point sequence1 on the Gregorian days scale, and the months remainder of Gregorian month selects a time set from Table 11.3: Time Sets for Gregorian Months, and time point sequence equals the first time period of time set plus the index of the first time point of time point sequence1 . 1 day . with: Definition: the Gregorian year of Gregorian month converts to time point sequence1 on the Gregorian days scale, and the months remainder of Gregorian month selects a time point sequence2 of a time set from Table 11.3: Time Sets for Gregorian Months according to whether the Gregorian year is a common year or a leap year, and the time point sequence is time point sequence1 plus the index of the first member of time point sequence2 plus -1 Description: The Gregorian month converts to a sequence of Gregorian days on the infinite Gregorian days scale, adding a time point sequence from a table that converts the calendar month number to a sequence of Gregorian day of years. In clause 13.4, replace the definition of .hour of day converts to time point sequence on the day of seconds scale., which reads: Definition: the index of the first time point of time point sequence equals 3 600 times the index of the hour of day, and the index of the last time point of time point sequence is the index of the first time point plus 3 599 . with: Definition: the time point sequence is on the day of seconds scale and the index of the first time point of the time point sequence equals 3 600 times the index of the hour of day, and the index of the last time point of time point sequence is the index of the first time point plus 3 599 Description: The hour of day converts to a sequence of seconds of day whose indices are computed by the formula. In clause 13.4, replace the definition of .minute of day converts to time point sequence on the day of seconds scale., which reads: Definition: the index of the first time point of time point sequence equals 60 times the index of minute of day, and the index of the last time point of time point sequence is the index of the first time point plus 59 . with: Definition: the time point sequence is on the day of seconds scale and the index of the first time point of time point sequence equals 60 times the index of minute of day, and the index of the last time point of time point sequence is the index of the first time point plus 59 Description: The minute of day converts to a sequence of seconds of day whose indices are computed by the formula. Disposition: Resolved