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:
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-30)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from l.moreau@ecs.soton.ac.uk on 2011-09-23)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-09)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from simon.miles@kcl.ac.uk on 2011-09-09)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from GK@ninebynine.org on 2011-09-05)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-05)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-01)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from simon.miles@kcl.ac.uk on 2011-08-31)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-22)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-05)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from simon.miles@kcl.ac.uk on 2011-08-05)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-08-04)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from simon.miles@kcl.ac.uk on 2011-08-04)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from GK@ninebynine.org on 2011-08-04)
- Re: PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-07-29)
- PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model] (from sysbot+tracker@w3.org on 2011-07-29)
Related notes:
Role introduced in example.
Type error corrected.
GK said to close.
Luc Moreau, 25 Aug 2011, 23:52:04Display change log