--- a/model/ProvenanceModel.html Fri Nov 18 09:28:46 2011 +0000
+++ b/model/ProvenanceModel.html Fri Nov 18 11:32:55 2011 +0000
@@ -2394,11 +2394,26 @@
Define a transitive closure of derivation, wascomplementof, wasAssociatedWith, etc.
</div>
+<p> A <dfn id="dfn-Traceability">traceability record</dfn> states the existence of a "dependency path" between two entities, indicating that one entity can be shown to be in the lineage of another, and may have influenced it in some way. </p>
+
+<p>A treaceability record can be inferred from existing relations, or can be asserted stating that such a dependency path exists without the asserter knowing its individual steps. </p>
+
+<p> A traceability record, written <span class="name">tracedTo(id,e2,e1)</span> in PROV-ASN:</p>
+<ul>
+<li><em>id</em>: an OPTIONAL identifier <span class="name">id</span> identifying the traceability record;</li>
+<li><em>entity</em>: an identifier <span class="name">e2</span> identifying an entity;
+<li><em>ancestor</em>: an identifier <span class="name">e1</span> identifying an ancestor entity in the lineage of <span class="name">e2</span>;
+</ul>
+
+<p>In PROV-ASN, a traceability record's text matches the <span class="nonterminal">traceabilityRecord</span> production of the grammar defined in this specification document.</p>
+
<div class='grammar'>
<span class="nonterminal">traceabilityRecord</span> :=
<span class="name">tracedTo</span>
<span class="name">(</span>
+[<span class="nonterminal">identifier</span>
+<span class="name">,</span>]
<span class="nonterminal">identifier</span>
<span class="name">,</span>
<span class="nonterminal">identifier</span>