<div><div>Till &amp; All:</div><div><br/></div><div>If I recall UML allows parametricity and fUML does not. There is some sentiment that the type system needs work.</div><div><br/></div><div>--</div><div>Rick</div><div><br/></div><div><font style="color:#333333"><i>Sent from my Verizon Wireless 4G LTE DROID</i></font></div></div><br><br>Till Mossakowski &lt;mossakow@iws.cs.uni-magdeburg.de&gt; wrote:<br><br>Dear Maria, dear all,<br><br>generally, there has been agreemet that this is a useful draft; the only<br>problematic point being the semantics of UML class diagrams in relation<br>to fUML.<br>For the latter point, it will be useful to have a look a a paper by Ed<br>Seidewitz, where he describes the intended semantics of UML class<br>diagrams with FOL formulas (based on examples). <br>http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf<br><br>All the best,<br>Till<br><br>Am 11.01.2015 11:04, schrieb Maria Keet:<br>&gt; Dear Till, All,<br>&gt;<br>&gt; happy new year to you too.<br>&gt;<br>&gt; Hereby I send my regrets, as I'll be in Maputo tomorrow where I'll be attending a conference (and Mondays 6pm outside term time is a bit problematic in general).<br>&gt;<br>&gt; Was the draft well-received?<br>&gt; Also, I'm very much interested in especially the third item.<br>&gt;<br>&gt; Regards,<br>&gt; Maria<br>&gt; ________________________________________<br>&gt; From: ontoiop-forum-bounces@ovgu.de [ontoiop-forum-bounces@ovgu.de] on behalf of Till Mossakowski [mossakow@iws.cs.uni-magdeburg.de]<br>&gt; Sent: 10 January 2015 07:04 PM<br>&gt; To: OntoIOp open discussion<br>&gt; Subject: [ontoiop-forum]&nbsp;&nbsp;&nbsp;&nbsp; OntoIOp teleconference (n.71): Mon 2015.01.12<br>&gt;<br>&gt; Dear all,<br>&gt;<br>&gt; happy new year!<br>&gt;<br>&gt; On Monday we have the biweekly OntoIOp telcon.<br>&gt;<br>&gt; The topics are:<br>&gt; - report from OMG meeting<br>&gt; - plan for revision of the submission<br>&gt; - semantics of UML class diagrams and fUML<br>&gt;<br>&gt; All the best,<br>&gt; Till<br>&gt;<br>&gt;<br>&gt; = OntoIOp team-confcall (n.71) - Mon 2015.01.12 =<br>&gt; &lt;<br>&gt; * Date: Mon 12-Jan-2015<br>&gt; * start-time: 8:00am PST / 11:00<br>&gt; pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC<br>&gt; ** ref. world clock -<br>&gt; http://www.timeanddate.com/worldclock/fixedtime.html?month=1&amp;day=12&amp;year=2015&amp;hour=8&amp;min=0&amp;sec=0&amp;p1=224<br>&gt; * Duration: 1~1.5 Hrs.<br>&gt; * shared-file workspace:<br>&gt; http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2015-01-12_team-confcall_n.71/<br>&gt; * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150112<br>&gt;<br>&gt;<br>&gt; Remarks:<br>&gt;<br>&gt; * the session may be recorded for archival purposes. Unless<br>&gt; otherwise documented, participants agrees to this by virtue of<br>&gt; their participation at the session.<br>&gt;<br>&gt; *&nbsp; In case we have to mute everyone (due to extraneous noise or echo)<br>&gt; - Mute control: *7 to un-mute ... *6 to mute<br>&gt;<br>&gt; Dial-in:<br>&gt; * Phone (US): +1 (206) 402-0100<br>&gt; ...&nbsp; when prompted enter Conference ID: 843758#<br>&gt; * Skype: "join.conference"<br>&gt; ...&nbsp; when prompted enter Conference ID: 843758#<br>&gt; ** in case your skype connection to "joinconference" is not holding<br>&gt; up, try using (your favorite POTS or VoIP line, etc.) either your<br>&gt; phone, skype-out or google-voice&nbsp; and<br>&gt; call the US dial-in number: +1 (425) 440-5100<br>&gt; ... when prompted enter Conference ID: 843758#<br>&gt; ** some local numbers may be available (in the US, Australia, Canada &amp;<br>&gt; UK) - see: http://instantteleseminar.com/Local/<br>&gt; ** for Windows Skype users: Can't find Skype Dial pad? ... it may be<br>&gt; under the "Call" dropdown menu as "Show Dial pad"<br>&gt; **&nbsp; for Linux Skype users: if the dialpad button is not shown in the<br>&gt; call window you need to press the "d" hotkey to enable it. (--CLange)<br>&gt;<br>&gt;<br>&gt; Talk to you all then!<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt;<br>&gt; _________________________________________________________________<br>&gt; To Post: mailto:ontoiop-forum@ovgu.de<br>&gt; Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum<br>&gt; Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum<br>&gt; Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/<br>&gt; Community Wiki: http://ontoiop.org<br>&gt;<br>&gt; ________________________________<br>&gt;&nbsp; UNIVERSITY OF CAPE TOWN<br>&gt;<br>&gt; This e-mail is subject to the UCT ICT policies and e-mail disclaimer published on our website at http://www.uct.ac.za/about/policies/emaildisclaimer/ or obtainable from +27 21 650 9111. This e-mail is intended only for the person(s) to whom it is addressed. If the e-mail has reached you in error, please notify the author. If you are not the intended recipient of the e-mail you may not use, disclose, copy, redirect or print the content. If this e-mail is not related to the business of UCT it is sent by the sender in the sender's individual capacity.<br>&gt;<br>&gt;<br>&gt; _________________________________________________________________<br>&gt; To Post: mailto:ontoiop-forum@ovgu.de<br>&gt; Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum<br>&gt; Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum<br>&gt; Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/<br>&gt; Community Wiki: http://ontoiop.org<br><br><br>_________________________________________________________________<br>To Post: mailto:ontoiop-forum@ovgu.de<br>Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum<br>Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum<br>Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/<br>Community Wiki: http://ontoiop.org<br><br>