added comments re: issue 100
authorPaolo Missier <pmissier@acm.org>
Fri, 07 Oct 2011 10:19:09 +0200
changeset 583 0ee5c8ee7f36
parent 582 06a2ffb496ff
child 584 9341be4fa54b
added comments re: issue 100
model/satya-comments-issue-100.txt
--- a/model/satya-comments-issue-100.txt	Thu Oct 06 23:31:48 2011 +0100
+++ b/model/satya-comments-issue-100.txt	Fri Oct 07 10:19:09 2011 +0200
@@ -12,6 +12,22 @@
 but we use the term 'entity expression' to make it clear that we
 refer to a PROV-DM construct (see intro of section 5.1)
 
+PM have the feeling that Satya's point will be echoed by others -- you expect an element of the model and you find an element of the language. 
+
+can we make an effort to keep the distinction model/language.
+
+PM how about introducing the entire sec. 2 with:
+
+"In this section, for each element of the model a corresponding ASN expression is introduced, by way of a production in the ASN grammar. "
+
+Then in 5.2.1:
+"In PROV-DM, an entity expression is a representation of an identifiable characterized thing."  
+becomes
+"In PROV-DM, an entity is a representation of an identifiable characterized thing." Entities are asserted using entity expressions, according to the following grammar production:

+
+
+
   > 
   > 2. An instance of an entity expression, noted entity(id, [ attr1=val1,
   > ...]) in PROV-ASN contains an identifier id identifying a
@@ -27,6 +43,9 @@
 
 We refer to it with its identifier.
 
+PM identifier. not an issue
+
+
   > 
   > 3. The assertion of an instance of an entity expression, entity(id, [
   > attr1=val1, ...]), states, from a given asserter's viewpoint, the
@@ -44,7 +63,10 @@
 
 Does it really need to be defined explicitly?
 
-  > 
+PM there is a hidden issue here though: how do we get agreement on event ordering? isn't this a way to sweep agreement on time under the rug?
+I am not competent enough to see this through I'm afraid but I see this will creep back up on us
+
+
   > 4. If an asserter wishes to characterize a thing with the same
   > attribute-value pairs over several intervals, then they are required
   > to assert multiple entity expressions, each with its own identifier
@@ -65,6 +87,8 @@
 and summer clothes). But we have no requirements that these attributes are expressed.
 So, if we have just "luc in boston" as a characterization, the constraint makes sense.
 
+PM agreed
+
   > 
   > I believe this consideration is not required and adds a layer of complexity.
   > 
@@ -79,3 +103,6 @@
 
 That's why the whole model is event based.
 
+PM see my earlier comment. Satya has a point when he says events are "surrogates for time". 
+Have no solution, but need more discussion goinf forward. This issue will continue
+