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:

1. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-09-04)
2. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-30)
3. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from lebot@rpi.edu on 2012-08-14)
4. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-09)
5. RE: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-08-09)
6. 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)
7. 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)
8. 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)
9. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-09)
10. 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)
11. 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)
12. 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)
13. 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)
14. 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)
15. 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)
16. 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)
17. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-08-06)
18. 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)
19. 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)
20. 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:

Display change log