Issue 1452:  Why is inherit_specification attribute declared here? (boca-rtf)
Source:  (, )
Nature:  Revision
Severity: 
Summary: Summary: Section 2.2.4 (BOCA Meta-Model in CDL)
 
 [is_abstract] identifiable BocaStructuralFeature: BocaFeature
                 , StructuralFeature
 {
         //attribute Expression computation;
          relationship computation Uses Expression;
         attribute WhenKind computation_kind=NO_COMPUTATION;
         // attribute BooleanExpression constraint;
          relationship constraint Uses BooleanExpression;
         attribute ChangeableKind changeable=IS_CHANGEABLE;
         attribute boolean inherit_specification=FALSE;
         // attribute Classifier returned_type;
          relationship returned_type Uses Classifier;
         attribute boolean is_state=TRUE;
         // attribute Set<ChangeConsumer> consumer;
         relationship consumer Many ChangeConsumer inverse producer;
 }; /* StructuralFeature */
 
 It is not clear why the inherit_specification attribute is declared here rather than in 
 BocaRelatiohshipReference.
 
 Recommendation:  Either provide a reason for this attribute"s presence here or move it to 
 BocaRelationshipReference.

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

End of Annotations:=====
*ISSUE 24*

Section 2.2.4 (BOCA Meta-Model in CDL)

[is_abstract] identifiable BocaStructuralFeature: BocaFeature
                , StructuralFeature
{
        //attribute Expression computation;
         relationship computation Uses Expression;
        attribute WhenKind computation_kind=NO_COMPUTATION;
        // attribute BooleanExpression constraint;
         relationship constraint Uses BooleanExpression;
        attribute ChangeableKind changeable=IS_CHANGEABLE;
        attribute boolean inherit_specification=FALSE;
        // attribute Classifier returned_type;
         relationship returned_type Uses Classifier;
        attribute boolean is_state=TRUE;
        // attribute Set<ChangeConsumer> consumer;
        relationship consumer Many ChangeConsumer inverse producer;
}; /* StructuralFeature */

It is not clear why the inherit_specification attribute is declared
here rather than in 
BocaRelatiohshipReference.

Recommendation:  Either provide a reason for this attribute's presence
here or move it to 
BocaRelationshipReference.