Issue 1431:  Section 2.2.4: Boca Meta-Model in CDL (boca-rtf)
Source:  (, )
Nature:  Revision
Severity: 
Summary: Summary: Analysis: TypedElement derives from NamedElement, yet TypedNamedElement derives from both 
 TypedElement and from NamedElement.  It is not clear what the intent is here.  The corresponding UML 
 diagram (section 5.1) is ambiguous--it is hard to tell whether TypedElement derives from NamedElement or 
 ModelElement.  If the intent is for TypedElement to derive from NamedElement, then there would appear to 
 be no purpose for TypedNamedElement at all, since TypedElement is a NamedElement.

Resolution: 
Revised Text: 
Actions taken:
June 3, 1998: received issue
June 23, 1998: closed issue
Discussion: 

End of Annotations:=====
*ISSUE 3*

Section 2.2.4 (BOCA Meta-Model in CDL)

identifiable TypedElement: NamedElement {
        relationship type_kw References 1..1 Classifier inverse
used_by;
};
identifiable TypedNamedElement : TypedElement, NamedElement {};

Analysis: TypedElement derives from NamedElement, yet
TypedNamedElement derives from both 
TypedElement and from NamedElement.  It is not clear what the intent
is here.  The corresponding UML 
diagram (section 5.1) is ambiguous--it is hard to tell whether
TypedElement derives from NamedElement or 
ModelElement.  If the intent is for TypedElement to derive from
NamedElement, then there would appear to 
be no purpose for TypedNamedElement at all, since TypedElement is a
NamedElement.

Recommendation:  Either change TypedElement to derive from
ModelElement; or remove the declaration of 
TypedNamedElement and change all references to it to TypedElement.