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

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Mon, 06 Aug 2012 15:28:08 +0000
Message-Id: <E1SyPE0-0002OL-CP@tibor.w3.org>
To: public-prov-wg@w3.org
PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints]

http://www.w3.org/2011/prov/track/issues/467

Raised by: Stian Soiland-Reyes
On product: prov-dm-constraints

Do we have WG consensus on activity start/end requiring triggers?
Can an activity terminate itself without a trigger? Start
instantaneously?

>From Stian's review http://lists.w3.org/Archives/Public/public-prov-wg/2012Aug/0021.html :



> IF activity(a,t1,t2,_attrs) THEN there exist _id1, _e1, _id2, and _e2 such that wasStartedBy(_id1;a,_e1,_a1,t1,[]) and wasEndedBy(_id2;a,_e2,_a2,t2,[]).

So it is impossible for an activity to start or end without a trigger?
I am not so sure about this.. this creates phantom triggers, not too
dissimilar to our previous phantom agents, in particular for a
self-terminating process this can become a bit odd, "I'll tell my self
to stop now!"

All activities must end? Same argument as for inference 7 applies.
Received on Monday, 6 August 2012 15:28:09 UTC

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