<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Dear Conrad,<br>
<br>
many thanks for your comments! Here are my replies:<br>
<br>
> Why not define sets as restricted bags (bags with no
duplicates), like you did with ordered sets as restricted
sequences?
Should be at least: (forall (x) (if (form:Set x)
(form:Bag x))
plus no-duplicate restriction.<br>
Note that I did *not* define ordered sets as restricted sequences.
Instead, I copied the theory of sequences and modified it. In
particular, the axiom<br>
// no element can be inserted twice<br>
(forall (x s)<br>
(if (from:ordered-set-member x s)<br>
(= (form:ordered-set-insert x s) s)))<br>
cannot be used for sequences.<br>
If wanted, I can try to have a similar sharing of theories between
sets and bags.<br>
<br>
> Did you intend to support infinite sets? Not that this
requires it (only allows it), but UnlimitedNatural in UML includes
an infinitely large value. See comment about multiplicity in E.4.<br>
No, only finite sets are supported, assuming that system snapshots
are always finite. Instead of UnlimitedNatural, we could also use
natural numbers without an infinitely large value. What would be
the name of such a type?<br>
<br>
> Why not just (forall (x s) (form:set-member x
(form:set-insert x s)))
?<br>
The original axiom is:<br>
(forall (x y s)<br>
(iff (form:set-member x (form:set-insert y s))<br>
(or (= x y)<br>
(form:set-member x s))))<br>
This is much stronger. In particular, from it you can derive
non-memberships, like (not (form:set-member 2 (form:set.insert 1
form:empty-set))), provided that 1 is not equal to 2.<br>
<br>
> Not sure I'm reading this correctly, but it seems to say the
properties involved in a composition association are properties of
m, whereas they are usually properties of the classes at the ends
of the association.<br>
We have changed this, see attached corrected PDF.<br>
<br>
> Properties can be composed without being member ends of an
association. The UML 2.5 spec describes aggregation in the
Property subclause (9.5.3), without constraining the properties to
be member ends of associations. The phrase quoted here describes
a composite property with ("grouping its") values. Feel free to
ask Ed and others, this is well known to be the interpretation of
the spec, and is implemented in tools.<br>
We have changed this, see attached corrected PDF.<br>
<br>
> Are the labels n2s, etc, association names? If so they
should be capitalized. If they are property names, they should be
closer to one of the classes at the end of the line.<br>
Yes, they are association names. We will capitalize them.<br>
<br>
> How are unlimited upper bounds represented? This could be
the absence of a bound in DOL, I guess. In UML, absence of a
bound defaults to 1, so there's no ambiguity translating to DOL
this way. Where does UnlimitedNatural come in?<br>
Yes, unlimited upper bounds are represented by absence of bounds
here.<br>
<br>
All the best,<br>
Till<br>
<br>
<br>
Am 15.10.2015 um 21:47 schrieb Bock, Conrad:<br>
</div>
<blockquote
cite="mid:DM2PR09MB0543D8654BDD006E634FB80E943E0@DM2PR09MB0543.namprd09.prod.outlook.com"
type="cite">
<pre wrap="">Till, et al,
Here are my comments on the UML appendix. Let me know if there
are any questions/comments, can discuss if needed.
Conrad
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">
_________________________________________________________________
To Post: <a class="moz-txt-link-freetext" href="mailto:ontoiop-forum@ovgu.de">mailto:ontoiop-forum@ovgu.de</a>
Message Archives: <a class="moz-txt-link-freetext" href="https://listserv.ovgu.de//pipermail/ontoiop-forum">https://listserv.ovgu.de//pipermail/ontoiop-forum</a>
Config/Unsubscribe: <a class="moz-txt-link-freetext" href="https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum">https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum</a>
Community Files (open): <a class="moz-txt-link-freetext" href="http://interop.cim3.net/file/pub/OntoIOp/">http://interop.cim3.net/file/pub/OntoIOp/</a>
Community Wiki: <a class="moz-txt-link-freetext" href="http://ontoiop.org">http://ontoiop.org</a>
</pre>
</blockquote>
<br>
</body>
</html>