W3C home > Mailing lists > Public > public-prov-wg@w3.org > August 2012

Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints]

From: Luc Moreau <l.moreau@ecs.soton.ac.uk>
Date: Wed, 08 Aug 2012 10:01:19 +0100
Message-ID: <EMEW3|a91069c8895c6bea48f0744df8562af6o77A1M08l.moreau|ecs.soton.ac.uk|50222ADF.1030807@ecs.soton.ac.uk>
To: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
CC: public-prov-wg@w3.org
Hi Stian,
So, is there really a problem here?
Luc

On 08/08/12 09:12, Stian Soiland-Reyes wrote:
> On Mon, Aug 6, 2012 at 5:30 PM, Luc Moreau <l.moreau@ecs.soton.ac.uk> wrote:
>> Self terminating process would be modelled like this:
>>
>> wasEndedBy(end; a,-,a,t,attrs)
>>
>> where a is the ended activity/process and also the ender.
>>
>> There is an implicit trigger, as you say, which you can see as
>> the instruction to terminate, for instance.
> Yes, that makes sense, and as we got rid of the non-zero lifetime of
> entities; that trigger can even be made at the very end of the
> activity, if it so pleased.
>
>

-- 
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
Received on Wednesday, 8 August 2012 09:01:55 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:51:19 UTC