--- a/model/ProvenanceModel.html Mon Dec 05 11:30:26 2011 +0000
+++ b/model/ProvenanceModel.html Mon Dec 05 11:41:53 2011 +0000
@@ -1411,8 +1411,8 @@
In the following example, a programmer and a researcher agents are asserted to be associated with an activity.
<pre class="codeexample">
activity(a,[prov:type="workflow"])
-agent(ag1,[prov:type="programmer"]
-agent(ag2,[prov:type="researcher"]
+agent(ag1,[prov:type="programmer"])
+agent(ag2,[prov:type="researcher"])
wasAssociatedWith(a,ag1,[prov:role="loggedInUser", ex:how="webapp"])
wasAssociatedWith(a,ag2,[prov:role="designer", ex:context="phd"])
</pre>
@@ -2233,13 +2233,12 @@
<p>
-<p>A record container, written <span class="name">recordContainer(decls, ids, exprs)</span> in PROV-ASN, contains:
+<p>A record container, written <span class="name">container decls recs endContainer</span> in PROV-ASN, contains:
<ul>
-<li><em>namespaceDeclarations</em>: contains a set of namespace declarations <span class="name">decls</span>, declaring namespaces and associated prefixes, which can be used in attributes (conformant to production <span class="nonterminal">attribute</span>) and in names (conformant to production <span class="nonterminal">name</span>) in <span class="name">exprs</span>;</li>
-<li><em>accounts</em>: a set of identifiers <span class="name">ids</span> for all accounts occurring (at any nesting level) in <span class="name">exprs</span>;</li>
-<li><em>records</em>: a non-empty set of records <span class="name">exprs</span>.</li>
+<li><em>namespaceDeclarations</em>: a set <span class="name">decls</span> of namespace declarations, declaring namespaces and associated prefixes, which can be used in <a title="attribute">attributes</a> and <a title="identifier">identifiers</a> occurring inside <span class="name">recs</span>;</li>
+<li><em>records</em>: a non-empty set of records <span class="name">recs</span>.</li>
</ul>
-<p>All the records in <span class="name">exprs</span> are implictly wrapped in a default account, scoping all the record identifiers they declare directly, and constituting a toplevel account, in the hierarchy of accounts. Consequently, every provenance record is always expressed in the context of an account, either explicitly in an asserted account, or implicitly in a container's default account.</p>
+<p>All the records in <span class="name">recs</span> are implictly wrapped in a default account, scoping all the record identifiers they declare directly, and constituting a toplevel account, in the hierarchy of accounts. Consequently, every provenance record is always expressed in the context of an account, either explicitly in an asserted account, or implicitly in a container's default account.</p>
<p>In PROV-ASN, a record container's text matches the <span class="nonterminal">recordContainer</span> production of the grammar defined in this specification document.</p>
@@ -2247,13 +2246,9 @@
<div class='grammar'>
<span class="nonterminal">recordContainer</span> ::=
<span class="name">container</span>
-<span class="name">(</span>
<span class="nonterminal">namespaceDeclarations</span>
-<span class="name">,</span>
-<span class="star"> <span class="nonterminal">accIdentifier</span> </span>
-<span class="name">,</span>
<span class="plus"> <span class="nonterminal">record</span> </span>
-<span class="name">)</span>
+<span class="name">endContainer</span>
</div>
@@ -2261,10 +2256,12 @@
<p>
The following container </p>
<pre class="codeexample">
-container(ex: http://example.org/,
- ex:acc1 ex:acc2,
- account(ex:acc1,http://example.org/asserter1,...)
- account(ex:acc2,http://example.org/asserter1,...))
+container
+ prefix ex: http://example.org/,
+
+ account(ex:acc1,http://example.org/asserter1,...)
+ account(ex:acc2,http://example.org/asserter1,...)
+endContainer
</pre>
<p> illustrates how two accounts with identifiers <span class="name">ex:acc1</span> and <span class="name">ex:acc2</span> can be returned in a PROV-ASN serialization of the provenance of something.
</p>
@@ -3243,6 +3240,7 @@
<section class="appendix">
<h2>Changes Since First Public Working Draft</h2>
<ul>
+<li>12/05/11: Changed syntax of recordContainer to be more user friendly, and removed list of account ids, since redundant. </li>
<li>12/05/11: Simplified Typed literals, now allows for intLiteral, and datatype adjusted to be qualified name. </li>
<li>11/29/11: Introduced typed identifiers to make grammar clearer. </li>
<li>11/29/11: Added section 2.4 on grammar notation. </li>