[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [mdt-uml2.dev] conformsTo and interfaces
|
Hi, Pieter,
Questions such as this are probably better asked on the UML2 forum, where there is a wider audience that may benefit from discussion.
As far as I understand it, UML defines type conformance only in terms of the Generalization relationship between Classifiers. InterfaceRealization is not a Generalization, but is a looser indication of the contract satisfied by a classifier, possibly with domain- or implementation-language-specific semantics assumed.
And this is certainly not the first instance in which the UML and OCL specifications diverge in their interpretation of some fairly basic concepts. If there is a bug, it is probably in one or both of these specifications, not necessarily in the Eclipse implementation of the UML. But that implementation could nonetheless provide some help by way of additional enhancements. If I'm not mistaken, there is already an item in Bugzilla that deals with this very problem. Have you searched for it?
HTH,
Christian
On Jan 9, 2014, at 12:35 PM, Pieter Martin <pieter.martin@xxxxxxxxx> wrote:
> Hi,
>
> I noticed that the ClassifierImpl.conformsTo only check generals and not for realized interfaces.
>
> from the ocl spec it says "Classes conform to superclasses and interfaces that they realize."
>
> Is this a bug?
>
> Thanks
> Pieter
>
>
> _______________________________________________
> mdt-uml2.dev mailing list
> mdt-uml2.dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/mdt-uml2.dev
