PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model]

PROV-ISSUE-64 (definition-use): definition of use [Conceptual Model]

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

Raised by: Graham Klyne
On product: Conceptual Model

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.
]]

Received on Friday, 29 July 2011 09:13:52 UTC