ISSUE-64: definition of use

definition-use

definition of use

State:

CLOSED

Product:

prov-dm

Raised by:

Graham Klyne

Opened on:

2011-07-29

Description:

5.4 Use

Same problem with 'role' as above.

[[
A reference to a given BOB may appear in multiple use assertions that refer to a given process execution, but each of those use assertions must have a distinct role.
]]
In light of the above, this seems nonsensical to me.

[[
Given an assertion uses(pe,x,r) or uses(pe,x,r,t), at least one value of x's attributes is a pre-condition for the activity denoted by pe to terminate.
]]
As written this doesn't make sense - a value of an attribute being a precondition seems like a type error to me. I think you mean something like availability of an attribute value. But even that is hard to follow. Suggest simplifying this to just:
[[
Given an assertion uses(pe,x,r) or uses(pe,x,r,t), existence of x is a pre-condition for the activity denoted by pe to terminate.
]]

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-30)
2. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from l.moreau@ecs.soton.ac.uk on 2011-09-23)
3. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-09)
4. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from simon.miles@kcl.ac.uk on 2011-09-09)
5. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from GK@ninebynine.org on 2011-09-05)
6. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-05)
7. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-01)
8. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from simon.miles@kcl.ac.uk on 2011-08-31)
9. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-22)
10. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-05)
11. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from simon.miles@kcl.ac.uk on 2011-08-05)
12. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-04)
13. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from simon.miles@kcl.ac.uk on 2011-08-04)
14. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from GK@ninebynine.org on 2011-08-04)
15. Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-07-29)
16. PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from sysbot+tracker@w3.org on 2011-07-29)

Related notes:

Display change log