--- a/model/ProvenanceModel.html Wed Nov 30 13:10:07 2011 +0000
+++ b/model/ProvenanceModel.html Wed Nov 30 14:20:06 2011 +0000
@@ -2651,11 +2651,12 @@
<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. This relation is transitive. </p>
-<p> A traceability record, written <span class="name">tracedTo(id,e2,e1)</span> in PROV-ASN:</p>
+<p> A traceability record, written <span class="name">tracedTo(id,e2,e1,attrs)</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>;
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
</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>
@@ -2670,6 +2671,9 @@
<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
<span class="nonterminal">eIdentifier</span>
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
+</span>
<span class="name">)</span>
</div>
@@ -2740,6 +2744,9 @@
<span class="nonterminal">aIdentifier</span>
<span class="name">,</span>
<span class="nonterminal">aIdentifier</span>
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
+</span>
<span class="name">)</span>
<br/>
@@ -2752,6 +2759,9 @@
<span class="nonterminal">aIdentifier</span>
<span class="name">,</span>
<span class="nonterminal">aIdentifier</span>
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
+</span>
<span class="name">)</span>
<br/>
</div>
@@ -2759,11 +2769,12 @@
<p>
An information flow ordering record, written as
-<span class="name">wasInformedBy(id,a2,a1)</span> in PROV-ASN, contains:
+<span class="name">wasInformedBy(id,a2,a1,attrs)</span> in PROV-ASN, contains:
<ul>
<li><em>id</em>: an OPTIONAL identifier <span class="name">id</span> identifying the record;</li>
<li><em>informed</em>: the identifier <span class="name">a2</span> of an activity record representing the informed activity;
-<li><em>informant</em>: the identifier <span class="name">a1</span> of an activity record representing the informant activity.
+<li><em>informant</em>: the identifier <span class="name">a1</span> of an activity record representing the informant activity;
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
</ul>
<p> An information flow ordering record is formally defined as follows.</p>
@@ -2810,7 +2821,8 @@
<ul>
<li><em>id</em>: an OPTIONAL identifier <span class="name">id</span>;</li>
<li><em>started</em>: refers to an activity record identified by <span class="name">a2</span>, representing the started activity;
-<li><em>starter</em>: refers to an activity record identified by <span class="name">a1</span>, representing the activity that started <span class="name">a1</span></li>
+<li><em>starter</em>: refers to an activity record identified by <span class="name">a1</span>, representing the activity that started <span class="name">a1</span>;</li>
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
</ul>
<p>Such a record states control ordering between <span class="name">a2</span> and <span class="name">a1</span>, specified as follows.</p>
@@ -2862,11 +2874,12 @@
<p> A <dfn id="dfn-Revision">revision record</dfn> is a representation of the creation of an entity considered to be a variant of another. Deciding whether something is made available as a revision of something else usually involves an agent who represents someone in the world who takes responsibility for approving that the former is a due variant of the latter. </p>
-<p> A revision record, written <span class="name">wasRevisionOf(e2,e1,ag)</span> in PROV-ASN, contains:</p>
+<p> A revision record, written <span class="name">wasRevisionOf(e2,e1,ag,attrs)</span> in PROV-ASN, contains:</p>
<ul>
<li><em>newer</em>: an identifier <span class="name">e2</span> identifying an entity that represents a newer version of an entity;
<li><em>older</em>: an identifier <span class="name">e1</span> identifying an entity that represents an older version of an entity;
-<li><em>responsibility</em>: an OPTIONAL identifier <span class="name">ag</span> for the agent who approved that <span class="name">e2</span> is a variant of <span class="name">e1</span>.
+<li><em>responsibility</em>: an OPTIONAL identifier <span class="name">ag</span> for the agent who approved that <span class="name">e2</span> is a variant of <span class="name">e1</span>;
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
</ul>
@@ -2882,6 +2895,9 @@
<span class="nonterminal">eIdentifier</span>
<span class="optional"><span class="name">,</span>
<span class="nonterminal">agIdentifier</span></span>
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
+</span>
<span class="name">)</span>
</div>
@@ -2889,7 +2905,7 @@
-<p>A revision record can only be asserted, since it needs to include a reference to an agent who represents someone in the real world who bears responsibility for declaring a variant of an entity. However, it needs to satisfy the following constraint, linking the two entity records by a derivation, and stating them to be a complement of a third entity record.</p>
+<p>A revision record needs to satisfy the following constraint, linking the two entity records by a derivation, and stating them to be a complement of a third entity record.</p>
<div class='constraint' id='wasRevision'>
Given two identifiers <span class="name">old</span> and <span class="name">new</span> identifying two entities, and an identifier <span class="name">ag</span> identifying an agent,
@@ -2934,24 +2950,30 @@
<p>An attribution record represents that an entity is ascribed to an agent and is compliant with the <span class="nonterminal">attributionRecord</span> production.</p>
+
+<p> An attribution record, written <span class="name"> wasAttributedTo(e,ag,attr)</span>, contains the following components:</p>
+<ul>
+<li><em>entity</em>: an identifier <span class="name">e</span> of an entity record;</li>
+<li><em>agent</em>: an identifier <span class="name">ag</span> of an agent whom the entity is attributed to;</li>
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
+</ul>
+<p>Attribution models the notion of an activity generating an entity identified by <span class="name">e</span> being controlled by an agent <span class="name">ag</span>, which takes responsibility for generating <span class="name">e</span>. Formally, this is expressed as the following necessary condition.</p>
+
+<p>In PROV-ASN, an attribution record's text matches the <span class="nonterminal">attributionRecord</span> production of the grammar.</p>
+
<div class='grammar'>
<span class="nonterminal">attributionRecord</span> ::=
<span class="name">wasAttributedTo</span>
<span class="name">(</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">agIdentifier</span>
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
+</span>
<span class="name">)</span>
</div>
-<p> An attribution record, written <span class="name"> wasAttributedTo(e,ag)</span>:</p>
-<ul>
-<li>contains an identifer <span class="name">e</span>, identifying an entity record;
-<li>contains an identifer <span class="name">ag</span>, identifying the agent whom the entity is attributed to.
-</ul>
-<p>Attribution models the notion of an activity generating an entity identified by <span class="name">e</span> being controlled by an agent <span class="name">ag</span>, which takes responsibility for generating <span class="name">e</span>. Formally, this is expressed as the following necessary condition.</p>
-
-
<div class='constraint' id='attribution-implication'>
<span class='conditional'>If</span>
<span class="name">wasAttributedTo(e,ag)</span> holds for some identifiers
@@ -2974,28 +2996,37 @@
<p> A quotation record is a representation of the repeating or copying of some part of an entity, compatible with
the <span class="nonterminal">quotationRecord</span> production.</p>
+
+<p> A quotation record, written <span class="name"> wasQuotedFrom(e2,e1,ag2,ag1,attrs)</span>, contains:</p>
+<ul>
+<li><em>quote</em>: an identifier <span class="name">e2</span>, identifying an entity record that represents the quote;
+<li><em>quoted</em>: an identifier <span class="name">e1</span>, identifying an entity record representing what is being quoted;
+<li><em>quoterAgent</em>: an OPTIONAL identifier <span class="name">ag2</span> of the agent who is doing the quoting;
+<li><em>quotedAgent</em>: an OPTIONAL identifier <span class="name">ag1</span> of the agent that is quoted;
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
+
+</ul>
+
+<p>In PROV-ASN, a quotation record's text matches the <span class="nonterminal">quotationRecord</span> production of the grammar.</p>
+
<div class='grammar'>
<span class="nonterminal">quotationRecord</span> ::=
<span class="name">wasQuotedFrom</span>
<span class="name">(</span>
-<span class="nonterminal">identifier</span>
-<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
<span class="name">,</span>
-<span class="nonterminal">identifier</span>
-<span class="name">)</span>
+<span class="nonterminal">agIdentifier</span>
+<span class="name">,</span>
+<span class="nonterminal">agIdentifier</span>
+<span class="name">
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
+</span>)</span>
</div>
-<p> A quotation record, written <span class="name"> wasQuotedFrom(e2,e1,ag2,ag1)</span>:</p>
-<ul>
-<li>contains an identifier <span class="name">e2</span>, identifying an entity record that represents the quote;
-<li>contains an identifier <span class="name">e1</span>, identifying an entity record representing what is being quoted;
-<li>MAY refer to an agent who is doing the quoting, identified by <span class="name">ag2</span>;
-<li>MAY refer to the agent that is quoted, identified by <span class="name">ag1</span>.
-</ul>
<div class='constraint' id='quotation-implication'>
<span class='conditional'>If</span>
@@ -3014,9 +3045,20 @@
<section>
<h3>Summary Record</h3>
-<p>A summary record represents that an entity is a synopsis or abbreviation of another entity. A summary record is compliant with the
+<p>A <dfn>summary record</dfn> represents that an entity is a synopsis or abbreviation of another entity. A summary record is compliant with the
<span class="nonterminal">summaryRecord</span> production.</p>
+
+
+<p> An assertion wasSummaryOf, written <span class="name"> wasSummaryOf(e2,e1,attrs)</span>, contains:</p>
+<ul>
+<li><em>summarizedEntity</em>: an identifier <span class="name">e2</span> for the entity record that represents the summary;
+<li><em>fullEntity</em>: an identifier <span class="name">e1</span> for the entity record that represents what is being summarized;
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
+</ul>
+
+<p>In PROV-ASN, a summary record's text matches the <span class="nonterminal">summaryRecord</span> production of the grammar.</p>
+
<div class='grammar'>
<span class="nonterminal">summaryRecord</span> ::=
<span class="name">wasSummaryOf</span>
@@ -3024,16 +3066,12 @@
<span class="nonterminal">identifier</span>
<span class="name">,</span>
<span class="nonterminal">identifier</span>
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
+</span>
<span class="name">)</span>
</div>
-
-<p> An assertion wasSummaryOf, written <span class="name"> wasSummaryOf(e2,e1)</span>:</p>
-<ul>
-<li>contains an identifier <span class="name">e2</span> identifying the entity record that represents the summary;
-<li>contains an identifier <span class="name">e1</span> identifying the entity record that represents what is being summarized.
-</ul>
-
<p>
<span class="name">wasSummaryOf</span> is a strict sub-relation of <span class="name">wasDerivedFrom</span>.
</p>
@@ -3044,11 +3082,25 @@
<section>
<h3>Original Source Record</h3>
-<p>An original-source record represents an entity in
+<p>An <dfn>original source record</dfn> represents an entity in
which another entity first appeared. A original-source
record is compliant with the
<span class="nonterminal">originalSourceRecord</span> production.</p>
+
+<p> An assertion hadOriginalSource, written <span class="name"> hadOriginalSource(e2,e1)</span>, contains:</p>
+<ul>
+<li><em>entity</em>: an identifier <span class="name">e1</span> for the entity record representing the original entity; </li>
+<li><em>source</em>: an identifier <span class="name">e2</span> for an entity record, representing an entity that had appeared previously;</li>
+<li><em>attributes</em>: an OPTIONAL set <span class="name">attrs</span> of attribute-value pairs to further describe this record.</li>
+</ul>
+
+<p>
+ <span class="name">hasOriginalSource</span> is a strict sub-relation of <span class="name">wasDerivedFrom</span>.
+</p>
+
+<p>In PROV-ASN, an original source record's text matches the <span class="nonterminal">originalSourceRecord</span> production of the grammar.</p>
+
<div class='grammar'>
<span class="nonterminal">originalSourceRecord</span> ::=
<span class="name">hadOriginalSource</span>
@@ -3056,20 +3108,12 @@
<span class="nonterminal">identifier</span>
<span class="name">,</span>
<span class="nonterminal">identifier</span>
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">attribute-values</span>
+</span>
<span class="name">)</span>
</div>
-<p> An assertion hadOriginalSource, written <span class="name"> hadOriginalSource(e2,e1)</span>:</p>
-<ul>
-<li>contains an identifier <span class="name">e1</span> identifying the entity record representing the original entity;
-<li>contains an identifier <span class="name">e2</span> identifying an entity record, representing an entity that had appeared previously.
-</ul>
-
-<p>
- <span class="name">hasOriginalSource</span> is a strict sub-relation of <span class="name">wasDerivedFrom</span>
-</p>
-
-
</section>
</section>