--- a/model/derivation.html Fri Aug 05 00:02:45 2011 +0100
+++ b/model/derivation.html Fri Aug 05 00:54:57 2011 +0100
@@ -100,9 +100,9 @@
<section>
<h4>Process Execution Linked Derivation</h4>
-<p>A derivation, which by definition expresses that some characterized thing is transformed from, created from, or affected by another characterized thing, entails a process execution that transforms, creates or affects this characterized thing.</pe>
+<p>A process execution linked derivation, which, by definition of derivation, expresses that some characterized thing is transformed from, created from, or affected by another characterized thing, entails a process execution that transforms, creates or affects this characterized thing.</pe>
-<p>In its full form, a process-execution linked derivation assertion, <b>isDerivedFrom(e2,e1,pe,r2,r1)</b>:
+<p>In its full form, a process-execution linked derivation assertion, noted <b>isDerivedFrom(e2,e1,pe,r2,r1)</b>:
<ul>
<li> refers to an entity <b>e2</b>, denoting the used characterized thing;
<li> refers to an entity <b>e1</b>, denoting the generated characterized thing;
@@ -125,10 +125,10 @@
</div>
-<p>For convenience, PIL allows for a compact, process-execution linked Derivation assertion, written <b>isDerivedFrom(e1,e2)</b>, which:
+<p>For convenience, PIL allows for a compact, process-execution linked derivation assertion, written <b>isDerivedFrom(e2,e1)</b>, which:
<ul>
-<li> refers to an entity <b>e1</b>, denoting the generated characterized thing;
-<li> refers to an entity <b>e2</b>, denoting the used characterized thing.
+<li> refers to an entity <b>e2</b>, denoting the generated characterized thing;
+<li> refers to an entity <b>e1</b>, denoting the used characterized thing.
</ul>
</p>
@@ -141,22 +141,32 @@
<b>isGeneratedBy(e2,pe,r2)</b> and <b>uses(pe,e1,r1)</b>.
</div></p>
+
+
+
<p>If <b>e2</b> is derived from <b>e1</b>, then
-this means that the thing represented by <b>e1</b> has an influence on the thing represented by <b>e2</b>, which is captured by a dependency between their attribute values, expressed as follows.
-From an assertion <b>isDerivedFrom(e2,e1,pe,r2,r1)</b>
-or <b>isDerivedFrom(e2,e1)</b>, the values of some attributes
-of <b>e2</b> are at least partially determined by the values of some
-attributes of <b>e1</b>.</p>
+this means that the thing represented by <b>e1</b> has an influence on the thing represented by <b>e2</b>, which is captured by a dependency between their attribute values; it also implies temporal ordering. These are specified as follows:</p>
+
+<p>Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, roles <b>r1</b> and <b>r2</b>, if the assertion <b>isDerivedFrom(e2,e1,pe,r2,r1)</b>
+or <b>isDerivedFrom(e2,e1)</b> holds, then:
+<ul>
+<li> the values of some attributes
+of <b>e2</b> are partly or fully determined by the values of some
+attributes of <b>e1</b>.</li>
<div class='note'>Always?</div>
-<p>Furthermore, there is a temporal ordering between the use of <b>e1</b> and the generation of <b>e2</b>.
-Given an assertion <b>isDerivedFrom(e2,e1,pe,r2,r1)</b>
-or <b>isDerivedFrom(e2,e1)</b>, one can infer that the use
+<li>that the use
of characterized thing denoted by <b>e1</b> precedes the generation of
the characterized thing denoted by <b>e2</b>.
+</li>
+
+</ul>
+
+
+
<p>
Note that inferring derivation from use and generation does not hold
in general. Indeed, when a generation <b>isGeneratedBy(e2,pe,r2)</b>
@@ -175,14 +185,16 @@
</pre>
</p>
-<p>A further inference is permitted from the compact version,
+<p>A further inference is permitted from the compact version of derivation:
<div class='inference'>
-If <b>isDerivedFrom(e2,e1)</b> and <b>isGeneratedBy(e2,pe,r2)</b> hold for some <b>e1</b>, <b>e2</b>, <b>pe</b>, <b>r2</b> then there exists a role <b>r1</b>,
+Given a process execution <b>pe</b>, entities <b>e1</b> and <b>e2</b>, and role <b>r2</b>,
+if <b>isDerivedFrom(e2,e1)</b> and <b>isGeneratedBy(e2,pe,r2)</b> hold, then there exists a role <b>r1</b>,
such that <b>uses(pe,e1,r1)</b> also holds.
</div>
-This inference is justified by the fact that <b>e2</b> is generated by at most one process execution. Hence, this process executions is also the one that uses <b>e1</b>.
+This inference is justified by the fact that <b>e2</b> is generated by at most one process execution. Hence, this process execution is also the one that uses <b>e1</b>.
</p>
+<div class='note'>There is a suggestion by Simon that this notion of derivation is only meaningful in the context of an account. <a href="http://lists.w3.org/Archives/Public/public-prov-wg/2011Aug/0101.html">See email</a>.</div>
<p>We note that the "symmetric" inference, does not hold.
@@ -197,6 +209,44 @@
<section>
<h4>Process Execution Independent Derivation</h4>
<p>Introduce here <p>isDerivedFromInMultipleSteps</p> (To be renamed).
+
+
+
+
+<p>A process execution independent derivation states the existence of a derivation, by any means whether direct or not, and regardless of any process executions. </p>
+
+<p>A process execution independent derivation, written isEventuallyDerivedFrom (e2, e1)</b>
+<ul>
+<li> refers to an entity <b>e2</b>, denoting the used characterized thing;
+<li> refers to an entity <b>e1</b>, denoting the generated characterized thing;
+</ul>
+
+
+<p>If <b>e2</b> is derived from <b>e1</b>, then
+this means that the thing represented by <b>e1</b> has an influence on the thing represented by <b>e2</b>, which is captured by a dependency between their attribute values; it also implies temporal ordering. These are specified as follows:</p>
+
+<p>Given two entities <b>e1</b> and <b>e2</b>, if the assertion <b>isEventuallyDerivedFrom(e2,e1)</b>
+ holds, then:
+<ul>
+<li> the values of some attributes
+of <b>e2</b> are partly or fully determined by the values of some
+attributes of <b>e1</b>.</li>
+
+<li>that the use
+of characterized thing denoted by <b>e1</b> precedes the generation of
+the characterized thing denoted by <b>e2</b>.
+
+
+</li>
+
+</ul>
+
+<div class='note'>Does they hold too? SHould this be lifted up?</div>
+
+
+
+
+
</section>
<section>