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

[Fabian Neuhaus]

Dear Maria,
To elaborate a little bit, the feedback was that
- it is important to cover (a fragment of) UML class diagrams (and not 
drop it from the standard, which was one of my proposed solutions)
- that any proposal for a formal semantics for UML class diagrams should 
be developed in close cooperation with the fUML folks to ensure that the 
formal model theory that we propose is in tune with the fUML semantics
- several people who worked on fUML promised to help us

Best
Fabian


Am 12/01/15 13:51, schrieb Till Mossakowski:
> 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