- From: Luc Moreau <l.moreau@ecs.soton.ac.uk>
- Date: Wed, 08 Aug 2012 10:01:19 +0100
- 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