--- a/model/ProvenanceModel.html Wed Sep 07 17:45:09 2011 +0100
+++ b/model/ProvenanceModel.html Wed Sep 07 20:02:29 2011 +0100
@@ -556,14 +556,15 @@
|<span class="nonterminal">participation</span> <br/>
<!-- -->
<span class="nonterminal">bundle</span> :=
-<span class="nonterminal">container</span>
+<span class="nonterminal">provenanceContainer</span>
|<span class="nonterminal">account</span>
</div>
</section>
<section id="expression-node">
<h3>Node</h3>
-
+<div class='note'>What name to choose for this category of expressions, it's too graph-oriented.</div>
+
<section id="expression-Entity">
<h4>Entity</h4>
@@ -1523,6 +1524,26 @@
<section id="expression-bundle">
<h3>Bundle</h3>
+A bundle expression is a grouping construct allowing a set of
+expressions to be grouped together. The reason for grouping
+assertertions is, e.g., to attribute them to their asserter, to
+provide some scope to their identifiers, to sign them.
+
+
+
+In the Provenance Abstract Syntax Notation, a bundle expression
+matches the <span class="nonterminal">bundle</span> production of the
+grammar defined in this specification document; it can be
+a <span class="nonterminal">provenanceContainer</span> or
+an <span class="nonterminal">account</span>, introduced in turn.
+
+<div class='grammar'>
+<span class="nonterminal">bundle</span> :=
+<span class="nonterminal">provenanceContainer</span> | <span class="nonterminal">account</span>
+</div>
+
+
+
<section id="expression-ProvenanceContainer">
<h4>Provenance Container</h4>
@@ -1532,6 +1553,8 @@
<span class="nonterminal">provenanceContainer</span> :=
<span class="name">provenanceContainer</span>
<span class="name">(</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
{<span class="nonterminal">expression</span> }
<span class="name">)</span>
</div>
@@ -1564,7 +1587,11 @@
<span class="nonterminal">account</span> :=
<span class="name">account</span>
<span class="name">(</span>
-<span class="nonterminal">bundle</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+{<span class="nonterminal">expression</span> }
<span class="name">)</span>
</div>