--- a/model/glossary.html Thu Apr 19 19:01:56 2012 +0100
+++ b/model/glossary.html Thu Apr 19 22:29:42 2012 +0100
@@ -190,3 +190,9 @@
<span class="glossary" id="glossary-organization">
Agents of type <dfn id="concept-organization" title="organization">Organization</dfn> are social or legal institutions such as companies, societies, etc.
</span>
+
+
+<span class="glossary" id="glossary-invalidation">
+<dfn id="concept-invalidation">Invalidation</dfn>
+is the start of the destruction, cessation, or expiry of an existing entity by an activity.
+The entity is no longer available for use after invalidation. Any generation or usage of an entity precedes its invalidation</span>
--- a/model/glossary.js Thu Apr 19 19:01:56 2012 +0100
+++ b/model/glossary.js Thu Apr 19 22:29:42 2012 +0100
@@ -3,7 +3,7 @@
// with <script src="glossary.js" class="remove"></script>
//Insert glossary definitions with the following
// <div class="glossary-ref" ref="glossary-generation"></div>
-glossary_hg='http://dvcs.w3.org/hg/prov/file/31816209cab0/model/glossary.html';
+glossary_hg='http://dvcs.w3.org/hg/prov/file/22e94d82afe8/model/glossary.html';
glossary_string=
' ' +
'<html> ' +
@@ -197,4 +197,10 @@
'<span class="glossary" id="glossary-organization"> ' +
'Agents of type <dfn id="concept-organization" title="organization">Organization</dfn> are social or legal institutions such as companies, societies, etc. ' +
'</span> ' +
+' ' +
+' ' +
+'<span class="glossary" id="glossary-invalidation"> ' +
+'<dfn id="concept-invalidation">Invalidation</dfn> ' +
+'is the start of the destruction, cessation, or expiry of an existing entity by an activity. ' +
+'The entity is no longer available for use after invalidation. Any generation or usage of an entity precedes its invalidation</span> ' +
' ' ;
Binary file model/images/Entities-Activities.png has changed
--- a/model/images/Entities-Activities.svg Thu Apr 19 19:01:56 2012 +0100
+++ b/model/images/Entities-Activities.svg Thu Apr 19 22:29:42 2012 +0100
@@ -37,6 +37,13 @@
inkscape:vp_z="777 : 174 : 1"
inkscape:persp3d-origin="388.5 : 116 : 1"
id="perspective90" />
+ <inkscape:perspective
+ id="perspective2859"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_x="0 : 0.5 : 1"
+ sodipodi:type="inkscape:persp3d" />
</defs>
<sodipodi:namedview
pagecolor="#ffffff"
@@ -51,13 +58,67 @@
inkscape:window-height="978"
id="namedview84"
showgrid="false"
- inkscape:zoom="0.67816092"
- inkscape:cx="200.49153"
- inkscape:cy="171.05085"
+ inkscape:zoom="1.55524"
+ inkscape:cx="391.89819"
+ inkscape:cy="209"
inkscape:window-x="1280"
inkscape:window-y="0"
inkscape:window-maximized="1"
inkscape:current-layer="svg2" />
+ <polyline
+ points="558,71 558,15 630,15 630,103 560,103"
+ id="polyline60"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"
+ transform="translate(-10,0)"
+ style="fill:none;stroke:#000000;stroke-width:1" />
+ <text
+ font-size="13"
+ x="623"
+ y="28"
+ id="text66"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"
+ style="font-size:13px;font-family:Lucida Grande">wasInformedBy</text>
+ <polyline
+ points="560,167 630,167 630,263 558,263 558,209"
+ id="polyline22"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"
+ transform="translate(-10,0)"
+ style="fill:none;stroke:#000000;stroke-width:1" />
+ <line
+ x1="555"
+ x2="548"
+ y1="221"
+ y2="209"
+ id="line24"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"
+ style="fill:#000000;stroke:#000000;stroke-width:1" />
+ <line
+ x1="541"
+ x2="548"
+ y1="221"
+ y2="209"
+ id="line26"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"
+ style="fill:#000000;stroke:#000000;stroke-width:1" />
+ <text
+ font-size="13"
+ x="622"
+ y="183"
+ id="text28"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438"
+ style="font-size:13px;font-family:Lucida Grande">wasStartedByActivity</text>
<rect
fill="#ffffff"
height="138"
@@ -153,61 +214,18 @@
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
- <polyline
- fill="none"
- points="560,167 630,167 630,263 558,263 558,209"
- stroke="#000000"
- stroke-width="1"
- id="polyline22"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <line
- fill="#000000"
- stroke="#000000"
- stroke-width="1"
- x1="565"
- x2="558"
- y1="221"
- y2="209"
- id="line24"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <line
- fill="#000000"
- stroke="#000000"
- stroke-width="1"
- x1="551"
- x2="558"
- y1="221"
- y2="209"
- id="line26"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
- <text
- font-family="Lucida Grande"
- font-size="13"
- x="632"
- y="183"
- id="text28"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438">
-wasStartedByActivity</text>
<rect
- fill="#ffffff"
height="144"
- stroke="#ffffff"
- stroke-width="1"
width="96"
x="14"
y="63"
id="rect30"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
+ inkscape:export-ydpi="79.550438"
+ stroke-width="1"
+ stroke="#ffffff"
+ fill="#ffffff" />
<rect
fill="none"
height="144"
@@ -282,29 +300,25 @@
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
<line
- fill="#000000"
- stroke="#000000"
- stroke-width="1"
- x1="122"
- x2="110"
- y1="80"
- y2="87"
+ x1="124"
+ x2="112"
+ y1="78"
+ y2="85"
id="line46"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
+ inkscape:export-ydpi="79.550438"
+ style="fill:#000000;stroke:#000000;stroke-width:1" />
<line
- fill="#000000"
- stroke="#000000"
- stroke-width="1"
- x1="122"
- x2="110"
- y1="94"
- y2="87"
+ x1="124"
+ x2="112"
+ y1="92"
+ y2="85"
id="line48"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
+ inkscape:export-ydpi="79.550438"
+ style="fill:#000000;stroke:#000000;stroke-width:1" />
<text
font-size="13"
x="262.13574"
@@ -356,15 +370,6 @@
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">wasGeneratedBy(t)</text>
- <polyline
- fill="none"
- points="558,71 558,15 630,15 630,103 560,103"
- stroke="#000000"
- stroke-width="1"
- id="polyline60"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
<line
fill="#000000"
stroke="#000000"
@@ -389,20 +394,10 @@
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438" />
- <text
- font-family="Lucida Grande"
- font-size="13"
- x="633"
- y="28"
- id="text66"
- inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
- inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438">
-wasInformedBy</text>
<polyline
points="454,207 110,207"
id="polyline68"
- transform="translate(0,-34)"
+ transform="translate(0,-4)"
style="fill:none;stroke:#000000;stroke-width:1"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
@@ -410,8 +405,8 @@
<line
x1="122"
x2="110"
- y1="166"
- y2="173"
+ y1="196"
+ y2="203"
id="line70"
style="fill:#000000;stroke:#000000;stroke-width:1"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
@@ -420,8 +415,8 @@
<line
x1="122"
x2="110"
- y1="180"
- y2="173"
+ y1="210"
+ y2="203"
id="line72"
style="fill:#000000;stroke:#000000;stroke-width:1"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
@@ -430,7 +425,7 @@
<text
font-size="13"
x="233"
- y="188"
+ y="218"
id="text74"
style="font-size:13px;font-family:Lucida Grande"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
@@ -439,16 +434,16 @@
<polyline
points="454,159 110,159"
id="polyline76"
- transform="translate(0,-18)"
style="fill:none;stroke:#000000;stroke-width:1"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
- inkscape:export-ydpi="79.550438" />
+ inkscape:export-ydpi="79.550438"
+ transform="translate(0,12)" />
<line
x1="122"
x2="110"
- y1="134"
- y2="141"
+ y1="164"
+ y2="171"
id="line78"
style="fill:#000000;stroke:#000000;stroke-width:1"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
@@ -457,8 +452,8 @@
<line
x1="122"
x2="110"
- y1="148"
- y2="141"
+ y1="178"
+ y2="171"
id="line80"
style="fill:#000000;stroke:#000000;stroke-width:1"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
@@ -467,10 +462,47 @@
<text
font-size="13"
x="236.56738"
- y="156"
+ y="186"
id="text82"
style="font-size:13px;font-family:Lucida Grande"
inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
inkscape:export-xdpi="79.550438"
inkscape:export-ydpi="79.550438">wasEndedBy(t)</text>
+ <polyline
+ transform="translate(-0.330526,28.74747)"
+ style="fill:none;stroke:#000000;stroke-width:1"
+ points="454,111 110,111"
+ id="polyline52-9"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <line
+ style="fill:#000000;stroke:#000000;stroke-width:1"
+ x1="441.66946"
+ x2="453.66946"
+ y1="146.74747"
+ y2="139.74747"
+ id="line54-0"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <line
+ style="fill:#000000;stroke:#000000;stroke-width:1"
+ x1="441.66946"
+ x2="453.66946"
+ y1="132.74747"
+ y2="139.74747"
+ id="line56-9"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438" />
+ <text
+ font-size="13"
+ x="222.22124"
+ y="155.74747"
+ id="text58-1"
+ style="font-size:13px;font-family:Lucida Grande"
+ inkscape:export-filename="/home/lavm/papers/papers/prov-wg/hg/model/images/Entities-Activities.png"
+ inkscape:export-xdpi="79.550438"
+ inkscape:export-ydpi="79.550438">wasInvalidatedBy(t)</text>
</svg>
--- a/model/prov-dm.html Thu Apr 19 19:01:56 2012 +0100
+++ b/model/prov-dm.html Thu Apr 19 22:29:42 2012 +0100
@@ -111,7 +111,7 @@
// if your specification has a subtitle that goes below the main
// formal title, define it here
- subtitle : "WD5, being updated following internal review",
+ subtitle : "WD5, being finalized for publication",
// if you wish the publication date to be other than today, set this
@@ -980,7 +980,8 @@
<caption id="relations-at-a-glance">Table 3: PROV-DM Relations At a Glance</caption>
<tr><td></td><td>Entity</td><td>Activity</td><td>Agent</td><td>Note</td></tr>
<tr><td>Entity</td><td><div class="component3-color"><a>wasDerivedFrom</a><br><a>wasRevisionOf</a><br><a>wasQuotedFrom</a><br><a>hadOriginalSource</a></div><div class="component4-color"><a>alternateOf</a><br><a>specializationOf</a></div></td><td class="component1-color"><a
-title="wasGeneratedBy">wasGeneratedBy</a></td><td class="component2-color"><a>wasAttributedTo</a></td><td class="component6-color"><a>hasAnnotation</a></td></tr>
+title="wasGeneratedBy">wasGeneratedBy</a><br><a
+title="wasInvalidatedBy">wasInvalidatedBy</a></td><td class="component2-color"><a>wasAttributedTo</a></td><td class="component6-color"><a>hasAnnotation</a></td></tr>
<tr><td>Activity</td><td><div class="component1-color"><a>used</a><br><a>wasStartedBy</a><br><a>wasEndedBy</a></div></td><td class="component1-color"><a>wasStartedByActivity</a><br><a>wasInformedBy</a></td><td class="component2-color"><a>wasAssociatedWith</a></td><td class="component6-color"><a>hasAnnotation</a></td></tr>
<tr><td>Agent</td><td>—</td><td>—</td><td class="component2-color"><a>actedOnBehalfOf</a></td><td class="component6-color"><a>hasAnnotation</a></td></tr>
<tr><td>Note</td><td>—</td><td>—</td><td>—</td><td class="component6-color"><a>hasAnnotation</a></td></tr>
@@ -1000,6 +1001,7 @@
<tr class="component1-color"><td><a>Usage</a></td><td><a title="used">used(id,a,e,t,attrs)</a></td></tr>
<tr class="component1-color"><td><a>Start</a></td><td><a title="wasStartedBy">wasStartedBy(id,a,e,t,attrs)</a></td></tr>
<tr class="component1-color"><td><a>End</a></td><td><a title="wasEndedBy">wasEndedBy(id,a,e,t,attrs)</a></td></tr>
+<tr class="component1-color"><td><a>Invalidation</a></td><td><a title="wasInvalidatedBy">wasInvalidatedBy(id,e,a,t,attrs)</a></td></tr>
<tr class="component1-color"><td><a>Communication</a></td><td><a title="wasInformedBy">wasInformedBy(id,a2,a1,attrs)</a></td></tr>
<tr class="component1-color"><td><a>Start by Activity</a></td><td><a title="wasStartedByActivity">wasStartedByActivity(id, a2, a1, attrs)</a></td></tr>
<tr class="component2-color"><td><a>Agent</a></td><td><a title="dfn-agent">agent(id, [ attr1=val1, ...])</a></td></tr>
@@ -1031,7 +1033,7 @@
<section id="component1">
<h3>Component 1: Entities and Activities</h3>
-<p>The first component of PROV-DM is concerned with <a title="entity">entities</a> and <a title="activity">activities</a>, and their interrelations: <a>Usage</a>, <a>Generation</a>, <a>Start</a>, <a>End</a>, <a>Communication</a>, and <a>Start by Activity</a>. Figure <a href="#figure-component1">figure-component1</a> uses UML to depict the first component, with two classes and binary associations between them. Associations are not just binary: indeed, <a>Usage</a>, <a>Generation</a>, <a>Start</a>, <a>End</a> also include <em>time</em> attributes.
+<p>The first component of PROV-DM is concerned with <a title="entity">entities</a> and <a title="activity">activities</a>, and their interrelations: <a>Usage</a>, <a>Generation</a>, <a>Start</a>, <a>End</a>, <a>Invalidation</a>, <a>Communication</a>, and <a>Start by Activity</a>. Figure <a href="#figure-component1">figure-component1</a> uses UML to depict the first component, with two classes and binary associations between them. Associations are not just binary: indeed, <a>Usage</a>, <a>Generation</a>, <a>Start</a>, <a>End</a> also include <em>time</em> attributes.
</p>
<div style="text-align: center;">
@@ -1165,10 +1167,6 @@
</pre>
</div>
-<div class='issue'>A construct that marks the "end of life" of an entity may be introduced.
- This is <a href="http://www.w3.org/2011/prov/track/issues/204">ISSUE-204</a>.
-</div>
-
</section>
@@ -1247,7 +1245,7 @@
<div class="anexample">
<p>
In the following example, a race is started by a bang, and responsibility for this trigger is attributed to an agent
- <span class="name">ex:DarthVader</span>.
+ <span class="name">ex:Bob</span>.
<pre class="codeexample">
activity(ex:foot_race)
wasStartedBy(ex:foot_race,ex:bang,2012-03-09T08:05:08-05:00)
@@ -1290,6 +1288,103 @@
</section>
+<section id="term-Invalidation">
+<h4>Invalidation</h4>
+
+<p>
+<div class="glossary-ref" data-ref="glossary-invalidation"></div>
+</p>
+
+
+<p>
+Entities have a duration. Generation marks the beginning of an entity. The end of an entity can occur for different reasons.
+<ul>
+<li> an entity was destroyed: e.g. a painting was destroyed by fire; a Web page is taken out of a site;
+<li> an entity was consumed: e.g. Bob ate all his soup, Alice ran out of gas when driving to work;
+<li> an entity expires: e.g. a "buy one beer, get one free" offer is valid during happy hour (7-8pm);
+<li> an entity is time limited: e.g. the BBC news site on April 3rd, 2012;
+<li> an entity attribute is changing: e.g. the traffic light changed from green to red.
+</ul>
+In the first two cases, the entity has physically disappeared after its termination: there is no more soup, or painting. In the last two cases, there may be an "offer voucher" that still exists, but it is no longer valid; likewise, on April 4th, the BBC news site still exists but it is not the same entity as BBC news Web site on April 3rd; or the traffic light became red and therefore is regarded as a different entity to the green light.
+</p>
+
+
+
+<p>
+<div class="attributes" id="attributes-invalidation"><dfn title="wasInvalidatedBy">Invalidation</dfn><span class="withPn">, written <span class="pnExpression">wasInvalidatedBy(id,e,a,t,attrs)</span> in PROV-N,</span> has:</p>
+<ul>
+<li><span class='attribute'>id</span>: an OPTIONAL identifier for a invalidation;</li>
+<li><span class='attribute'>entity</span>: an identifier for the invalidated entity; </li>
+<li><span class='attribute'>activity</span>: an OPTIONAL identifier for the activity that invalidated the entity;</li>
+
+<li><span class='attribute'>time</span>: an OPTIONAL "invalidation time", the time at which the entity began to be invalidated;</li>
+
+<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs representing additional information about this invalidation.</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>
+
+
+
+<div class="anexample" id="anexample-invalidation1">
+<p>
+The Painter, a Picasso painting, is known to have been destroyed in a <a href="http://en.wikipedia.org/wiki/Lost_artworks#20th_century">plane accident</a>.
+
+<pre class="codeexample">
+entity(ex:The-Painter)
+agent(ex:Picasso)
+wasAttributedTo(ex:The-Painter, ex:Picasso)
+activity(ex:crash)
+wasInvalidatedBy(ex:The-Painter, ex:crash, 1998-09-02, [ex:circumstances="plane accident"])
+</pre>
+</div>
+
+<div class="anexample" id="anexample-invalidation2">
+<p>
+The BBC news home page on 2012-04-03 <span class="name">ex:bbcNews2012-04-03</span>
+contained a reference to a given news item
+ <a href="http://www.bbc.co.uk/news/uk-17595024">bbc:news/uk-17595024</a>,
+but the BBC news home page on the next day did not.
+<pre class="codeexample">
+entity(ex:bbcNews2012-04-03)
+memberOf(ex:bbcNews2012-04-03,{("item1", bbc:news/uk-17595024)})
+wasGeneratedBy (ex:bbcNews2012-04-03,-,2012-04-03T00:00:01)
+wasInvalidatedBy(ex:bbcNews2012-04-03,-,2012-04-03T23:59:59)
+</pre>
+We refer to example <a href="#anexample-specialization">anexample-specialization</a> for further descriptions of the BBC Web site, and to Section <a>Membership</a> for a description of the relation <a>memberOf</a>.
+</div>
+
+
+<div class="anexample" id="anexample-invalidation3">
+<p>
+In this example, the "buy one beer, get one free" offer expired at the end of the happy hour.</p>
+<pre class="codeexample">
+entity(buy_one_beer_get_one_free_offer_during_happy_hour)
+wasAttributedTo(proprietor)
+wasInvalidatedBy(buy_one_beer_get_one_free_offer_during_happy_hour,
+ -,2012-03-10T18:00:00)
+</pre>
+<p>In contrast, in the following descriptions, Bob redeemed the offer 45 minutes before it expired, and got two beers.
+</p>
+<pre class="codeexample">
+entity(buy_one_beer_get_one_free_offer_during_happy_hour)
+wasAttributedTo(proprietor)
+activity(redeemOffer)
+entity(twoBeers)
+
+wasAssociatedWith(redeemOffer,bob)
+used(buy_one_beer_get_one_free_offer_during_happy_hour,
+ redeemOffer, 2012-03-10T17:15:00)
+wasInvalidatedBy(buy_one_beer_get_one_free_offer_during_happy_hour,
+ redeemOffer, 2012-03-10T17:15:00)
+wasGeneratedBy(twoBeers,redeemOffer)
+</pre>
+<p>We see that the offer was both used to be converted into <span class="name">twoBeers</span> and invalidated by the <span class="name">redeemOffer</span> activity: in other words, the combined usage and invalidation indicate consumption of the offer.</p>
+</div>
+
+
+</section>
+
+
<section id="term-wasInformedBy">
<h3>Communication</h3>