restructuring of section 2
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 21 May 2012 11:56:11 +0100
changeset 2874 cb879709b889
parent 2873 ddf55314716d
child 2875 8d95c5043f86
restructuring of section 2
model/working-copy/wd6-prov-dm-with-core.html
--- a/model/working-copy/wd6-prov-dm-with-core.html	Mon May 21 11:21:48 2012 +0100
+++ b/model/working-copy/wd6-prov-dm-with-core.html	Mon May 21 11:56:11 2012 +0100
@@ -628,17 +628,53 @@
 <section id="section-prov-extended"> 
 <h2>PROV Extended Structures</h2>
 
-<section id="section--prov-extended-appraoch"> 
+<p>While PROV Core focuses on essential provenance structures commonly found in provenance descriptions, extended structures 
+are designed to support more advanced uses of provenance.</p>
+
+
+
+
+
+<section id="section-prov-extended-approach"> 
 <h2>Approach</h2>
 
-<p>Subtyping, expanded relations,  new relations.</p>
-
-
-<p>Agents may adopt sets of actions or steps to achieve their goals. This is captured by the notion of plan. </p>
-<p>In some  
-cases, those activities reflect the execution of a plan that was  
-designed in advance to guide the execution.  Thus,
-a plan may also be linked to an activity.  </p>
+<p>Extended structures are defined by a variety of mechanisms that we
+describe in this section: subtyping, expanded relations, optional
+identification, and new relations.</p>
+
+
+<section id="section-prov-extended-approach-subtyping"> 
+<h2>Subtyping</h2>
+
+<p>Subtyping can be applied to core types. For example, a software agent is special kind of agent, defined as follows.</p>
+
+<span class="glossary-ref" data-ref="glossary-software-agent"  data-withspan="true">
+</span>
+
+
+<p>Subtyping can also be applied to  core relations. For example, a revision is a special kind of derivation, defined as follows.</p>
+
+
+<p><span class="glossary-ref" data-ref="glossary-revision" data-withspan="true"></span></p>
+
+</section>
+
+<section id="section-prov-extended-approach-expanded-relation"> 
+<h2>Expanded Relations</h2>
+
+<p><a href="#core-structures">Section 2.1</a> shows that six concepts are mapped to binary relations in the core of PROV.  However, some advanced uses of these concepts cannot be captured by a binary relations, but require relations to be expanded to n-ary relations.</p>
+
+
+<p>To illustrate expanded relations, we consider the concept of
+association, described
+in <a href="#section-agents-attribution-association-responsibility">section
+2.1.2</a>.  Agents may adopt sets of actions or steps to achieve their
+goals in the context of an activity: this is captured by the notion of
+plan.  Hence, an activity may reflect the execution of a plan that was
+designed in advance to guide the execution.  Hence, an expanded
+association relation allows a plan a plan be linked to an
+activity. Plan and full association are defined as follows. </p>
+
 <p>
 <span class="glossary-ref" data-ref="glossary-plan"  data-withspan="true">
 </span>
@@ -650,21 +686,39 @@
 validate the execution as represented in the provenance record, to  
 manage expectation failures, or to provide explanations.</p> 
 
+<!--
 <div class="conceptexample" id="plan-example">
 <p>
 A plan can be a blog post tutorial for how to set up a web server, a list of instructions for a micro-processor execution, a cook's written recipe for a chocolate cake, or a workflow for a scientific experiment.
 </p>
 </div>
+-->
+
+<p>
+<span class="glossary-ref" data-ref="glossary-activityAssociation"  data-withspan="true"></span>
+</p>
 
 
 <div class="conceptexample" id="association-example2">
-<p>Examples of association between an activity and an agent are:
-<ul>
-<li>an XSLT transform launched by a user based on an XSL style sheet (a plan).</li>
-</ul>
+<p>An examples of association between an activity and an agent involving a plan is:
+an XSLT transform launched by a user based on an XSL style sheet (a plan).
+
 </div>
-
-
+</section>
+
+
+<section id="section-prov-extended-approach-xxx"> 
+<h2>Optional Identification</h2>
+
+
+</section>
+
+
+<section id="section-prov-extended-approach-new-relations"> 
+<h2>New Relations</h2>
+
+
+</section>