--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/model/working-copy/wd5-prov-dm-misc.html Thu Mar 08 09:54:33 2012 +0000
@@ -0,0 +1,329 @@
+<!DOCTYPE html>
+
+<html><head>
+ <title>PROV-DM Misc PROPOSALS to Vote On</title>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
+ <!--
+ === NOTA BENE ===
+ For the three scripts below, if your spec resides on dev.w3 you can check them
+ out in the same tree and use relative links so that they'll work offline,
+ -->
+<!-- PM -->
+ <style type="text/css">
+ .note { font-size:small; margin-left:50px }
+ </style>
+
+ <script src="http://dev.w3.org/2009/dap/ReSpec.js/js/respec.js" class="remove"></script>
+ <script src="http://www.w3.org/2007/OWL/toggles.js" class="remove"></script>
+ <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.1/jquery.min.js" class="remove"></script>
+
+ <script src="../glossary.js" class="remove"></script>
+
+ <script class="remove">
+ function updateGlossaryRefs() {
+ $('.glossary-ref').each(function(index) {
+ var ref=$(this).attr('ref');
+ var span=$(this).attr('withspan')
+ $('#'+ref+'.glossary').contents().clone().appendTo($(this));
+ $(this).attr('prov:hadOriginalSource',glossary_hg);
+ if (span) {
+ $(this).children('dfn').replaceWith(function(){return $('<span>').addClass('dfn').append($(this).contents())});
+ }
+ });
+ }
+ $(document).ready(function(){
+ // if glossary is in a string:
+ $('#glossary_div').html(glossary_string)
+ updateGlossaryRefs();
+ });
+
+ </script>
+
+ <script class="remove">
+ var addExtraReferences = function() {
+ for (var k in extraReferences)
+ berjon.biblio[k] = extraReferences[k];
+ };
+ 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>."+
+ "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> " +
+ "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>."+
+ "Prentice-Hall. 1985"+
+ "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>."+
+ "1924. "+
+ "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>. "+
+ "2011, Work in progress. "+
+ "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>. "+
+ "2011, Working Draft. "+
+ "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>. "+
+ "2011, Working Draft. "+
+ "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>. "+
+ "2011, Working Draft. "+
+ "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>. "+
+ "2011, Working Draft. "+
+ "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>. "+
+ "2011, Working Draft. "+
+ "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>. "+
+ "2011, Working Draft. "+
+ "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.
+ specStatus: "ED",
+
+ // the specification's short name, as in http://www.w3.org/TR/short-name/
+ shortName: "prov-dm",
+
+ // if your specification has a subtitle that goes below the main
+ // formal title, define it here
+ subtitle : "Draft proposal (to be incorporated in Editor's Draft when approved)",
+
+
+ // if you wish the publication date to be other than today, set this
+ // publishDate: "2011-10-18",
+
+ // if the specification's copyright date is a range of years, specify
+ // the start date here:
+ // copyrightStart: "2005"
+
+ // if there is a previously published draft, uncomment this and set its YYYY-MM-DD date
+ // and its maturity status
+ previousPublishDate: "2012-02-02",
+ previousMaturity: "WD",
+
+ // if there a publicly available Editor's Draft, this is the link
+ edDraftURI: "http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-dm.html",
+
+ // if this is a LCWD, uncomment and set the end of its review period
+ // lcEnd: "2009-08-05",
+
+ // if you want to have extra CSS, append them to this list
+ // it is recommended that the respec.css stylesheet be kept
+ extraCSS: ["http://dev.w3.org/2009/dap/ReSpec.js/css/respec.css", "../extra.css"],
+
+ // editors, add as many as you like
+ // only "name" is required
+ editors: [
+ { name: "Luc Moreau", url: "http://www.ecs.soton.ac.uk/~lavm/",
+ company: "University of Southampton" },
+ { name: "Paolo Missier", url: "http://www.cs.ncl.ac.uk/people/Paolo.Missier",
+ company: "Newcastle University" },
+ ],
+
+ // authors, add as many as you like.
+ // This is optional, uncomment if you have authors as well as editors.
+ // only "name" is required. Same format as editors.
+
+ authors: [
+ { name: "Khalid Belhajjame", url: "http://semanticweb.org/wiki/Khalid_Belhajjame",
+ company: "University of Manchester" },
+ { name: "Stephen Cresswell",
+ company: "legislation.gov.uk"},
+ { name: "Yolanda Gil",
+ company: "Invited Expert", url:"http://www.isi.edu/~gil/"},
+ { name: "Reza B'Far",
+ company: "Oracle Corporation" },
+ { name: "Paul Groth", url: "http://www.few.vu.nl/~pgroth/",
+ company: "VU University of Amsterdam" },
+ { name: "Graham Klyne",
+ company: "University of Oxford" },
+ { name: "Jim McCusker", url: "http://tw.rpi.edu/web/person/JamesMcCusker",
+ company: "Rensselaer Polytechnic Institute" },
+ { name: "Simon Miles",
+ company: "Invited Expert", url:"http://www.inf.kcl.ac.uk/staff/simonm/" },
+ { name: "James Myers", url:"http://www.rpi.edu/research/ccni/",
+ company: "Rensselaer Polytechnic Institute"},
+ { name: "Satya Sahoo", url:"http://cci.case.edu/cci/index.php/Satya_Sahoo",
+ company: "Case Western Reserve University" },
+ ],
+
+ // name of the WG
+ wg: "Provenance Working Group",
+
+ // URI of the public WG page
+ wgURI: "http://www.w3.org/2011/prov/",
+
+ // name (with the @w3c.org) of the public mailing to which comments are due
+ wgPublicList: "public-prov-wg",
+
+ // URI of the patent status for this WG, for Rec-track documents
+ // !!!! IMPORTANT !!!!
+ // This is important for Rec-track documents, do not copy a patent URI from a random
+ // document unless you know what you're doing. If in doubt ask your friendly neighbourhood
+ // Team Contact.
+ wgPatentURI: "http://www.w3.org/2004/01/pp-impl/46974/status",
+
+ // Add extraReferences to bibliography database
+ preProcess: [addExtraReferences],
+ };
+ </script>
+ </head>
+ <body>
+
+ <section id="abstract">
+ </section>
+
+<section id="sotd">
+<div class="note">PROPOSALS TO VOTE ON</div>
+</section>
+
+
+<section id="Proposal 1: On Entity Destruction">
+<h4>Proposal 1: On Entity Destruction</h4>
+
+<p>
+<b>Context:</b>
+Activities have a start and an end (corresponding to event defined in part II). Entities have a characterization interval, with a generation event marking the interval beginning, but no event marking the interval end.
+</p>
+
+<p>It is proposed to introduce an explicit event that marks the end of an entity characterization interval. Some suggested that it could be a "destruction" event, others felt the term destruction is too strong, but no alternative has been proposed.</p>
+
+<p id="proposal1"><b>PROPOSED</b>: to introduce a prov-dm concept that marks the end of an entity lifetime. Its name remains to be determined (e.g. destruction, final usage, ...). </p>
+
+<p>For now, DESTRUCTION is used as placeholder name</p>
+
+<p><em>The text would include the following.</em></p>
+
+<p>Tentative definition:
+<dfn id="concept-destruction">Destruction</dfn> is the end of an entity's lifetime. Any generation or usage of an entity MUST precede its destruction.
+</p>
+
+
+<p>
+<div class="attributes" id="attributes-destruction"><dfn title="dfn-Destruction">Destruction</dfn><span class="withAsn">, written <span class="pnExpression">wasDestroyedBy(id,e,a,t,attrs)</span> in PROV-ASN,</span> has the following components:</p>
+<ul>
+<li><span class='attribute'>id</span>: an OPTIONAL identifier for a destruction;</li>
+<li><span class='attribute'>entity</span>: an identifier for the destroyed entity; </li>
+<li><span class='attribute'>activity</span>: an OPTIONAL identifier for the activity that destroys the entity;</li>
+
+<li><span class='attribute'>time</span>: an OPTIONAL "destruction time", the time at which the entity began to be destroyed;</li>
+
+<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs that describes the modalities of destruction of this entity by this activity.</li>
+</ul></div>
+<p>While each of the components <span class='attribute'>activity</span>, <span class='attribute'>time</span>, and <span class='attribute'>attributes</span> is OPTIONAL, at least one of them MUST be present.</p>
+
+
+
+</section>
+
+<section id="Proposal 2: On Entity Time">
+<h4>Proposal 2: On Entity Time</h4>
+
+<p>
+<b>Context:</b>
+Activities have convenient time information, with startTime and endTime attributes. This is convenience notation instead of declarating start and end times. No such convenience notation exist for entities.
+</p>
+
+<p id="proposal2"><b>PROPOSED</b>: to introduce convenience time attribute to entities (similarly to activities).</p>
+
+
+
+<p><em>The text would include the following.</em></p>
+
+<p>Revised definition of entity, with optional time information. Name 'destruction' (TBC).</p>
+
+
+
+<div class="attributes" id="attributes-entity">An entity<span class="withAsn">, written <span class="pnExpression" id="pn-entity">entity(id, gt, dt, [ attr1=val1, ...])</span> in PROV-ASN, </span> contains:</p>
+<ul>
+<li><span class='attribute'>id</span>: an identifier for an entity; </li>
+<li><span class='attribute'>generationTime</span>: an OPTIONAL time for the generation time of the entity;</li>
+<li><span class='attribute'>destructionTime</span>: an OPTIONAL time for the destruction time of the entity;</li>
+
+<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs representing this entity's situation in the world.</li>
+</ul></div>
+
+</section>
+
+<section id="Proposal 3: On Activity Start and End">
+<h4>Proposal 3: Activity Start and End without Responsibility</h4>
+
+<b>Context:</b>
+The motivation for introducing agents in prov-dm is to denote the agent's responsibility for activities. It is however impossible to describe the start/end of an activity without introducing agents, and therefore assigning responsibility.
+</p>
+
+<p id="proposal3"><b>PROPOSED</b>: to formulate start and end of activities independently of responsibility and agents. Hence, start and end of activity would no longer be a form of activity association. Instead of an agent, an optional entity trigger would be allowed.</p>
+
+<p><em>The text would include the following.</em></p>
+
+
+<span class="glossary" id="glossary-start">
+<dfn id="concept-start">Start</dfn> is when an activity is deemed to have started.
+ The activity did not exist before its start. Any usage, generation, or destruction involving an activity follows its start.
+</span>
+
+
+<span class="glossary" id="glossary-end">
+<dfn id="concept-end">End</dfn> is when an activity is deemed to have ended.
+ The activity no longer exists after its start. Any usage, generation, or destruction involving an activity preceds its end.
+</span>
+
+
+
+<p>An activity start<span class="withAsn">, written <span class="pnExpression">wasStartedBy(id,a,e,attrs)</span> in PROV-ASN,</span> contains:</p>
+<ul>
+<li><span class='attribute'>id</span>: an OPTIONAL identifier for the activity start;</li>
+<li><span class='attribute'>activity</span>: an identifier for the started activity;
+<li><span class='attribute'>trigger</span>: an identifier for the entity triggering the activity;
+<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the activity was started.
+</ul>
+
+<p>An activity end<span class="withAsn">, written <span class="pnExpression">wasEndedBy(id,a,e,attrs)</span> in PROV-ASN,</span> contains:</p>
+<ul>
+<li><span class='attribute'>id</span>: an OPTIONAL identifier for the activity end;</li>
+<li><span class='attribute'>activity</span>: an identifier for the ended activity;
+<li><span class='attribute'>trigger</span>: an identifier for the entity triggering the activity ending;
+<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs describing modalities according to which the activity was ended.
+</ul>
+
+
+
+</section>
+
+
+<div id="glossary_div" class="remove">
+<!-- glossary loaded from glossary.js will be hooked up here,
+ class remove, will remove this element from the final output.
+-->
+</div>
+
+ </body>
+</html>