Issue 16993: no syntax for indefinite time periods (date-time-ftf) Source: NIST (Mr. Edward J. Barkmeyer, edbark(at)nist.gov) Nature: Uncategorized Issue Severity: Summary: A time interval that starts at a definite time (be it "now", or "starting when 13 states have signed the declaration", or "starting when the exchange offers our stock on the floor", and continues without end is a different kind of "forever" than the time period specified in 9.4. Similarly, there are intervals that start at indefinite time in the past and end at a stated time ("now" or whatever). Such intervals are referred to in phrases such as "Until the Wildlife Protection Act goes into effect in 2016", where no event marks the start of the interval in question - only its end. These are cases in which a) a time period has a first time point but no last time point, or b) a time period has a last time point but no first time point. Unlike 'forever', which is unique, those categories of time period have infinitely many instances. And unlike time periods that have a start time and an end time, or a start time and a duration, the DTV does not provide a simple fact type for specifying them: the time interval 'after (time point)' or 'from (time point) on', and the time interval 'until (time point)'. Some such fact types would clearly be useful in a business vocabulary. Resolution: Revised Text: Actions taken: January 11, 2012: received issue Discussion: End of Annotations:===== te: Wed, 11 Jan 2012 15:02:36 -0500 From: Ed Barkmeyer Reply-To: edbark@nist.gov Organization: NIST User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: issues@omg.org Subject: DTV Issue: no syntax for indefinite time periods X-NISTMEL-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: q0BK2fdZ006259 X-NISTMEL-MailScanner: Found to be clean X-NISTMEL-MailScanner-SpamCheck: X-NISTMEL-MailScanner-From: edbark@nist.gov X-NISTMEL-MailScanner-Watermark: 1326916966.1292@5TbufAkws1QA0Yv3Q1KA3g X-Spam-Status: No X-NIST-MailScanner: Found to be clean X-NIST-MailScanner-From: edbark@nist.gov Specification: Date Time Vocabulary Version: beta-1 Title: no syntax for indefinite time periods Source: Jon Siegel, OMG, siegel@omg.org, Ed Barkmeyer, NIST, edbark@nist.gov' Summary: A time interval that starts at a definite time (be it "now", or "starting when 13 states have signed the declaration", or "starting when the exchange offers our stock on the floor", and continues without end is a different kind of "forever" than the time period specified in 9.4. Similarly, there are intervals that start at indefinite time in the past and end at a stated time ("now" or whatever). Such intervals are referred to in phrases such as "Until the Wildlife Protection Act goes into effect in 2016", where no event marks the start of the interval in question - only its end. These are cases in which a) a time period has a first time point but no last time point, or b) a time period has a last time point but no first time point. Unlike 'forever', which is unique, those categories of time period have infinitely many instances. And unlike time periods that have a start time and an end time, or a start time and a duration, the DTV does not provide a simple fact type for specifying them: the time interval 'after (time point)' or 'from (time point) on', and the time interval 'until (time point)'. Some such fact types would clearly be useful in a business vocabulary. -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Manufacturing Systems Integration Division 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 Cel: +1 240-672-5800 To: date-time-ftf@omg.org Subject: Date-Time Issues 17540, 16992, 16993, 16997 - indefinite time intervals X-KeepSent: F730BBD9:97319387-85257A71:0012AAA4; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Wed, 5 Sep 2012 23:30:47 -0400 X-MIMETrack: Serialize by Router on D01ML604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 09/05/2012 23:30:49 X-Content-Scanned: Fidelis XPS MAILER x-cbid: 12090603-7182-0000-0000-00000282D100 This set of four proposed resolutions addresses the issues around "indefinite" time intervals. They are based on today's discussion between Mike and I. 17540 adds concepts 'primordial' and 'perpetuity' and renames & redefines 'forever' as 'eternity'. (I am not crazy about these terms, particularly 'primordial', which is an adjective.) 16993 adds verb concepts such as 'time interval through occurrence'. 16997 is a duplicate of 17540. 16992 is mostly about durations, but was blocked by 17540. This version rewrites the Notes proposed to be added to 'time interval'. During conversation, we thought the last two Corollaries need some change, but on further review I think they are ok as proposed. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16992- Corollaries to Axiom D.4 in 8.2.3 are misstated.doc Date-Time Issue 16993 - no syntax for indefinite time periods.doc Date-Time Issue 16997 - forever is misdefined.doc Date-Time Issue 17540 - Need to Support Infinite and Indefinite Time Constructs.doc Disposition: Resolved OMG Issue No: 16993 Title: no syntax for indefinite time periods Source: Jon Siegel, OMG, siegel@omg.org, Ed Barkmeyer, NIST, edbark@nist.gov Summary: A time interval that starts at a definite time (be it "now", or "starting when 13 states have signed the declaration", or "starting when the exchange offers our stock on the floor", and continues without end is a different kind of "forever" than the time period specified in 9.4. Similarly, there are intervals that start at indefinite time in the past and end at a stated time ("now" or whatever). Such intervals are referred to in phrases such as "Until the Wildlife Protection Act goes into effect in 2016", where no event marks the start of the interval in question - only its end. These are cases in which a) a time period has a first time point but no last time point, or b) a time period has a last time point but no first time point. Unlike 'forever', which is unique, those categories of time period have infinitely many instances. And unlike time periods that have a start time and an end time, or a start time and a duration, the DTV does not provide a simple fact type for specifying them: the time interval 'after (time point)' or 'from (time point) on', and the time interval 'until (time point)'. Some such fact types would clearly be useful in a business vocabulary. Resolution: The resolution of issue 17540 adds the concepts .primordial. and .perpetuity. as individual time interval concepts. This resolution adds verb concepts such as .time interval1 to situation model specifies time interval2. that can be used with any time interval, including .primordial. and .perpetuity., to mean a time interval that extends until an occurrence of the situation model. Revised Text: (These updates are written against the beta-2 specification.) In clause 16.2, replace figure 16.2 with this version, which adds the verb concepts listed below: <> Add the following to the end of clause 16.2: time interval1 through occurrence specifies time interval2 Synonymous Form: time interval1 through occurrence Synonymous Form: time interval2 is time interval1 through occurrence Synonymous Form: occurrence through time interval1 specifies time interval2 Synonymous Form: occurrence through time interval1 Synonymous Form: time interval2 is occurrence through time interval1 Definition: the occurrence occurs for a time interval3 and the time interval2 is the time interval1 plus time interval3 Example: The contract signing through 2012. occurrence1 through occurrence2 specifies time interval Synonymous Form: occurrence1 through occurrence2 Synonymous Form: time interval is occurrence1 through occurrence2 Definition: the occurrence1 occurs for a time interval1 and the occurrence2 occurs for a time interval2 and the time interval is the time interval1 plus time interval2 Example: The contract signing through the termination of the contract. time interval1 to occurrence specifies time interval2 Synonymous Form: time interval1 to occurrence Synonymous Form: time interval2 is time interval1 to occurrence Synonymous Form: time interval1 until occurrence specifies time interval2 Synonymous Form: time interval1 until occurrence Synonymous Form: time interval2 is time interval1 until occurrence Definition: the occurrence occurs for a time interval3 and the time interval2 is the time interval1 to time interval3 Example: Primordial to the inauguration of the President. occurrence1 to occurrence2 specifies time interval Synonymous Form: occurrence1 to occurrence2 Synonymous Form: time interval is occurrence1 to occurrence2 Synonymous Form: occurrence1 until occurrence2 specifies time interval Synonymous Form: occurrence1 until occurrence2 Synonymous Form: time interval is occurrence1 until occurrence2 Definition: the occurrence1 occurs for a time interval1 and the occurrence2 occurs for a time interval2 and the time interval is the time interval1 to time interval2 Example: The contract signing to the contract termination. In clause 16.4, replace figure 16.4 with this version, which adds the verb concepts listed below: <> Add the following to the end of clause 16.4: time interval1 through situation model specifies time interval2 Synonymous Form: time interval1 through situation model Synonymous Form: time interval2 is time interval1 through situation model Synonymous Form: situation model through time interval1 specifies time interval2 Synonymous Form: situation model through time interval1 Synonymous Form: time interval2 is situation model through time interval1 Definition: the situation model occurs for a time interval3 and the time interval2 is the time interval1 plus time interval3 Example: Primordial through World War II. situation model1 through situation model2 specifies time interval Synonymous Form: situation model1 through situation model2 Synonymous Form: time interval is situation model1 through situation model2 Definition: the situation model1 occurs for a time interval1 and the situation model2 occurs for a time interval2 and the time interval is the time interval1 plus time interval2 Example: The inception of a contract through the termination of the contract. time interval1 to situation model specifies time interval2 Synonymous Form: time interval1 to situation model Synonymous Form: time interval2 is time interval1 to situation model Synonymous Form: time interval1 until situation model specifies time interval2 Synonymous Form: time interval1 until situation model Synonymous Form: time interval2 is time interval1 until situation model Definition: the situation model occurs for a time interval3 and the time interval2 is the time interval1 to time interval3 Example: 2010 to the termination of employment. situation model1 to situation model2 specifies time interval Synonymous Form: situation model1 to situation model2 Synonymous Form: time interval is situation model1 to situation model2 Synonymous Form: situation model1 until situation model2 specifies time interval Synonymous Form: situation model1 until situation model2 Synonymous Form: time interval is situation model1 until situation model2 Definition: the situation model1 occurs for a time interval1 and the situation model2 occurs for a time interval2 and the time interval is the time interval1 to time interval2 Example: Hiring to termination. Disposition: Resolved To: date-time-ftf@omg.org Subject: Date-Time Issue 16993 - no syntax for indefinite time periods X-KeepSent: 71FEC14F:04735B90-85257A7C:005081C1; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Mon, 17 Sep 2012 10:40:35 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 09/17/2012 10:40:37 x-cbid: 12091714-5806-0000-0000-000019AF47BD Here is an updated proposal, based upon last Thursday's discussion. I have added it to today's discussion agenda. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16993 - no syntax for indefinite time periods1.doc Disposition: Resolved OMG Issue No: 16993 Title: no syntax for indefinite time periods Source: Jon Siegel, OMG, siegel@omg.org, Ed Barkmeyer, NIST, edbark@nist.gov Summary: A time interval that starts at a definite time (be it "now", or "starting when 13 states have signed the declaration", or "starting when the exchange offers our stock on the floor", and continues without end is a different kind of "forever" than the time period specified in 9.4. Similarly, there are intervals that start at indefinite time in the past and end at a stated time ("now" or whatever). Such intervals are referred to in phrases such as "Until the Wildlife Protection Act goes into effect in 2016", where no event marks the start of the interval in question - only its end. These are cases in which a) a time period has a first time point but no last time point, or b) a time period has a last time point but no first time point. Unlike 'forever', which is unique, those categories of time period have infinitely many instances. And unlike time periods that have a start time and an end time, or a start time and a duration, the DTV does not provide a simple fact type for specifying them: the time interval 'after (time point)' or 'from (time point) on', and the time interval 'until (time point)'. Some such fact types would clearly be useful in a business vocabulary. Resolution: The resolution of issue 17540 adds the concepts .primordiality. and .perpetuity. as individual time interval concepts. This resolution adds verb concepts such as .time interval1 to situation model specifies time interval2. that can be used with any time interval, including .primordialit. and .perpetuity., to mean a time interval that extends until an occurrence of the situation model. Revised Text: (These updates are written against the beta-2 specification.) In clause 16.2, replace figure 16.2 with this version, which adds the verb concepts listed below: <> Add the following to the end of clause 16.2: time interval1 through occurrence specifies time interval2 Synonymous Form: time interval1 through occurrence Synonymous Form: time interval2 is time interval1 through occurrence Synonymous Form: occurrence through time interval1 specifies time interval2 Synonymous Form: occurrence through time interval1 Synonymous Form: time interval2 is occurrence through time interval1 Definition: the occurrence occurs for a time interval3 and the time interval2 is the time interval1 plus time interval3 Description: The time interval extends from the start of time interval1 through the end of the occurrence. Note: The definition is correct for both the 'time interval1 through occurrence' and 'occurrence through time interval1' forms. Example: The contract signing through 2012. occurrence1 through occurrence2 specifies time interval Synonymous Form: occurrence1 through occurrence2 Synonymous Form: time interval is occurrence1 through occurrence2 Definition: the occurrence1 occurs for a time interval1 and the occurrence2 occurs for a time interval2 and the time interval is the time interval1 plus time interval2 Description: The time interval extends from the start of occurrence1 through the end of occurrence2. Example: The contract signing through the termination of the contract. time interval1 to occurrence specifies time interval2 Synonymous Form: time interval1 to occurrence Synonymous Form: time interval2 is time interval1 to occurrence Synonymous Form: time interval1 until occurrence specifies time interval2 Synonymous Form: time interval1 until occurrence Synonymous Form: time interval2 is time interval1 until occurrence Definition: the occurrence occurs for a time interval3 and the time interval2 is the time interval1 to time interval3 Description: Time interval2 extends from the start of time interval1 up to, but not including, the start of the occurrence. Example: Primordiality to the inauguration of the President. occurrence to time interval1 specifies time interval2 Synonymous Form: occurrence to time interval1 Synonymous Form: occurrence to time interval2 is time interval1 Synonymous Form: occurrence until time interval1 specifies time interval2 Synonymous Form: occurrence until time interval1 Synonymous Form: occurrence until time interval2 is time interval1 Definition: the occurrence occurs for a time interval3 and the time interval2 is the time interval3 to time interval1 Description: Time interval2 extends from the start of occurrence1 up to, but not including, the start of time interval1. Example: The rise of the human species to perpetuity. occurrence1 to occurrence2 specifies time interval Synonymous Form: occurrence1 to occurrence2 Synonymous Form: time interval is occurrence1 to occurrence2 Synonymous Form: occurrence1 until occurrence2 specifies time interval Synonymous Form: occurrence1 until occurrence2 Synonymous Form: time interval is occurrence1 until occurrence2 Definition: the occurrence1 occurs for a time interval1 and the occurrence2 occurs for a time interval2 and the time interval is the time interval1 to time interval2 Description: The time interval extends from the start of occurrence1 up to, but not including, the start of occurrence2. Example: The contract signing to the contract termination. In clause 16.4, replace figure 16.4 with this version, which adds the verb concepts listed below: <> Add the following to the end of clause 16.4: time interval1 through situation model specifies time interval2 Synonymous Form: time interval1 through situation model Synonymous Form: time interval2 is time interval1 through situation model Synonymous Form: situation model through time interval1 specifies time interval2 Synonymous Form: situation model through time interval1 Synonymous Form: time interval2 is situation model through time interval1 Definition: an occurrence1 exemplifies the situation model and the occurrence1 starts before each occurrence2 that exemplifies the situation model and the occurrence1 occurs for a time interval3 and the time interval2 is the time interval1 plus time interval3 Description: Time interval2 extends from the start of time interval1 through the end of the first occurrence of the situation model. Note: The definition is correct for both the 'time interval1 through situation model' and 'situation model through time interval1' forms. Example: Primordiality through World War II. situation model1 through situation model2 specifies time interval Synonymous Form: situation model1 through situation model2 Synonymous Form: time interval is situation model1 through situation model2 Definition: an occurrence1 exemplifies the situation model1 and the occurrence1 starts before each occurrence2 that exemplifies the situation model1 and the occurrence1 occurs for a time interval2 and an occurrence3 exemplifies the situation model2 and the occurrence3 ends after each occurrence4 that exemplifies the situation model2 and the occurrence3 occurs for a time interval2 and the time interval is the time interval1 plus time interval2 Description: The time interval extends from the start of the first occurrence of situation model1 through the end of the final occurrence of situation model2. Example: The inception of a contract through the termination of the contract. time interval1 to situation model specifies time interval2 Synonymous Form: time interval1 to situation model Synonymous Form: time interval2 is time interval1 to situation model Synonymous Form: time interval1 until situation model specifies time interval2 Synonymous Form: time interval1 until situation model Synonymous Form: time interval2 is time interval1 until situation model Definition: an occurrence1 exemplifies the situation model and the occurrence1 starts before each occurrence2 that exemplifies the situation model and the occurrence1 occurs for a time interval3 and the time interval2 is the time interval1 to time interval3 Description: Time interval2 extends from the start of time interval1 up to just before the first occurrence of the situation model. Example: 2010 to the termination of employment. situation model to time interval1 specifies time interval2 Synonymous Form: situation model to time interval1 Synonymous Form: time interval2 is situation model to time interval1 Synonymous Form: situation model until time interval1 Synonymous Form: situation model until time interval1 Synonymous Form: situation model until time interval2 is time interval1 Definition: an occurrence1 exemplifies the situation model and the occurrence1 starts before each occurrence2 that exemplifies the situation model and the occurrence1 occurs for a time interval3 and the time interval2 is the time interval3 to time interval2 Description: Time interval2 extends from the start of the situation model up to just before the first time interval1. Example: Hiring to 2010. situation model1 to situation model2 specifies time interval Synonymous Form: situation model1 to situation model2 Synonymous Form: time interval is situation model1 to situation model2 Synonymous Form: situation model1 until situation model2 specifies time interval Synonymous Form: situation model1 until situation model2 Synonymous Form: time interval is situation model1 until situation model2 Definition: an occurrence1 exemplifies the situation model1 and the occurrence1 starts before each occurrence2 that exemplifies the situation model1 and the occurrence1 occurs for a time interval2 and an occurrence3 exemplifies the situation model2 and the occurrence3 ends after each occurrence4 that exemplifies the situation model2 and the occurrence3 occurs for a time interval2 and the time interval is the time interval1 to time interval2 Description: The time interval extends from the start of the first occurrence of situation model1 up to, but not including, the final occurrence of situation model2. Example: Hiring to termination. Disposition: Resolved To: date-time-ftf@omg.org Subject: DTV Issue 16993 - no syntax for indefinite time periods X-KeepSent: AB62A56F:D785B390-85257A8F:0070C103; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Sat, 6 Oct 2012 16:33:07 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 10/06/2012 16:33:08 x-cbid: 12100620-8974-0000-0000-00000F1EF7F0 X-IBM-ISS-SpamDetectors: X-IBM-ISS-DetailInfo: BY=3.00000294; HX=3.00000196; KW=3.00000007; PH=3.00000001; SC=3.00000008; SDB=6.00180202; UDB=6.00040814; UTC=2012-10-06 20:33:10 This version replaces 'first/last occurrence interval' with 'first/last occurrence'. Ed, if you could get out new figures, I think we should be done with this one. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16993 - no syntax for indefinite time periods2.doc Disposition: Resolved OMG Issue No: 16993 Title: no syntax for indefinite time periods Source: Jon Siegel, OMG, siegel@omg.org, Ed Barkmeyer, NIST, edbark@nist.gov Summary: A time interval that starts at a definite time (be it "now", or "starting when 13 states have signed the declaration", or "starting when the exchange offers our stock on the floor", and continues without end is a different kind of "forever" than the time period specified in 9.4. Similarly, there are intervals that start at indefinite time in the past and end at a stated time ("now" or whatever). Such intervals are referred to in phrases such as "Until the Wildlife Protection Act goes into effect in 2016", where no event marks the start of the interval in question - only its end. These are cases in which a) a time period has a first time point but no last time point, or b) a time period has a last time point but no first time point. Unlike 'forever', which is unique, those categories of time period have infinitely many instances. And unlike time periods that have a start time and an end time, or a start time and a duration, the DTV does not provide a simple fact type for specifying them: the time interval 'after (time point)' or 'from (time point) on', and the time interval 'until (time point)'. Some such fact types would clearly be useful in a business vocabulary. Resolution: The resolution of issue 17540 adds the concepts .primordiality. and .perpetuity. as individual time interval concepts. This resolution adds verb concepts such as .time interval1 to situation model specifies time interval2. that can be used with any time interval, including .primordialit. and .perpetuity., to mean a time interval that extends until an occurrence of the situation model. Revised Text: (These updates are written against the beta-2 specification.) At the very end of clause 16.2, add the following figure and text, renumbering subsequent figures: Figure 16.3 Occurrences and Time Intervals <
> time interval1 through occurrence specifies time interval2 Synonymous Form: time interval1 through occurrence Synonymous Form: time interval2 is time interval1 through occurrence Synonymous Form: occurrence through time interval1 specifies time interval2 Synonymous Form: occurrence through time interval1 Synonymous Form: time interval2 is occurrence through time interval1 Definition: the occurrence occurs for a time interval3 and the time interval2 is the time interval1 plus time interval3 Description: The time interval extends from the start of time interval1 through the end of the occurrence. Note: The definition is correct for both the 'time interval1 through occurrence' and 'occurrence through time interval1' forms. Example: The contract signing through 2012. occurrence1 through occurrence2 specifies time interval Synonymous Form: occurrence1 through occurrence2 Synonymous Form: time interval is occurrence1 through occurrence2 Definition: the occurrence1 occurs for a time interval1 and the occurrence2 occurs for a time interval2 and the time interval is the time interval1 plus time interval2 Description: The time interval extends from the start of occurrence1 through the end of occurrence2. Example: The contract signing through the termination of the contract. time interval1 to occurrence specifies time interval2 Synonymous Form: time interval1 to occurrence Synonymous Form: time interval2 is time interval1 to occurrence Synonymous Form: time interval1 until occurrence specifies time interval2 Synonymous Form: time interval1 until occurrence Synonymous Form: time interval2 is time interval1 until occurrence Definition: the occurrence occurs for a time interval3 and the time interval2 is the time interval1 to time interval3 Description: Time interval2 extends from the start of time interval1 up to, but not including, the start of the occurrence. Example: Primordiality to the inauguration of the President. occurrence to time interval1 specifies time interval2 Synonymous Form: occurrence to time interval1 Synonymous Form: occurrence to time interval2 is time interval1 Synonymous Form: occurrence until time interval1 specifies time interval2 Synonymous Form: occurrence until time interval1 Synonymous Form: occurrence until time interval2 is time interval1 Definition: the occurrence occurs for a time interval3 and the time interval2 is the time interval3 to time interval1 Description: Time interval2 extends from the start of occurrence1 up to, but not including, the start of time interval1. Example: The rise of the human species to perpetuity. occurrence1 to occurrence2 specifies time interval Synonymous Form: occurrence1 to occurrence2 Synonymous Form: time interval is occurrence1 to occurrence2 Synonymous Form: occurrence1 until occurrence2 specifies time interval Synonymous Form: occurrence1 until occurrence2 Synonymous Form: time interval is occurrence1 until occurrence2 Definition: the occurrence1 occurs for a time interval1 and the occurrence2 occurs for a time interval2 and the time interval is the time interval1 to time interval2 Description: The time interval extends from the start of occurrence1 up to, but not including, the start of occurrence2. Example: The contract signing to the contract termination. At the very end of clause 16.4, add this figure and the following text: <
> first occurrence General Concept: occurrence Concept Type: role Description: The earliest occurrence that exemplifies a situation model. situation model has first occurrence Definition: the first occurrence exemplifies the situation model and the first occurrence begins before each occurrence that exemplifies the situation model Example: The situation model 'landing of a human on the moon' had its first occurrence on 20 July 1969 through 21 July 1969. last occurrence General Concept: occurrence Concept Type: role Description: The latest occurrence that exemplifies a situation model. situation model has last occurrence Definition: the last occurrence exemplifies the situation model and the last occurrence ends after each occurrence that exemplifies the situation model Example: As of September, 2012, the last occurrence of the situation model 'landing of a human on the moon' occurred on 11 December 1972 through 14 December 1972. time interval1 through situation model specifies time interval2 Synonymous Form: time interval1 through situation model Synonymous Form: time interval2 is time interval1 through situation model Synonymous Form: situation model through time interval1 specifies time interval2 Synonymous Form: situation model through time interval1 Synonymous Form: time interval2 is situation model through time interval1 Definition: time interval2 is time interval1 through the occurrence interval of the first occurrence of situation model Description: Time interval2 extends from the start of time interval1 through the end of the first occurrence of the situation model. Note: The definition is correct for both the 'time interval1 through situation model' and 'situation model through time interval1' forms. Example: Primordiality through World War II. situation model1 through situation model2 specifies time interval Synonymous Form: situation model1 through situation model2 Synonymous Form: time interval is situation model1 through situation model2 Definition: time interval is the occurrence interval of the first occurrence of situation model1 through the occurrence interval of the last occurrence of situation model2 Description: The time interval extends from the start of the first occurrence of situation model1 through the end of the final occurrence of situation model2. Example: The inception of a contract through the termination of the contract. time interval1 to situation model specifies time interval2 Synonymous Form: time interval1 to situation model Synonymous Form: time interval2 is time interval1 to situation model Synonymous Form: time interval1 until situation model specifies time interval2 Synonymous Form: time interval1 until situation model Synonymous Form: time interval2 is time interval1 until situation model Definition: time interval2 is time interval1 to the occurrence interval of the first occurrence of situation model Description: Time interval2 extends from the start of time interval1 up to just before the first occurrence of the situation model. Example: 2010 to the termination of employment. situation model to time interval1 specifies time interval2 Synonymous Form: situation model to time interval1 Synonymous Form: time interval2 is situation model to time interval1 Synonymous Form: situation model until time interval1 Synonymous Form: situation model until time interval1 Synonymous Form: situation model until time interval2 is time interval1 Definition: time interval2 is the occurrence interval of the first occurrence of situation model to time interval1 Description: Time interval2 extends from the first occurrence of situation model up to just before the first time interval1. Example: Hiring to 2010. situation model1 to situation model2 specifies time interval Synonymous Form: situation model1 to situation model2 Synonymous Form: time interval is situation model1 to situation model2 Synonymous Form: situation model1 until situation model2 specifies time interval Synonymous Form: situation model1 until situation model2 Synonymous Form: time interval is situation model1 until situation model2 Definition: time interval is the occurrence interval of the first occurrence of situation model1 to the occurrence interval of the last occurrence of situation model2 Description: The time interval extends from the start of the first occurrence of situation model1 up to, but not including, the final occurrence of situation model2. Example: Hiring to termination. Disposition: Resolved From: "Barkmeyer, Edward J" To: Mark H Linehan , "date-time-ftf@omg.org" Date: Mon, 8 Oct 2012 03:32:38 -0400 Subject: RE: DTV Issue 16993 - no syntax for indefinite time periods Thread-Topic: DTV Issue 16993 - no syntax for indefinite time periods Thread-Index: Ac2kAZa90mO0/3y9RSytqwGXpN+dNwBJYDEj Accept-Language: en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: acceptlanguage: en-US Ships passing in the night. I built the attached from Mark's previous draft. I don't have time to compare them just now. -Ed -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Engineering Laboratory -- Systems Integration Division 100 Bureau Drive, Stop 8263 Office: +1 301-975-3528 Gaithersburg, MD 20899-8263 Mobile: +1 240-672-5800 ________________________________________ From: Mark H Linehan [mlinehan@us.ibm.com] Sent: Saturday, October 06, 2012 4:33 PM To: date-time-ftf@omg.org Subject: DTV Issue 16993 - no syntax for indefinite time periods This version replaces 'first/last occurrence interval' with 'first/last occurrence'. Ed, if you could get out new figures, I think we should be done with this one. ----------------------------- Mark H. Linehan STSM, IBM Research Content-Type: application/vnd.openxmlformats-officedocument.wordprocessingml.document; name="Date-Time Issue 16993 - no syntax for indefinite time periods-d4.docx" Content-Description: Date-Time Issue 16993 - no syntax for indefinite time periods-d4.docx Content-Disposition: attachment; filename="Date-Time Issue 16993 - no syntax" for indefinite time periods-d4.docx"; size=147333; creation-date="Mon, 08 Oct 2012 03:34:02 GMT"; modification-date="Mon, 08 Oct 2012 03:34:02 GMT" Date-Time Issue 16993 - no syntax To: date-time-ftf@omg.org Subject: DTV Issue 16993: no syntax for indefinite time periods X-KeepSent: 68A78C91:F852EA4E-85257A91:0071D9B0; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Mon, 8 Oct 2012 16:47:00 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 10/08/2012 16:47:02 x-cbid: 12100820-3534-0000-0000-00000D95ED15 This version is based on what Ed sent out over the weekend, but fixes numerous typos. During today's discussion, Mike suggested an alternative for the verb concepts that involve situation models. He suggested that these should apply only to 'individual situation models', exactly because the interpretation with regard to situation models that have multiple occurrences is not really clear. Ed, as soon as I applied my template to your document, all the "Synonymous Form" captions lost their formatting. This may be because the "SynonForm" paragraph style in my template seems to be broken. We really should get together on one template. ----------------------------- Mark H. Linehan STSM, IBM Research Date-Time Issue 16993 - no syntax for indefinite time periods.docx Disposition: Resolved OMG Issue No: 16993 Title: no syntax for indefinite time periods Source: Jon Siegel, OMG, siegel@omg.org, Ed Barkmeyer, NIST, edbark@nist.gov Summary: A time interval that starts at a definite time (be it "now", or "starting when 13 states have signed the declaration", or "starting when the exchange offers our stock on the floor", and continues without end is a different kind of "forever" than the time period specified in 9.4. Similarly, there are intervals that start at indefinite time in the past and end at a stated time ("now" or whatever). Such intervals are referred to in phrases such as "Until the Wildlife Protection Act goes into effect in 2016", where no event marks the start of the interval in question - only its end. These are cases in which a) a time period has a first time point but no last time point, or b) a time period has a last time point but no first time point. Unlike 'forever', which is unique, those categories of time period have infinitely many instances. And unlike time periods that have a start time and an end time, or a start time and a duration, the DTV does not provide a simple fact type for specifying them: the time interval 'after (time point)' or 'from (time point) on', and the time interval 'until (time point)'. Some such fact types would clearly be useful in a business vocabulary. Resolution: The resolution of issue 17540 adds the concepts .primordiality. and .perpetuity. as individual time interval concepts. This resolution adds verb concepts such as .time interval1 to situation model specifies time interval2. that can be used with any time interval, including .primordiality. and .perpetuity., to mean a time interval that extends until an occurrence of the situation model. Revised Text: (This resolution is dependent upon the resolution of issue 17540.) (These updates are written against the beta-2 specification.) 1. At the very end of clause 16.4, add the following figure and text, renumbering subsequent figures: Figure 16.5 First and last occurrences of situation models first occurrence General Concept: occurrence Concept Type: role situation model has first occurrence after time interval Synonymous Form: first occurrence of situation model after time interval Definition: the first occurrence exemplifies the situation model and the first occurrence occurs after the time interval and the first occurrence begins before each occurrence that exemplifies the situation model and that occurs after the time interval situation model has first occurrence Definition: the first occurrence exemplifies the situation model and the first occurrence begins before each occurrence that exemplifies the situation model Example: The first occurrence of the situation model 'landing of a human on the moon' had the occurrence interval 20 July 1969 through 21 July 1969. last occurrence General Concept: occurrence Concept Type: role situation model has last occurrence Definition: the last occurrence exemplifies the situation model and the last occurrence ends after each occurrence that exemplifies the situation model situation model has last occurrence before time interval Synonymous Form: last occurrence of situation model before time interval Definition: the last occurrence exemplifies the situation model and the last occurrence occurs before the time interval and the last occurrence finishes after each occurrence that exemplifies the situation model and that occurs before time interval Example: The last occurrence of the situation model 'landing of a human on the moon' before December 2012 occurred over the time interval 21 April 1972 through 24 April 1972 2. At the very end of clause 16.5, add a new subsection, renumbering subsections 16.6 and 16.7 and subsequent figures: (new) 16.6 Specification of time intervals using situations This section defines concepts related to the use of occurrences and situation models to specify time intervals. Figure 16.6 Time intervals specified by occurrences time interval1 through occurrence specifies time interval2 Synonymous Form: time interval1 through occurrence Synonymous Form: time interval2 is time interval1 through occurrence Synonymous Form: occurrence through time interval1 specifies time interval2 Synonymous Form: occurrence through time interval1 Synonymous Form: time interval2 is occurrence through time interval1 Definition: the time interval2 is the time interval1 plus the occurrence interval of the occurrence Description: The time interval extends from the start of time interval1 through the end of the occurrence. Note: The definition is correct for both the 'time interval1 through occurrence' and 'occurrence through time interval1' forms. Example: The contract signing through 2012. occurrence1 through occurrence2 specifies time interval Synonymous Form: occurrence1 through occurrence2 Synonymous Form: time interval is occurrence1 through occurrence2 Definition: the time interval is the occurrence interval of the occurrence1 plus the occurrence interval of the occurrence2 Description: The time interval extends from the start of occurrence1 through the end of occurrence2. Example: The contract signing through the termination of the contract. time interval1 to occurrence specifies time interval2 Synonymous Form: time interval1 to occurrence Synonymous Form: time interval2 is time interval1 to occurrence Synonymous Form: time interval1 until occurrence specifies time interval2 Synonymous Form: time interval1 until occurrence Synonymous Form: time interval2 is time interval1 until occurrence Definition: the time interval2 is time interval1 to the occurrence interval of the occurrence Description: Time interval2 extends from the start of time interval1 up to, but not including, the start of the occurrence. Example: Primordiality to the inauguration of the President. occurrence to time interval1 specifies time interval2 Synonymous Form: occurrence to time interval1 Synonymous Form: occurrence to time interval1 is time interval2 Synonymous Form: occurrence until time interval1 specifies time interval2 Synonymous Form: occurrence until time interval1 Synonymous Form: occurrence until time interval1 is time interval2 Definition: the time interval2 is the occurrence interval of the occurrence to the time interval1 Description: Time interval2 extends from the start of the occurrence up to, but not including, the start of time interval1. Example: The rise of the human species to perpetuity. occurrence1 to occurrence2 specifies time interval Synonymous Form: occurrence1 to occurrence2 Synonymous Form: time interval is occurrence1 to occurrence2 Synonymous Form: occurrence1 until occurrence2 specifies time interval Synonymous Form: occurrence1 until occurrence2 Synonymous Form: time interval is occurrence1 until occurrence2 Definition: the time interval is the occurrence interval of the occurrence1 to the occurrence interval of the occurrence2 Description: The time interval extends from the start of occurrence1 up to, but not including, the start of occurrence2. Necessity: occurrence1 finishes before occurrence2 Example: The contract signing to the contract termination. Figure 16.7 Time intervals specified by situation models time interval1 through situation model specifies time interval2 Synonymous Form: time interval1 through situation model Synonymous Form: time interval2 is time interval1 through situation model Definition: the time interval2 is the time interval1 through the first occurrence of the situation model after the time interval1 Description: Time interval2 extends from the start of time interval1 through the end of the first occurrence of the situation model that is after time interval1. Note: The definition is correct for both the 'time interval1 through situation model' and 'situation model through time interval1' forms. Example: Primordiality through World War II. situation model through time interval1 specifies time interval2 Synonymous Form: situation model through time interval1 Synonymous Form: time interval2 is situation model through time interval1 Definition: the time interval2 is the first occurrence of the situation model through the time interval1 Description: The time interval extends from the start of the first occurrence of situation model1 through the end time interval1. Example: From World War II through 1972. situation model1 through situation model2 specifies time interval Synonymous Form: situation model1 through situation model2 Synonymous Form: time interval is situation model1 through situation model2 Definition: the time interval is the first occurrence of the situation model1 through the last occurrence of the situation model2 Description: The time interval extends from the start of the first occurrence of situation model1 through the end of the final occurrence of situation model2. Example: The inception of a contract through the termination of the contract. time interval1 to situation model specifies time interval2 Synonymous Form: time interval1 to situation model Synonymous Form: time interval2 is time interval1 to situation model Synonymous Form: time interval1 until situation model specifies time interval2 Synonymous Form: time interval1 until situation model Synonymous Form: time interval2 is time interval1 until situation model Definition: the time interval2 is the time interval1 to the first occurrence of the situation model after the time interval1 Description: Time interval2 extends from the start of time interval1 up to just before the next occurrence of the situation model. Example: 2010 to the termination of employment. situation model to time interval1 specifies time interval2 Synonymous Form: situation model to time interval1 Synonymous Form: time interval2 is situation model to time interval1 Synonymous Form: situation model until time interval1 Synonymous Form: situation model until time interval1 Synonymous Form: situation model until time interval1 is time interval2 Definition: the time interval2 is the first occurrence of the situation model to t the ime interval1 Description: Time interval2 extends from the first occurrence of situation model up to just before the first time interval1. Example: Hiring to 2010. situation model1 to situation model2 specifies time interval Synonymous Form: situation model1 to situation model2 Synonymous Form: time interval is situation model1 to situation model2 Synonymous Form: situation model1 until situation model2 specifies time interval Synonymous Form: situation model1 until situation model2 Synonymous Form: time interval is situation model1 until situation model2 Definition: the time interval is the first occurrence of the situation model1 to the last occurrence of the situation model2 Description: The time interval extends from the start of the first occurrence of situation model1 up to, but not including, the final occurrence of situation model2. Example: Hiring to termination. Disposition: Resolved Date: Tue, 9 Oct 2012 15:17:05 -0400 From: Ed Barkmeyer Reply-To: Organization: NIST User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: Mark H Linehan CC: "date-time-ftf@omg.org" Subject: Re: DTV Issue 16993: no syntax for indefinite time periods X-NISTMEL-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: q99JHAAt012340 X-NISTMEL-MailScanner: Found to be clean X-NISTMEL-MailScanner-SpamCheck: X-NISTMEL-MailScanner-From: edbark@nist.gov X-NISTMEL-MailScanner-Watermark: 1350415032.97973@EvbVBo4+h4t+oE96J6OIqw X-Spam-Status: No Mark H Linehan wrote: This version is based on what Ed sent out over the weekend, but fixes numerous typos. During today's discussion, Mike suggested an alternative for the verb concepts that involve situation models. He suggested that these should apply only to 'individual situation models', exactly because the interpretation with regard to situation models that have multiple occurrences is not really clear. Consider: When a shipment is not received by the latest delivery date, from the latest delivery date until a shipment is received, XYZCo will pay a penalty of 1% per day on the price of the widgets. It seems clear that what is meant is the first occurrence after 15 October. If that is not a permitted phrasing because multiple shipments of 1000 widgets occur, how else would you describe the situation? Similarly: The time interval from receipt of a shipment to the delivery notification for the shipment shall not exceed 5 business days. (Note that this is 'trick' wording. What is meant is For each shipment, ... and the receipt of each shipment is unique.) Ed, as soon as I applied my template to your document, all the "Synonymous Form" captions lost their formatting. This may be because the "SynonForm" paragraph style in my template seems to be broken. We really should get together on one template. I think that is not possible, since you are using Word2003 and I am using Word2007. My template is now a .dotx template, because I can't fix the "numbering" tabs in a .dot template. The Definition, Example, SynonymousForm paragraphs are exactly the thing MS hacks differently in every release. -Ed ----------------------------- Mark H. Linehan STSM, IBM Research -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Systems Integration Division, Engineering Laboratory 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 Cel: +1 240-672-5800 "The opinions expressed above do not reflect consensus of NIST, and have not been reviewed by any Government authority." To: date-time-ftf@omg.org Subject: Re: DTV Issue 16993: no syntax for indefinite time periods X-KeepSent: 6FC47CF4:6EFB82F8-85257A92:008184AA; type=4; name=$KeepSent X-Mailer: Lotus Notes Release 8.5.3 September 15, 2011 From: Mark H Linehan Date: Tue, 9 Oct 2012 20:03:35 -0400 X-MIMETrack: Serialize by Router on D01MC604/01/M/IBM(Release 8.5.3FP2IF1|July 25, 2012) at 10/09/2012 20:03:32, Serialize complete at 10/09/2012 20:03:32 x-cbid: 12101000-5930-0000-0000-00000CECD0F2 My responses like this. ----------------------------- Mark H. Linehan STSM, IBM Research From: Ed Barkmeyer To: Mark H Linehan/Watson/IBM@IBMUS, Cc: "date-time-ftf@omg.org" Date: 10/09/2012 03:21 PM Subject: Re: DTV Issue 16993: no syntax for indefinite time periods -------------------------------------------------------------------------------- Mark H Linehan wrote: > This version is based on what Ed sent out over the weekend, but fixes > numerous typos. > > During today's discussion, Mike suggested an alternative for the verb > concepts that involve situation models. He suggested that these > should apply only to 'individual situation models', exactly because > the interpretation with regard to situation models that have multiple > occurrences is not really clear. Consider: When a shipment is not received by the latest delivery date, from the latest delivery date until a shipment is received, XYZCo will pay a penalty of 1% per day on the price of the widgets. It seems clear that what is meant is the first occurrence after 15 October. If that is not a permitted phrasing because multiple shipments of 1000 widgets occur, how else would you describe the situation? Presuming we keep the verb concepts 'first occurrence of situation model' and 'first occurrence of situation model after time interval', then one could state the rule using them. Similarly: The time interval from receipt of a shipment to the delivery notification for the shipment shall not exceed 5 business days. (Note that this is 'trick' wording. What is meant is For each shipment, ... and the receipt of each shipment is unique.) It seems to me that "receipt of each shipment" and "delivery notification of the shipment" are individual situation models, presuming that each shipment has one receipt and one delivery notification. So this example would be supported by "individual situation model1 through individual situation model2 is time interval". > Ed, as soon as I applied my template to your document, all the > "Synonymous Form" captions lost their formatting. This may be because > the "SynonForm" paragraph style in my template seems to be broken. We > really should get together on one template. I think that is not possible, since you are using Word2003 and I am using Word2007. My template is now a .dotx template, because I can't fix the "numbering" tabs in a .dot template. The Definition, Example, SynonymousForm paragraphs are exactly the thing MS hacks differently in every release. Could you at least use the "Synonymous Form" paragraph style, rather than "SynonForm" because the latter does not work for me at all. In general, if you are just providing figures it would be better to send the figures and let me insert them in the document. -Ed > ----------------------------- > Mark H. Linehan > STSM, IBM Research -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Systems Integration Division, Engineering Laboratory 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 Cel: +1 240-672-5800 "The opinions expressed above do not reflect consensus of NIST, and have not been reviewed by any Government authority." Date: Wed, 10 Oct 2012 13:11:35 -0400 From: Ed Barkmeyer Reply-To: Organization: NIST User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: Mark H Linehan CC: "date-time-ftf@omg.org" Subject: Re: DTV Issue 16993: no syntax for indefinite time periods X-NISTMEL-MailScanner-Information: Please contact postmaster@mel.nist.gov for more information X-NISTMEL-MailScanner-ID: q9AHBfhJ029913 X-NISTMEL-MailScanner: Found to be clean X-NISTMEL-MailScanner-SpamCheck: X-NISTMEL-MailScanner-From: edbark@nist.gov X-NISTMEL-MailScanner-Watermark: 1350493902.58271@n94MCnMVfxO7Nu8gE/O3Kw X-Spam-Status: No Mark H Linehan wrote: My responses like this. ----------------------------- Mark H. Linehan STSM, IBM Research From: Ed Barkmeyer To: Mark H Linehan/Watson/IBM@IBMUS, Cc: "date-time-ftf@omg.org" Date: 10/09/2012 03:21 PM Subject: Re: DTV Issue 16993: no syntax for indefinite time periods -------------------------------------------------------------------------------- Mark H Linehan wrote: > This version is based on what Ed sent out over the weekend, but fixes > numerous typos. > > During today's discussion, Mike suggested an alternative for the verb > concepts that involve situation models. He suggested that these > should apply only to 'individual situation models', exactly because > the interpretation with regard to situation models that have multiple > occurrences is not really clear. Consider: When a shipment is not received by the latest delivery date, from the latest delivery date until a shipment is received, XYZCo will pay a penalty of 1% per day on the price of the widgets. It seems clear that what is meant is the first occurrence after 15 October. If that is not a permitted phrasing because multiple shipments of 1000 widgets occur, how else would you describe the situation? Presuming we keep the verb concepts 'first occurrence of situation model' and 'first occurrence of situation model after time interval', then one could state the rule using them. Aah! OK. Sure. If we keep those concepts, then the unambiguous rules can be written. Similarly: The time interval from receipt of a shipment to the delivery notification for the shipment shall not exceed 5 business days. (Note that this is 'trick' wording. What is meant is For each shipment, ... and the receipt of each shipment is unique.) It seems to me that "receipt of each shipment" and "delivery notification of the shipment" are individual situation models, presuming that each shipment has one receipt and one delivery notification. So this example would be supported by "individual situation model1 through individual situation model2 is time interval". That was my view, too. > Ed, as soon as I applied my template to your document, all the > "Synonymous Form" captions lost their formatting. This may be because > the "SynonForm" paragraph style in my template seems to be broken. We > really should get together on one template. I think that is not possible, since you are using Word2003 and I am using Word2007. My template is now a .dotx template, because I can't fix the "numbering" tabs in a .dot template. The Definition, Example, SynonymousForm paragraphs are exactly the thing MS hacks differently in every release. Could you at least use the "Synonymous Form" paragraph style, rather than "SynonForm" because the latter does not work for me at all. So, go to the Styles gallery (Format...Styles), find SynonForm and right click on Select all. Then find Synonymous form and left click, and they will all change. And I will change the name in my template. (I changed the style name when I converted SBVR Alpha to Framemaker, because it confused Framemaker v7. It turned them all into Synonym. You have the SBVR Alpha template. I made my issues template from the Beta template, which matches the fonts in the OMG specification. I think Linda and Donald and I went around that a time or two.) In general, if you are just providing figures it would be better to send the figures and let me insert them in the document. Fine. As I recall, you said you didn't want to edit this one again. So I converted it to my template. -Ed -Ed > ----------------------------- > Mark H. Linehan > STSM, IBM Research -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Systems Integration Division, Engineering Laboratory 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 Cel: +1 240-672-5800 "The opinions expressed above do not reflect consensus of NIST, and have not been reviewed by any Government authority." -- Edward J. Barkmeyer Email: edbark@nist.gov National Institute of Standards & Technology Systems Integration Division, Engineering Laboratory 100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528 Gaithersburg, MD 20899-8263 Cel: +1 240-672-5800 "The opinions expressed above do not reflect consensus of NIST, and have not been reviewed by any Government authority."