--- a/reports/prov-implementations.html Mon Nov 19 12:58:00 2012 +0000
+++ b/reports/prov-implementations.html Mon Nov 19 12:58:42 2012 +0000
@@ -2,29 +2,12 @@
<html><head>
<title>PROV Implementation Report</title>
- <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script>
+ <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script>
+ <script src="../model/provbib.js" class="remove"></script>
<script class="remove">
- var addExtraReferences = function() {
- for (var k in extraReferences)
- berjon.biblio[k] = extraReferences[k];
- };
- var extraReferences = {
- "PROV-DM":
- "Luc Moreau, Paolo Missier"+
- "<a href=\"http://www.w3.org/TR/prov-dm/\"><cite>The PROV Data Model and Abstract Syntax Notation</cite></a>. "+
- "2012, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-dm/\">http://www.w3.org/TR/prov-dm/</a>",
-
- "PROV-CONSTRAINTS":
- "James Cheney, Paolo Missier, and Luc Moreau (eds.) "+
- "<a href=\"http://www.w3.org/TR/prov-constraints/\"><cite>Constraints of the PROV Data Model</cite></a>. "+
- "2012, Working Draft. "+
- "URL: <a href=\"http://www.w3.org/TR/prov-constraints/\">http://www.w3.org/TR/prov-constraints/</a>",
-
- };
var respecConfig = {
// specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
- specStatus: "ED",
+ specStatus: "NOTE",
// the specification's short name, as in http://www.w3.org/TR/short-name/
shortName: "prov-implementations",
@@ -87,8 +70,8 @@
// Team Contact.
wgPatentURI: "http://www.w3.org/2004/01/pp-impl/46974/status",
- // Add extraReferences to bibliography database
- preProcess: [addExtraReferences],
+ // Add PROV references to bibliography database
+ preProcess: [addProvReferences],
};
</script>
<link href="reports.css" rel="stylesheet" type="text/css">
@@ -125,25 +108,29 @@
<tr>
<th scope="row">ProvPy</th>
<td>Framework / API</td>
- <td>PROV-N, PROV-JSON</td>
+ <td>PROV-N, Other</td>
<td><a href="https://github.com/trungdong/w3-prov">https://github.com/trungdong/w3-prov</a></td>
- <td> </td>
+ <td>Other encodings supported: PROV-JSON</td>
</tr>
<tr>
<th scope="row">ProvToolbox</th>
<td>Application</td>
- <td>PROV-N, PROV-RDF, PROV-XML, PROV-JSON</td>
+ <td>PROV-N, PROV-RDF, PROV-XML, Other</td>
<td><a href="https://github.com/lucmoreau/ProvToolbox">https://github.com/lucmoreau/ProvToolbox</a></td>
- <td> </td>
+ <td>Other encodings supported: PROV-JSON</td>
</tr>
</table>
</section>
<section id="prov-terms">
- <h2>PROV Language Implementation</h2>
+ <h2>PROV Language Implementation</h2>
+ <p>This section enumerates the PROV-DM terms [[PROV-DM]] that are consumed (<img src="consume.png" width="27" height="16" alt="Consume Icon" />),
+ produced (<img src="produce.png" width="27" height="16" alt="Produce Icon" />),
+ or both consumed and produced (<img src="conprod.png" width="27" height="16" alt="Consume and Produce Icon" />)
+ by a particular implementation.</p>
<table class="feature-table">
- <caption id="prov-terms-table">Table 2: Coverage of PROV-DM [[PROV-DM]] terms in implementations of type Application, Framework / API, or Service.</caption>
+ <caption id="prov-terms-table">Table 2: Coverage of PROV-DM terms in implementations of type Application, Framework / API, or Service.</caption>
<tr>
<th scope="col">PROV Component</th>
<th scope="col">Term</th>
--- a/testcases/constraints/process.html Mon Nov 19 12:58:00 2012 +0000
+++ b/testcases/constraints/process.html Mon Nov 19 12:58:42 2012 +0000
@@ -7,50 +7,13 @@
<title>PROV-CONSTRAINTS Test Cases</title>
<script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script>
-
- <script class="remove">
-
- var addExtraReferences = function() {
-
- for (var k in extraReferences)
-
- berjon.biblio[k] = extraReferences[k];
-
- };
-
- var extraReferences = {
-
- "PROV-DM":
-
- "Luc Moreau, Paolo Missier"+
-
- "<a href=\"http://www.w3.org/TR/prov-dm/\"><cite>The PROV Data Model and Abstract Syntax Notation</cite></a>. "+
-
- "2012, Working Draft. "+
-
- "URL: <a href=\"http://www.w3.org/TR/prov-dm/\">http://www.w3.org/TR/prov-dm/</a>",
-
-
-
- "PROV-CONSTRAINTS":
-
- "James Cheney, Paolo Missier, and Luc Moreau (eds.) "+
-
- "<a href=\"http://www.w3.org/TR/prov-constraints/\"><cite>Constraints of the PROV Data Model</cite></a>. "+
-
- "2012, Working Draft. "+
-
- "URL: <a href=\"http://www.w3.org/TR/prov-constraints/\">http://www.w3.org/TR/prov-constraints/</a>",
-
-
-
- };
-
+ <script src="../../model/provbib.js" class="remove"></script>
+ <script type="text/javascript" >
var respecConfig = {
// specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
- specStatus: "ED",
+ specStatus: "NOTE",
@@ -178,7 +141,7 @@
// Add extraReferences to bibliography database
- preProcess: [addExtraReferences],
+ preProcess: [addProvReferences],
};
@@ -209,12 +172,15 @@
<h3>Test cases</h3>
<p>The test cases will be made available online at: <URI><br />
+ Every test case has an identifier, e.g. <strong>association2-c24-c55-FAIL-c52</strong>.
+ In order to facilitate the testing process, we include the numberings of the constraints covered by
+ each test case its identifier, e.g. <b>c24</b>, <b>c55</b>, and <b>c52</b>. In addition, the identifier
+ also indicates whether the test case should be successfully validated (i.e. <b>PASS</b>) or not (i.e. <b>FAIL</b>).
+ In case of the latter, the constraint numberings that follow <b>FAIL</b> are those of the constraints we expect to
+ cause the test case to fail validation.
+</p>
- Every test case has an identifier, e.g. <strong>entity10-c23-c56-c57</strong>.
- The numberings of the constraints covered by a test case are included with its identifier, e.g. c23, c56, and c57.
- The provenance document for each test case will be provided in the following representations:</p>
-
-
+<p>The provenance document for each test case will be provided in the following representations:</p>
<table border="1" cellspacing="0" cellpadding="0" width="623">
@@ -236,7 +202,7 @@
<td><p><strong>PROV-XML</strong></p></td>
- <td><p>.xml</p></td>
+ <td><p>.provx</p></td>
<td><p><a href="http://dvcs.w3.org/hg/prov/raw-file/default/xml/prov-xml.html">http://dvcs.w3.org/hg/prov/raw-file/default/xml/prov-xml.html</a></p></td>
@@ -276,9 +242,9 @@
-<p>For example, the files <strong>entity10-c23-c56-c57.xml</strong>, <strong>entity10-c23-c56-c57.trig</strong>,
-<strong>entity10-c23-c56-c57.json</strong>, and <strong>entity10-c23-c56-c57.provn</strong> for the test case
-<strong>entity10-c23-c56-c57</strong> can be found at <URI>.</p>
+<p>For example, the available files for the test case <strong>association2-c24-c55-FAIL-c52</strong> are: <strong>association2-c24-c55-FAIL-c52.xml</strong>,
+<strong>association2-c24-c55-FAIL-c52.trig</strong>, <strong>association2-c24-c55-FAIL-c52.json</strong>, and <strong>association2-c24-c55-FAIL-c52.provn</strong>.
+They can all be found at <URI>.</p>
@@ -322,7 +288,7 @@
-<p>All test cases need to be checked for the constraints they cover and their expected validation results (i.e. Success or Fail).</p>
+<p>All test cases need to be checked for the constraints they cover and their expected validation results (i.e. Pass or Fail).</p>
@@ -347,14 +313,14 @@
<tr>
- <td><b>activity1-c23-c56-c57</b></p></td>
+ <td><b>activity1-PASS-c23-c56-c57</b></p></td>
<td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
<a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
<a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)</a>
</td>
- <td>Success</p></td>
+ <td>Pass</p></td>
<td> </td>
@@ -362,14 +328,14 @@
<tr>
- <td><b>activity2-c23-c56-c57</b></p></td>
+ <td><b>activity2-PASS-c23-c56-c57</b></p></td>
<td><a href="http://www.w3.org/TR/prov-constraints/#key-object_text">Constraint 23 (key-object)</a> <br />
<a href="http://www.w3.org/TR/prov-constraints/#impossible-object-property-overlap_text">Constraint 56 (impossible-object-property-overlap)</a><br />
<a href="http://www.w3.org/TR/prov-constraints/#entity-activity-disjoint_text">Constraint 57 (entity-activity-disjoint)</a>
</td>
- <td>Success</p></td>
+ <td>Pass</p></td>
<td> </td>
@@ -377,7 +343,7 @@
<tr>
- <td><b>association1-c24-c52</b></p></td>
+ <td><b>association1-c24-FAIL-c52</b></p></td>
<td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
<a href="http://www.w3.org/TR/prov-constraints/#typing_text"><b>Constraint 52 (typing)</b></a>
@@ -391,7 +357,7 @@
<tr>
- <td><b>association2-c24-c52</b></p></td>
+ <td><b>association2-c24-c55-FAIL-c52</b></p></td>
<td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
<a href="http://www.w3.org/TR/prov-constraints/#typing_text"><b>Constraint 52 (typing)</b></a>
@@ -405,7 +371,7 @@
<tr>
- <td><b>delegation1-c24-c52-c55</b></p></td>
+ <td><b>delegation1-c24-c55-FAIL-c52</b></p></td>
<td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
<a href="http://www.w3.org/TR/prov-constraints/#typing_text"><b>Constraint 52 (typing)</b></a><br />
@@ -420,7 +386,7 @@
<tr>
- <td><b>delegation2-c24-c52-c55</b></p></td>
+ <td><b>delegation2-c24-c55-FAIL-c52</b></p></td>
<td><a href="http://www.w3.org/TR/prov-constraints/#key-properties_text">Constraint 24 (key-properties)</a><br />
<a href="http://www.w3.org/TR/prov-constraints/#typing_text"><b>Constraint 52 (typing)</b></a><br />