--- a/model/prov-constraints.html Thu May 31 10:56:45 2012 +0100
+++ b/model/prov-constraints.html Thu May 31 11:24:30 2012 +0100
@@ -422,7 +422,7 @@
other.</p>
<div class='definition' id='wasInformedBy-definition'>Given two activities identified by <span class="name">a1</span> and <span class="name">a2</span>,
-<span class="name">wasInformedBy(a2,a1)</span>
+<span class="name">wasInformedBy(-;a2,a1)</span>
holds <span class='conditional'>IF AND ONLY IF</span>
there is an entity with some identifier <span class="name">e</span> and some sets of attribute-value pairs <span class="name">attrs1</span> and <span class="name">attrs2</span>,
such that <span class="name">wasGeneratedBy(-;e,a1,-,attrs1)</span> and <span class="name">used(-;a2,e,-,attrs2)</span> hold.
@@ -455,10 +455,8 @@
class="name">a1</span> is <a title="definition">defined</a> as follows.</p>
<div class='definition' id='wasStartedByActivity-definition'>Given two activities with identifiers <span class="name">a1</span> and <span class="name">a2</span>,
- <span class="name">wasStartedByActivity(a2,a1)</span>
+ <span class="name">wasStartedBy(-;a2,e;a1)</span>
holds <span class='conditional'>IF AND ONLY IF</span>
- there exists an entity <span class="name">e</span>
-such that
<span class="name">wasGeneratedBy(-;e,a1,-,-)</span>
and <span class="name">wasStartedBy(-;a2,e,-,-)</span> hold.
</div>
@@ -476,8 +474,8 @@
following inference: </p>
<div class='inference' id='derivation-use'>
<p>Given an activity <span class="name">a</span>, entities denoted by <span class="name">e1</span> and <span class="name">e2</span>,
-<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-;e2,e1, a, -)</span> and <span class="name">wasGeneratedBy(-;e2,a,-,-)</span> hold, <span
-class='conditional'>THEN</span> <span class="name">used(-;a,e1,-,-)</span> also holds.
+<span class='conditional'>IF</span> <span class="name">wasDerivedFrom(-;e2,e1, a, -, -)</span> and <span class="name">wasGeneratedBy(-;e2,a,-)</span> hold, <span
+class='conditional'>THEN</span> <span class="name">used(-;a,e1,-)</span> also holds.
</div>
<p>This inference is justified by the fact that the entity denoted by <span class="name">e2</span> is generated by at most one activity in a given account
(see <a href="#generation-uniqueness">generation-uniqueness</a>). Hence, this activity is also the one referred to by the usage of <span class="name">e1</span>.
@@ -574,17 +572,17 @@
be inferred.
<div class='inference' id='attribution-implication'>
<span class='conditional'>IF</span>
-<span class="name">wasAttributedTo(e,ag)</span> holds for some identifiers
+<span class="name">wasAttributedTo(-;e,ag)</span> holds for some identifiers
<span class="name">e</span> and <span class="name">ag</span>,
<span class='conditional'>THEN</span> there exists an activity with some identifier <span class="name">a</span> such that the following statements hold:
<pre>
-activity(a, -, -,-)
-wasGeneratedBy(-; e, a, -, -)
-wasAssociatedWith(-; a, ag, -, -)
+activity(a, -, -)
+wasGeneratedBy(-; e, a, -)
+wasAssociatedWith(-; a, ag, -)
</pre>
</div>
-<p> Responsibility relates agents where one agent acts on behalf of
+<p> Delegation relates agents where one agent acts on behalf of
another, in the context of some activity. The supervising agent
delegates some responsibility for part of the activity to the
subordinate agent, while retaining some responsibility for the overall
@@ -992,7 +990,7 @@
</div>
<div class="note">TODO: Same goes for all other objects:
agent, note, generation, usage, invalidation, start, end,
- communication, start by, attribution, association, responsibility,
+ communication, start by, attribution, association, delegation,
derivation, revision, quotation. We should find a
way of saying this once concisely.
</div>
@@ -1037,7 +1035,7 @@
</p>
<div class='constraint' id='unique-startTime'>
-<span class='conditional'>IF</span> <span class="name">activity(a,t1,t2,-)</span> and <span class="name">wasStartedBy(id;a,e,t,-)</span>, <span class='conditional'>THEN</span> <span class="name">t</span>=<span class="name">t1</span>.
+<span class='conditional'>IF</span> <span class="name">activity(a,t1,t2)</span> and <span class="name">wasStartedBy(id;a,e,a0,t)</span>, <span class='conditional'>THEN</span> <span class="name">t</span>=<span class="name">t1</span>.
</div>
<p>An <a>activity end event</a> is the <a title="instantaneous event">instantaneous event</a> that marks the instant an activity ends. It allows for an optional time attribute. <span id="optional-end-time">Activities also allow for an optional end time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span>
@@ -1045,8 +1043,8 @@
<div class='constraint' id='unique-endTime'>
<span class='conditional'>IF</span> <span
- class="name">activity(a,t1,t2,-)</span> and <span
- class="name">wasEndedBy(id;a,e,t,-)</span>, <span
+ class="name">activity(a,t1,t2)</span> and <span
+ class="name">wasEndedBy(id;a,e,a0,t)</span>, <span
class='conditional'>THEN</span> <span class="name">t</span> = <span class="name">t2</span>.
</div>
@@ -1163,9 +1161,9 @@
illustrated by Subfigure <a href="#ordering-activity-fig">ordering-activity-fig</a> (a) and expressed by constraint <a href="#start-precedes-end">start-precedes-end</a>.</p>
<div class='constraint' id='start-precedes-end'>
<span class="conditional">IF</span>
-<span class="name">wasStartedBy(start;a,-,-)</span>
+<span class="name">wasStartedBy(start;a,-,-,-)</span>
and
-<span class="name">wasEndedBy(end;a,-,-)</span>
+<span class="name">wasEndedBy(end;a,-,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1181,9 +1179,9 @@
<ol>
<li>
<span class="conditional">IF</span>
-<span class="name">used(use;a,e,-,-)</span>
+<span class="name">used(use;a,e,-)</span>
and
-<span class="name">wasStartedBy(start;a,-,-)</span>
+<span class="name">wasStartedBy(start;a,-,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1191,9 +1189,9 @@
</li>
<li>
<span class="conditional">IF</span>
-<span class="name">used(use;a,e,-,-)</span>
+<span class="name">used(use;a,e,-)</span>
and
-<span class="name">wasEndedBy(end;a,-,-)</span>
+<span class="name">wasEndedBy(end;a,-,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">use</span>
<a>precedes</a>
@@ -1212,9 +1210,9 @@
<ol>
<li>
<span class="conditional">IF</span>
-<span class="name">wasGeneratedBy(gen;a,e,-,-)</span>
+<span class="name">wasGeneratedBy(gen;a,e,-)</span>
and
-<span class="name">wasStartedBy(start;a,-,-)</span>
+<span class="name">wasStartedBy(start;a,-,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1222,9 +1220,9 @@
</li>
<li>
<span class="conditional">IF</span>
-<span class="name">wasGeneratedBy(gen;a,e,-,-)</span>
+<span class="name">wasGeneratedBy(gen;a,e,-)</span>
and
-<span class="name">wasEndedBy(end;a,-,-)</span>
+<span class="name">wasEndedBy(end;a,-,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1242,11 +1240,11 @@
<div class='constraint' id='wasInformedBy-ordering'>
<span class="conditional">IF</span>
-<span class="name">wasInformedBy(a2,a1)</span>
+<span class="name">wasInformedBy(-;a2,a1)</span>
and
-<span class="name">wasStartedBy(start;a1,-,-)</span>
+<span class="name">wasStartedBy(start;a1,-,-,-)</span>
and
-<span class="name">wasEndedBy(end;a2,-,-)</span>
+<span class="name">wasEndedBy(end;a2,-,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a>precedes</a>
@@ -1263,11 +1261,9 @@
<div class='constraint' id='wasStartedByActivity-ordering'>
<span class="conditional">IF</span>
-<span class="name">wasStartedByActivity(a2,a1)</span>
+<span class="name">wasStartedBy(start2;a2,-,a1,-)</span>
and
-<span class="name">wasStartedBy(start1;a1,-,-)</span>
-and
-<span class="name">wasStartedBy(start2;a2,-,-)</span>
+<span class="name">wasStartedBy(start1;a1,-,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">start1</span>
<a>precedes</a>
@@ -1305,7 +1301,7 @@
<div class='constraint' id='generation-precedes-invalidation'>
<span class="conditional">IF</span>
-<span class="name">wasGeneratedBy(gen;e,_,_)</span>
+<span class="name">wasGeneratedBy(gen;e,-,-)</span>
and
<span class="name">wasInvalidatedBy(inv;e,-,-)</span>
<span class="conditional">THEN</span>
@@ -1321,9 +1317,9 @@
<div class='constraint' id='generation-precedes-usage'>
<span class="conditional">IF</span>
-<span class="name">wasGeneratedBy(gen;e,_,_)</span>
+<span class="name">wasGeneratedBy(gen;e,-,-)</span>
and
-<span class="name">used(use;_,e,-)</span>
+<span class="name">used(use;-,e,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1365,7 +1361,7 @@
<div class='constraint' id='derivation-usage-generation-ordering'>
<span class="conditional">IF</span>
-<span class="name">wasDerivedFrom(d;e2,e1,a,g2,u1,-)</span>
+<span class="name">wasDerivedFrom(d;e2,e1,a,g2,u1)</span>
<span class="conditional">THEN</span>
<span class="name">u1</span>
<a>precedes</a>
@@ -1382,7 +1378,7 @@
<div class='constraint'
id='derivation-generation-generation-ordering'>
<span class="conditional">IF</span>
-<span class="name">wasDerivedFrom(e2,e1,attrs)</span>
+<span class="name">wasDerivedFrom(-;e2,e1,attrs)</span>
and
<span class="name">wasGeneratedBy(gen1;e1,-,-)</span>
and
@@ -1409,7 +1405,7 @@
<ol>
<li>
<span class="conditional">IF</span>
-<span class="name">wasStartedBy(start;a,e,-)</span>
+<span class="name">wasStartedBy(start;a,e,-,-)</span>
and
<span class="name">wasGeneratedBy(gen;e,-,-)</span>
<span class="conditional">THEN</span>
@@ -1418,7 +1414,7 @@
<span class="name">start</span>.
</li><li>
<span class="conditional">IF</span>
-<span class="name">wasStartedBy(start;a,e,-)</span>
+<span class="name">wasStartedBy(start;a,e,-,-)</span>
and
<span class="name">wasInvalidatedBy(inv;e,-,-)</span>
<span class="conditional">THEN</span>
@@ -1437,7 +1433,7 @@
<ol>
<li>
<span class="conditional">IF</span>
-<span class="name">wasEndedBy(end;a,e,-)</span>
+<span class="name">wasEndedBy(end;a,e,-,-)</span>
and
<span class="name">wasGeneratedBy(gen;e,-,-)</span>
<span class="conditional">THEN</span>
@@ -1446,7 +1442,7 @@
<span class="name">end</span>.
</li><li>
<span class="conditional">IF</span>
-<span class="name">wasEndedBy(end;a,e,-)</span>
+<span class="name">wasEndedBy(end;a,e,-,-)</span>
and
<span class="name">wasInvalidatedBy(inv;e,-,-)</span>
<span class="conditional">THEN</span>
@@ -1496,9 +1492,9 @@
<div class='constraint' id='wasAssociatedWith-ordering'>
<ol> <li>
<span class="conditional">IF</span>
-<span class="name">wasAssociatedWith(a,ag)</span>
+<span class="name">wasAssociatedWith(-;a,ag,-)</span>
and
-<span class="name">wasStartedBy(start;a,-,-)</span>
+<span class="name">wasStartedBy(start;a,-,-,-)</span>
and
<span class="name">wasInvalidatedBy(inv;ag,-,-)</span>
<span class="conditional">THEN</span>
@@ -1507,11 +1503,11 @@
<span class="name">inv</span>.
</li><li>
<span class="conditional">IF</span>
-<span class="name">wasAssociatedWith(a,ag)</span>
+<span class="name">wasAssociatedWith(-;a,ag,-)</span>
and
<span class="name">wasGeneratedBy(gen;ag,-,-)</span>
and
-<span class="name">wasEndedBy(end;a,-,-)</span>
+<span class="name">wasEndedBy(end;a,-,-,-)</span>
<span class="conditional">THEN</span>
<span class="name">gen</span>
<a>precedes</a>
@@ -1534,7 +1530,7 @@
<div class='constraint' id='wasAttributedTo-ordering'>
<ol> <li>
<span class="conditional">IF</span>
-<span class="name">wasAttributedTo(e,ag)</span>
+<span class="name">wasAttributedTo(-;e,ag)</span>
and
<span class="name">wasGeneratedBy(gen;e,-,-)</span>
and
@@ -1545,7 +1541,7 @@
<span class="name">inv</span>.
</li><li>
<span class="conditional">IF</span>
-<span class="name">wasAttributedTo(e,ag)</span>
+<span class="name">wasAttributedTo(-;e,ag)</span>
and
<span class="name">wasGeneratedBy(gen;ag,-,-)</span>
and
@@ -1560,12 +1556,12 @@
<hr />
-<p>For responsibility, two agents need to have some overlap in their lifetime.</p>
+<p>For delegation, two agents need to have some overlap in their lifetime.</p>
<div class='constraint' id='actedOnBehalfOf-ordering'>
<span class="conditional">IF</span>
-<span class="name">actedOnBehalfOf(ag2,ag1)</span>
+<span class="name">actedOnBehalfOf(-;ag2,ag1,-)</span>
and
<span class="name">wasGeneratedBy(gen;ag1,-,-)</span>
and