Re: PROV-ISSUE-69 (Process Execution): Process execution occurs over a "continuous time interval"? [Conceptual Model]

Hi Satya,
Following our September message, we are  now formally closing this issue.
Regards,
Luc

On 09/23/2011 12:01 PM, Luc Moreau wrote:
> Hi Satya,
>
> The word continuous was removed. The issue is now closed pending review.
>
> The comment below still holds.
>
> Feel free to reopen, if you're not happy with the latest version of 
> the document.
>
> Cheers,
> Luc
>
> On 22/08/2011 09:19, Luc Moreau wrote:
>>
>> But Satya, the example you mentioned involves two intervals t1-t2 and 
>> t3-t4.
>>
>> Note, we didn't write "occurs continuously", but instead "continuous 
>> interval".
>>
>> This said, by definition, an interval is continuous, hence the word 
>> is redundant.
>> For this reason, I am happy to remove it from the sentence.
>>
>> But it remains the case, that process executions, from the model 
>> perspective, occur over
>> a time interval. The model is agnostic about what happens to process 
>> executions over such
>> intervals.  They can be paused, restarted, relocated, slowed down, 
>> accelerated, whatever,
>> there is no terminology in the model to express these process 
>> executions variations.
>>
>> Luc
>>
>>
>> On 08/05/2011 11:29 PM, Satya Sahoo wrote:
>>> +1 for Jim's point.
>>>
>>> Thanks.
>>>
>>> Best,
>>> Satya
>>>
>>> On Fri, Aug 5, 2011 at 11:50 AM, Myers, Jim <MYERSJ4@rpi.edu 
>>> <mailto:MYERSJ4@rpi.edu>> wrote:
>>>
>>>     Luc - I think this is a separate use case and Satya is not
>>>     arguing about PEs having an interval, If you travel to Boston
>>>     over three days and you stay in a hotel, are you travelling
>>>     towards Boston the whole time? Clearly this trip is distinct
>>>     from any other, but whether 'travelling' occurs at all points in
>>>     time or just starts and ends with some pauses is the question.
>>>     Dropping 'continuously' and just saying that a process occurs
>>>     over an interval would, I think, still keep different trips as
>>>     different Bobs and processes, while addressing the concern that
>>>     some process executions might be episodic internally.
>>>
>>>      Jim
>>>
>>>     > -----Original Message-----
>>>     > From: public-prov-wg-request@w3.org
>>>     <mailto:public-prov-wg-request@w3.org> [mailto:public-prov-wg-
>>>     <mailto:public-prov-wg->
>>>     > request@w3.org <mailto:request@w3.org>] On Behalf Of Luc Moreau
>>>     > Sent: Friday, August 05, 2011 11:28 AM
>>>     > To: public-prov-wg@w3.org <mailto:public-prov-wg@w3.org>
>>>     > Subject: Re: PROV-ISSUE-69 (Process Execution): Process
>>>     execution occurs over
>>>     > a "continuous time interval"? [Conceptual Model]
>>>     >
>>>     >
>>>     > Hi Satya,
>>>     >
>>>     > It's  the same problem as entities.
>>>     >
>>>     > Luc is Boston (an entity)  or Travelling to Boston (a process
>>>     execution) can
>>>     > occur twice, let's say in May and in June.
>>>     >
>>>     > How can you explain that the second occurrence was caused by
>>>     the first?
>>>     > They need to be
>>>     > distinct, hence continuous intervals.
>>>     >
>>>     > How do you model your use case?  By two separate process
>>>     executions.
>>>     >
>>>     > Luc
>>>     >
>>>     > On 08/04/2011 01:01 AM, Provenance Working Group Issue Tracker
>>>     wrote:
>>>     > > PROV-ISSUE-69 (Process Execution): Process execution occurs
>>>     over a
>>>     > > "continuous time interval"? [Conceptual Model]
>>>     > >
>>>     > > http://www.w3.org/2011/prov/track/issues/69
>>>     > >
>>>     > > Raised by: Satya Sahoo
>>>     > > On product: Conceptual Model
>>>     > >
>>>     > > The current description of process execution:
>>>     > > "The activity that a process execution represents has a
>>>     duration, delimited by
>>>     > its start and its end; hence, it occurs over a continuous time
>>>     interval."
>>>     > >
>>>     > > What if the process execution was started (at t1), paused
>>>     (at t2), and
>>>     > restarted (at t3) terminated (at t4), then its duration is
>>>     t1-t2 and t3-t4 which is
>>>     > not a continuous time interval.
>>>     > >
>>>     > > I propose that we should remove "continuous" from the above
>>>     description.
>>>     > >
>>>     > > Best,
>>>     > > Satya
>>>     > >
>>>     > >
>>>     > >
>>>     > >
>>>     >
>>>     > --
>>>     > Professor Luc Moreau
>>>     > Electronics and Computer Science   tel: +44 23 8059 4487
>>>     <tel:%2B44%2023%208059%204487>
>>>     > University of Southampton          fax: +44 23 8059 2865
>>>     <tel:%2B44%2023%208059%202865>
>>>     > Southampton SO17 1BJ               email:
>>>     l.moreau@ecs.soton.ac.uk <mailto:l.moreau@ecs.soton.ac.uk>
>>>     > United Kingdom http://www.ecs.soton.ac.uk/~lavm
>>>     <http://www.ecs.soton.ac.uk/%7Elavm>
>>>     >
>>>
>>>
>>
>> -- 
>> Professor Luc Moreau
>> Electronics and Computer Science   tel:   +44 23 8059 4487
>> University of Southampton          fax:   +44 23 8059 2865
>> Southampton SO17 1BJ               email:l.moreau@ecs.soton.ac.uk
>> United Kingdomhttp://www.ecs.soton.ac.uk/~lavm
>>    

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm