ISSUE-467: Do activity start/end always require trigger?
activity-start-req-trigger
Do activity start/end always require trigger?
- State:
- CLOSED
- Product:
- prov-dm-constraints
- Raised by:
- Stian Soiland-Reyes
- Opened on:
- 2012-08-06
- Description:
- 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.
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-09-04)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-30)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from lebot@rpi.edu on 2012-08-14)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-09)
- RE: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-08-09)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-09)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-09)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-09)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-09)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-09)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-08)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-08-08)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-08-08)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-08)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-08)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from l.moreau@ecs.soton.ac.uk on 2012-08-06)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-06)
- Re: PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-06)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-06)
- PROV-ISSUE-467 (activity-start-req-trigger): Do activity start/end always require trigger? [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-08-06)
Related notes:
Telcon 2012-08-09 concluded to keep the current form. So I'm closing this to keep the triggers.
Stian Soiland-Reyes, 9 Aug 2012, 15:34:31Display change log