Issue 5700: TVL notation (uml-scheduling-ftf)
Source: The MathWorks (Mr. Alan Moore, alan.moore(at)mathworks.co.uk)
Nature: Uncategorized Issue
Severity: 
Summary: "TVL notation: I could observe the absence of expressiveness to
indicate a condition to finish the event generation (e.g. in the TMO one
can say ""generate events from 10am to 10:50am""):
""for t = from 10am to 10:50am
 every 30min
 start-during (t, t+5min) finish-by t+10min"", i.e.:

{""start-during (10am, 10:05am)
  finish-by 10:10am"",
 ""start-during (10:30am, 10:35am)
  finish-by 10:40am""}."

Resolution: 
Revised Text: 
Actions taken:
October 24, 2002: received issue
Discussion: 
Valid point that requires a new feature and, hence, an RFP
End of Annotations:=====
TVL notation

"TVL notation: I could observe the absence of expressiveness to
indicate a condition to finish the event generation (e.g. in the TMO
one
can say ""generate events from 10am to 10:50am""):
""for t = from 10am to 10:50am
 every 30min
 start-during (t, t+5min) finish-by t+10min"", i.e.:
{""start-during (10am, 10:05am)
  finish-by 10:10am"",
 ""start-during (10:30am, 10:35am)
  finish-by 10:40am""}."