added class pnExpression for provenance notation expressions
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Wed, 07 Mar 2012 17:27:11 +0000
changeset 1798 70741716f9c0
parent 1797 5b4187ee9c86
child 1799 376f1ca4c2d7
added class pnExpression for provenance notation expressions
model/working-copy/wd5-prov-dm-derivation.html
--- a/model/working-copy/wd5-prov-dm-derivation.html	Wed Mar 07 17:24:10 2012 +0000
+++ b/model/working-copy/wd5-prov-dm-derivation.html	Wed Mar 07 17:27:11 2012 +0000
@@ -47,63 +47,63 @@
       var extraReferences = {
         "CLOCK":
          "Lamport, L. "+
-         "<a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
+         "<a href="\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\""><cite>Time, clocks, and the ordering of events in a distributed system</cite></a>."+
          "Communications of the ACM 21 (7): 558–565. 1978. "+
-         "URL: <a href=\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
+         "URL: <a href="\"http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf\"">http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf</a> " +
          "DOI: doi:10.1145/359545.359563.",
         "CSP":
          "Hoare, C. A. R. "+
-         "<a href=\"http://www.usingcsp.com/cspbook.pdf\"><cite>Communicating Sequential Processes</cite></a>."+
+         "<a href="\"http://www.usingcsp.com/cspbook.pdf\""><cite>Communicating Sequential Processes</cite></a>."+
          "Prentice-Hall. 1985"+
-         "URL: <a href=\"http://www.usingcsp.com/cspbook.pdf\">http://www.usingcsp.com/cspbook.pdf</a>",
+         "URL: <a href="\"http://www.usingcsp.com/cspbook.pdf\"">http://www.usingcsp.com/cspbook.pdf</a>",
         "Logic":
           "W. E. Johnson"+
-          "<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
+          "<a href="\"http://www.ditext.com/johnson/intro-3.html\""><cite>Logic: Part III</cite></a>."+
           "1924. "+
-          "URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",
+          "URL: <a href="\"http://www.ditext.com/johnson/intro-3.html\"">http://www.ditext.com/johnson/intro-3.html</a>",
         "PROV-SEM":
           "James Cheney "+
-          "<a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"><cite>Formal Semantics Strawman</cite></a>. "+
+          "<a href="\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\""><cite>Formal Semantics Strawman</cite></a>. "+
           "2011, Work in progress. "+
-          "URL: <a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>",
+          "URL: <a href="\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"">http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman</a>",
 
         "PROV-PRIMER":
           "Yolanda Gil and Simon Miles (eds.) Khalid Belhajjame, Helena Deus, Daniel Garijo, Graham Klyne, Paolo Missier, Stian Soiland-Reyes, and Stephan Zednik "+
-          "<a href=\"http://www.w3.org/TR/prov-primer/\"><cite>Prov Model Primer</cite></a>. "+
+          "<a href="\"http://www.w3.org/TR/prov-primer/\""><cite>Prov Model Primer</cite></a>. "+
           "2011, Working Draft. "+
-          "URL: <a href=\"http://www.w3.org/TR/prov-primer/\">http://www.w3.org/TR/prov-primer/</a>",
+          "URL: <a href="\"http://www.w3.org/TR/prov-primer/\"">http://www.w3.org/TR/prov-primer/</a>",
 
         "PROV-O":
           "Satya Sahoo and Deborah McGuinness (eds.) Khalid Belhajjame, James Cheney, Daniel Garijo, Timothy Lebo, Stian Soiland-Reyes, and Stephan Zednik "+
-          "<a href=\"http://www.w3.org/TR/prov-o/\"><cite>Provenance Formal Model</cite></a>. "+
+          "<a href="\"http://www.w3.org/TR/prov-o/\""><cite>Provenance Formal Model</cite></a>. "+
           "2011, Working Draft. "+
-          "URL: <a href=\"http://www.w3.org/TR/prov-o/\">http://www.w3.org/TR/prov-o/</a>",
+          "URL: <a href="\"http://www.w3.org/TR/prov-o/\"">http://www.w3.org/TR/prov-o/</a>",
 
 
         "PROV-DM":
           "Luc Moreau and Paolo Missier (eds.) ... "+
-          "<a href=\"http://www.w3.org/TR/prov-dm/\"><cite>PART 1: PROV-DM ...</cite></a>. "+
+          "<a href="\"http://www.w3.org/TR/prov-dm/\""><cite>PART 1: PROV-DM ...</cite></a>. "+
           "2011, Working Draft. "+
-          "URL: <a href=\"http://www.w3.org/TR/prov-dm/\">http://www.w3.org/TR/prov-dm/</a>",
+          "URL: <a href="\"http://www.w3.org/TR/prov-dm/\"">http://www.w3.org/TR/prov-dm/</a>",
 
 
         "PROV-DM-CONSTRAINTS":
           "Luc Moreau and Paolo Missier (eds.) ... "+
-          "<a href=\"http://www.w3.org/TR/prov-dm-constraints/\"><cite>PROV-DM Constraints</cite></a>. "+
+          "<a href="\"http://www.w3.org/TR/prov-dm-constraints/\""><cite>PROV-DM Constraints</cite></a>. "+
           "2011, Working Draft. "+
-          "URL: <a href=\"http://www.w3.org/TR/prov-dm-constraints/\">http://www.w3.org/TR/prov-dm-constraints/</a>",
+          "URL: <a href="\"http://www.w3.org/TR/prov-dm-constraints/\"">http://www.w3.org/TR/prov-dm-constraints/</a>",
 
         "PROV-ASN":
           "Luc Moreau and Paolo Missier (eds.) ... "+
-          "<a href=\"http://www.w3.org/TR/prov-asn/\"><cite>PROV-ASN ....</cite></a>. "+
+          "<a href="\"http://www.w3.org/TR/prov-asn/\""><cite>PROV-ASN ....</cite></a>. "+
           "2011, Working Draft. "+
-          "URL: <a href=\"http://www.w3.org/TR/prov-asn/\">http://www.w3.org/TR/prov-asn/</a>",
+          "URL: <a href="\"http://www.w3.org/TR/prov-asn/\"">http://www.w3.org/TR/prov-asn/</a>",
 
         "PROV-AQ":
           "Graham Klyne and Paul Groth (eds.) Luc Moreau, Olaf Hartig, Yogesh Simmhan, James Meyers, Timothy Lebo, Khalid Belhajjame, and Simon Miles "+
-          "<a href=\"http://www.w3.org/TR/prov-aq/\"><cite>Provenance Access and Query</cite></a>. "+
+          "<a href="\"http://www.w3.org/TR/prov-aq/\""><cite>Provenance Access and Query</cite></a>. "+
           "2011, Working Draft. "+
-          "URL: <a href=\"http://www.w3.org/TR/prov-aq/\">http://www.w3.org/TR/prov-aq/</a>",
+          "URL: <a href="\"http://www.w3.org/TR/prov-aq/\"">http://www.w3.org/TR/prov-aq/</a>",
       };
       var respecConfig = {
           // specification status (e.g. WD, LCWD, NOTE, etc.). If in doubt use ED.
@@ -261,7 +261,7 @@
 A derivation can be described at various levels of precision. In its simplest form, derivation relates two entities. Optionally, attributes can be added to describe modalities of derivation.  If the derivation is the result of a single known activity, then this activity can also be optionally expressed. And to provide a completely accurate description of derivation, the generation and usage of the generated and used entities, respectively, can be provided. The reason for optional information such as activity, generation, and usage to be linked to derivations is to aid analysis of provenance and to facilitate provenance-based reproducibility. </p>
 
 
-<p><div class="attributes" id="attributes-derivation">A <dfn>derivation</dfn><span class="withAsn">, written <span class="name">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</span> in PROV-ASN,</span> contains:</p>
+<p><div class="attributes" id="attributes-derivation">A <dfn>derivation</dfn><span class="withAsn">, written <span class="pnExpression" id="pn-wasDerivedFrom">wasDerivedFrom(id, e2, e1, a, g2, u1, attrs)</span> in PROV-ASN,</span> contains:</p>
 <ul>
 <li><em>id</em>:  an OPTIONAL identifier  for a derivation;</li> 
 <li><em>generatedEntity</em>: the identifier of the entity generated by the derivation;</li>