Binary file .DS_Store has changed

--- a/model/ProvenanceModel.html	Wed Jul 20 21:55:59 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Jul 21 00:10:52 2011 +0100
@@ -250,13 +250,8 @@
 
     <section> 
 <h3>Graphical Illustration</h3>
-    </section> 
 
-<p><em>
-Graphical illustration of this example to appear here.
-</em></p>
-</section> 
-
+<img src="file:///Users/paolo/Dropbox/prov-wg/prov/model/example-graphical.pdf"/>
     </section> 
 
 
@@ -556,9 +551,13 @@
 
 <h3>IVP of</h3>
 
-<p><dfn id="dfn-IVPof">IVP of</dfn> is a relationship between two characterized entities asserted to have compatible characterization over some continuous time interval. Establishing such relationship would in theory require knowledge of both characterizations. In practice, it is designed in such a way so that one entity communicates its properties and values, whereas the other receives communicated values, and compares with its own values.  Hence, it is designed to be an asymmetric relation.</p>
+<p><dfn id="dfn-IVPof">IVP of</dfn> is a relationship between two characterized entities asserted to have compatible characterization over some continuous time interval. Compatibility is based upon a partial mapping amongst attributes used in the BOBs used to represent the characterization (the identity mapping is a special case whereby the Bobs share some of the attributes). 
 
+Establishing such relationship would in theory require knowledge of both characterizations. In practice, it is designed in such a way so that one entity communicates its properties and values, whereas the other receives communicated values, and compares with its own values.  Hence, it is designed to be an asymmetric relation.</p>
 
+<div =class='note'>I would rephrase the second part as follows:<br/>
+The "IVP of" relationship is designed to represent pairs of BOBs that correspond to each other. By their own nature, a BOB remains valid only as long as all of its attributes do not change their value. It follows that the correspondence "B IVP of A" is only valid within the time interval during which such invariance property holds for both A and B. When any of the property values change in either A or B, those BOBs are replaced by new ones, and a new correspondence may be established. Thus, "IVP of" is defined relative to the intersection of the temporal intervals for which A and B are valid.
+</div>
 
 <p>An IVP assertion is denoted <b>IVPof(B,A)</b>, where A and B are two BOBs.
 
@@ -584,11 +583,10 @@
 </p>
 
 
-
 <p>
 An assertion "B is an IVP of A" holds over the temporal intersection of A and B, <em>only if</em>: 
 <ol>
-  <li>the attributes that A and B share must have equal values</li>
+  <li>the attributes that A and B share must have equal values. <em>PM: more generally: if a mapping can be established between an attribute X of A and an attribute Y of B, then the values of A and B must be consistent with that mapping</em>  </li>
   <li>B has some attribute that A does not have
 </li></ol>
 </p>