--- a/model/working-copy/towards-wd4.html Wed Feb 08 13:48:29 2012 +0000
+++ b/model/working-copy/towards-wd4.html Wed Feb 08 16:47:16 2012 +0000
@@ -504,20 +504,67 @@
In this section, we show the kind of provenance records the <a href="http://www.w3.org/Consortium">WWW Consortium</a> could keep for auditors to check that due processes are followed. All entities involved in this example are Web resources, with well defined URIs (some of which locating archived email messages, available to W3C Members).</p>
<ul>
-<li> Two versions of the technical report are involved: <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">WD-prov-dm-20111215</a></span> (second working draft) and <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">WD-prov-dm-20111018</a></span></span> (first working draft).</li>
-<li> Both <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">WD-prov-dm-20111215</a></span> and <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">WD-prov-dm-20111018</a></span></span> were published by the WWW Consortium agent (<span class="name"><a href="http://www.w3.org/Consortium">w3:Consortium</a></span>) </li>
-<li> The publication activity for <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">WD-prov-dm-20111215</a></span> is <span class="name">ex:pub2</span></li>
-<li> The publication activity for <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">WD-prov-dm-20111018</a></span></span> is <span class="name">ex:pub1</span>
+<li> Two versions of the technical report are involved: <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">tr:WD-prov-dm-20111215</a></span> (second working draft) and <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">tr:WD-prov-dm-20111018</a></span></span> (first working draft).</li>
+<li> Both <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">tr:WD-prov-dm-20111215</a></span> and <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">tr:WD-prov-dm-20111018</a></span></span> were published by the WWW Consortium agent (<span class="name"><a href="http://www.w3.org/Consortium">w3:Consortium</a></span>) </li>
+<li> The publication activity for <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">tr:WD-prov-dm-20111215</a></span> is <span class="name">ex:pub2</span></li>
+<li> The publication activity for <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">tr:WD-prov-dm-20111018</a></span></span> is <span class="name">ex:pub1</span>
</li>
-<li> <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">WD-prov-dm-20111215</a></span> is derived from <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">WD-prov-dm-20111018</a></span></span>;</li>
+<li> The report <span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111215">tr:WD-prov-dm-20111215</a></span> is derived from <span class="name"><span class="name"><a href="http://www.w3.org/TR/2011/WD-prov-dm-20111018">tr:WD-prov-dm-20111018</a></span></span>;</li>
-<li> The publication activity <span class="name">ex:pub1</span> used a publication request (<span class="name"><a href="https://lists.w3.org/Archives/Member/w3c-archive/2011Oct/0141">0141</a></span>) and a transition request (<span class="name"><a href="https://lists.w3.org/Archives/Member/chairs/2011OctDec/0004">0004</a></span>);</li>
-<li> The publication activity <span class="name">ex:pub1</span> used a publication request (<span class="name"><a href="https://lists.w3.org/Archives/Member/w3c-archive/2011Dec/0111">0111</a></span>)</li>
-<li> Publications were according to the process rules, i.e. a plan in PROV-DM terminology (<span class="name"><a href="http://www.w3.org/2005/10/Process-20051014/tr.html#rec-advance">pr:rec-advance</a></span>).</li>
+<li> The publication activity <span class="name">ex:pub1</span> used a <a href="http://www.w3.org/2005/08/01-transitions.html#pubreq">publication request</a> (<span class="name"><a href="https://lists.w3.org/Archives/Member/w3c-archive/2011Oct/0141">ar2:0141</a></span>) and a <a href="http://www.w3.org/2005/08/01-transitions.html#transreq">transition request</a> (<span class="name"><a href="https://lists.w3.org/Archives/Member/chairs/2011OctDec/0004">ar1:0004</a></span>);</li>
+<li> The publication activity <span class="name">ex:pub1</span> used a <a href="http://www.w3.org/2005/08/01-transitions.html#pubreq">publication request</a> (<span class="name"><a href="https://lists.w3.org/Archives/Member/w3c-archive/2011Dec/0111">ar3:0111</a></span>)</li>
+<li> Technical reports were published according to the process rules (<span class="name"><a href="http://www.w3.org/2005/10/Process-20051014/tr.html#rec-advance">pr:rec-advance</a></span>), a plan in PROV-DM terminology.</li>
+</ul>
+<p>
+We now paraphrase some PROV-DM asssertions, and illustrate them with the PROV-ASN notation, a notation for PROV-DM aimed at human consumption. Full details of the provenance record can be found <a href="examples/w3c-publication1.prov-asn">here</a>.
+
+<ul>
+<li>There is a technical report, a working draft on the recommendation track (<a href="http://www.w3.org/2005/10/Process-20051014/tr.html#RecsWD">pr:RecsWD</a>), which is regarded as an entity so that we can describe its provenance. Similar assertions exist for all entities.
+<pre>
+entity(tr:WD-prov-dm-20111215, [ prov:type="pr:RecsWD" %% xsd:QName ])
+</pre>
+</li>
+<li>There is a publication activity.
+<pre>
+activity(ex:pub2,,,[prov:type="publish"])
+</pre>
+</li>
+
+<li>The technical report was generated by the publication activity: this is a Generation assertion.
+<pre>
+wasGeneratedBy(tr:WD-prov-dm-20111215, ex:pub2)
+</pre>
+</li>
+
+<li>The activity required a publication request: this is a Usage assertion.
+<pre>
+used(ex:pub2,ar3:0111)
+</pre>
+</li>
+
+<li>The activity was associated with the Consortium agent, and proceeded according to the publication policy
+<pre>
+wasAssociatedWith(ex:pub2, w3:Consortium @ pr:rec-advance)
+</pre>
+</li>
</ul>
+<p>
+Provenance assertions can be <em>illustrated</em> graphically. The illustration is not intended to represent all the details of the model, but it is intended to show the essence of a set of
+provenance statements. Therefore, it should not be seen as an alternate notation for expressing provenance.</p>
+
+<p>The graphical illustration takes the form of a graph. Entities, activities and agents are represented as nodes, with oval, rectangular, and octogonal shapes, respectively. Usage,
+Generation, Derivation, and Activity Association are represented as directed edges.</p>
+
+<p>Entities are layed out according to the ordering of their generation event. We endeavor to show time progressing from top to bottom This means that edges for Usage, Generation and
+Derivation typically point bottom-up.</p>
+</p>
+
+
+
+
<div style="text-align: center;">
<figure>
@@ -526,7 +573,11 @@
</figure>
</div>
+<p> This simple example has shown a variety of PROV-DM constructs, such as Entity, Agent, Activity, Usage, Generation, Derivation, and ActivityAssociation. In this example, it happens that all entities were already Web resources, with readily available URIs, which we used. We note that some of the resources are public, whereas others have restricted access: provenance statements only make use of their identifiers. When identifiers do not pre-exist, e.g. for activities, then they can be minted, for instance <span class="name">ex:pub2</span>, occuring in the namespace identified by prefix <span class="name">ex</span>.</p>
+<div class='note'>
+Illustration to be hand crafted instead of being generated automatically. It's important to adopt a common style for all illustrations across all PROV documents.
+</div>
</section>
<section id="section-example-b">
<h3>The Authors View</h3>