Issue 1471:  Keyword  appliance_kind for BocaApplianceKind (boca-rtf)
Source:  (, )
Nature:  Revision
Severity: 
Summary: Summary: The specification of the keyword appliance_kind for BocaApplianceKind means that the declaration of Label 
 as an appliance_kind automatically makes BocaApplianceKind the supertype of Label.  Therefore, if, in 
 keeping with issue 39, Appliance is removed from the meta-model, then the Label declaration need not have 
 any explicit supertype.
 
 Recommendation: If Appliance is removed from the meta-model then remove the specification of Appliance 
 as the supertype of Label.

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

End of Annotations:=====
*ISSUE 41*

Section 2.2.4 (BOCA Meta-Model in CDL)

identifiable BocaApplianceKind: BocaUnidentifiable{
        [is_locked] attribute boolean pass_by_value=FALSE;
        [is_locked] attribute ChangeableKind changeable=FROZEN;
        [MANAGER, is_read_only, is_locked] relationship base_type Uses
BocaType=BaseAppliance;
        [MANAGER, is_read_only, is_locked] attribute string
keyword="appliance_kind";
};  /* ApplianceType */
...
appliance_kind Label :Appliance{
        //attribute NamedElement labeled_element;
		relationship labeled_element Uses NamedElement;
        attribute string label_name;
        attribute string locale;
}; /* PlugIn */

The specification of the keyword appliance_kind for BocaApplianceKind
means that the declaration of Label 
as an appliance_kind automatically makes BocaApplianceKind the
supertype of Label.  Therefore, if, in 
keeping with issue 39, Appliance is removed from the meta-model, then
the Label declaration need not have 
any explicit supertype.

Recommendation: If Appliance is removed from the meta-model then
remove the specification of Appliance 
as the supertype of Label.