prov: changeset 116:d1ef544c659b

--- a/model/ProvenanceModel.html	Thu Aug 04 23:18:43 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Aug 04 23:22:33 2011 +0100
@@ -1091,7 +1091,7 @@
 <li>For use, generation, and derivation event, the first argument is the 'effect' (i.e. most recent item) and the second argument is the 'cause' (i.e. least recent item). This order is compatible with the temporal layout of the graphical notation.
 </li>
 <li> BNF grammar for the Provenance Abstract Syntax Notation,
-<div data-include='grammar.txt'></div> 
+<div data-include='grammar.html'></div> 
 </li>
 </ul>
 </section>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/grammar.html	Thu Aug 04 23:22:33 2011 +0100
@@ -0,0 +1,17 @@
+&lt;construct&gt; :==  &lt;name&gt; '(' &lt;argument+&gt; ')' 
+&lt;argument+&gt; ::=  &lt;argument&gt;  | &lt;argument&gt; ',' &lt;argument+&gt;
+&lt;argument&gt;  ::=  &lt;identifier&gt;
+                | &lt;role&gt;
+                | &lt;time&gt;
+                | &lt;properties&gt;
+
+&lt;properties&gt; ::= [ &lt;attribute-value*&gt; ]
+&lt;attribute-value*&gt; ::=   | &lt;attribute-value&gt; ',' &lt;attribute-value*&gt;
+&lt;attribute-value&gt; ::= &lt;attribute&gt; ':' &lt;value&gt;
+
+&lt;value&gt; ::= &lt;string&gt; | &lt;number&gt; | &lt;time&gt;
+
+
+&lt;role&gt;        ::= token
+&lt;identifier&gt;  ::= token
+&lt;attribute&gt;  ::= token

author	Luc Moreau <l.moreau@ecs.soton.ac.uk>
	Thu, 04 Aug 2011 23:22:33 +0100
changeset 116	d1ef544c659b
parent 115	fc687fe93ce0
child 117	f2c99327bf7c

model/ProvenanceModel.html
model/grammar.html