[ontoiop-forum] OntoIOp teleconference (n.71): Mon 2015.01.12

[Rick]

Till & All:

If I recall UML allows parametricity and fUML does not. There is some sentiment that the type system needs work.

--
Rick

Sent from my Verizon Wireless 4G LTE DROID

Till Mossakowski <mossakow at iws.cs.uni-magdeburg.de> wrote:

>Dear Maria, dear all,
>
>generally, there has been agreemet that this is a useful draft; the only
>problematic point being the semantics of UML class diagrams in relation
>to fUML.
>For the latter point, it will be useful to have a look a a paper by Ed
>Seidewitz, where he describes the intended semantics of UML class
>diagrams with FOL formulas (based on examples). 
>http://lib.modeldriven.org/MDLibrary/trunk/Pub/Papers/Model%20Semantics%20and%20Mathematical%20Logic.pdf
>
>All the best,
>Till
>
>Am 11.01.2015 11:04, schrieb Maria Keet:
>> Dear Till, All,
>>
>> happy new year to you too.
>>
>> 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).
>>
>> Was the draft well-received?
>> Also, I'm very much interested in especially the third item.
>>
>> Regards,
>> Maria
>> ________________________________________
>> From: ontoiop-forum-bounces at ovgu.de [ontoiop-forum-bounces at ovgu.de] on behalf of Till Mossakowski [mossakow at iws.cs.uni-magdeburg.de]
>> Sent: 10 January 2015 07:04 PM
>> To: OntoIOp open discussion
>> Subject: [ontoiop-forum]     OntoIOp teleconference (n.71): Mon 2015.01.12
>>
>> Dear all,
>>
>> happy new year!
>>
>> On Monday we have the biweekly OntoIOp telcon.
>>
>> The topics are:
>> - report from OMG meeting
>> - plan for revision of the submission
>> - semantics of UML class diagrams and fUML
>>
>> All the best,
>> Till
>>
>>
>> = OntoIOp team-confcall (n.71) - Mon 2015.01.12 =
>> <
>> * Date: Mon 12-Jan-2015
>> * start-time: 8:00am PST / 11:00
>> pm EST / 4:00pm GMT / 5:00pm CET / 6:00pm SAST / 1:00am KST / 16:00 UTC
>> ** ref. world clock -
>> http://www.timeanddate.com/worldclock/fixedtime.html?month=1&day=12&year=2015&hour=8&min=0&sec=0&p1=224
>> * Duration: 1~1.5 Hrs.
>> * shared-file workspace:
>> http://ontolog.cim3.net/file/work/OntoIOp/Team_confcall/2015-01-12_team-confcall_n.71/
>> * chat-workspace: http://webconf.soaphub.org/conf/room/ontoiop_20150112
>>
>>
>> Remarks:
>>
>> * the session may be recorded for archival purposes. Unless
>> otherwise documented, participants agrees to this by virtue of
>> their participation at the session.
>>
>> *  In case we have to mute everyone (due to extraneous noise or echo)
>> - Mute control: *7 to un-mute ... *6 to mute
>>
>> Dial-in:
>> * Phone (US): +1 (206) 402-0100
>> ...  when prompted enter Conference ID: 843758#
>> * Skype: "join.conference"
>> ...  when prompted enter Conference ID: 843758#
>> ** in case your skype connection to "joinconference" is not holding
>> up, try using (your favorite POTS or VoIP line, etc.) either your
>> phone, skype-out or google-voice  and
>> call the US dial-in number: +1 (425) 440-5100
>> ... when prompted enter Conference ID: 843758#
>> ** some local numbers may be available (in the US, Australia, Canada &
>> UK) - see: http://instantteleseminar.com/Local/
>> ** for Windows Skype users: Can't find Skype Dial pad? ... it may be
>> under the "Call" dropdown menu as "Show Dial pad"
>> **  for Linux Skype users: if the dialpad button is not shown in the
>> call window you need to press the "d" hotkey to enable it. (--CLange)
>>
>>
>> Talk to you all then!
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>
>> _________________________________________________________________
>> To Post: mailto:ontoiop-forum at ovgu.de
>> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>> Community Wiki: http://ontoiop.org
>>
>> ________________________________
>>  UNIVERSITY OF CAPE TOWN
>>
>> 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.
>>
>>
>> _________________________________________________________________
>> To Post: mailto:ontoiop-forum at ovgu.de
>> Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>> Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>> Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>> Community Wiki: http://ontoiop.org
>
>
>_________________________________________________________________
>To Post: mailto:ontoiop-forum at ovgu.de
>Message Archives: https://listserv.ovgu.de//pipermail/ontoiop-forum
>Config/Unsubscribe: https://listserv.ovgu.de/mailman/listinfo/ontoiop-forum
>Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
>Community Wiki: http://ontoiop.org
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.ovgu.de/pipermail/ontoiop-forum/attachments/20150112/0bc35585/attachment-0001.html>