On 11/6/13 5:48 AM, Fabian Neuhaus wrote:
> - fUML is -- to the best of my knowledge -- not equipped with a model
>theoretic semantics, but with an operational semantics
Please see http://www.omg.org/spec/FUML/1.1/, from p 351 on, where the
semantics is given in terms of CLIF. (01)
I don't know how this semantics should be classified, but this is what
"the semantics of fUML" that is being referred to. (02)
Tara (03)
_________________________________________________________________
To Post: mailto:ontoiop-forum@xxxxxxxxxxxxxxxx
Message Archives: http://ontolog.cim3.net/forum/ontoiop-forum/
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/ontoiop-forum/
Community Files (open): http://interop.cim3.net/file/pub/OntoIOp/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp (04)
|