Issue 1459:  inverse_type for References should be References (boca-rtf)
Source:  (, )
Nature:  Revision
Severity: 
Summary: Summary: Recommendation: Issue 6 contains a recommendation to eliminate the Many specifier for relationship 
 declarations.  Thus, this declaration of the relationship_kind Many should be eliminated from the meta-
 model.  
 
 Furthermore, the inverse_type for References should be References.  The semantic constraints addressed 
 by having separate Many and References specifiers should be expressed as formal constraints on the 
 combinations of multiplicity of a relationship and of the relationship pointed to by the inverse_type 
 relationship. 
 

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

End of Annotations:=====


*ISSUE 30*

Section 2.2.4 (BOCA Meta-Model in CDL)

[inverse_type=References]
relationship_kind Many: BocaRelationshipReference{
        {keyword="Many";
        // temporary multiplicity=MultiplicityKind(0..*);
        };
        [is_locked] attribute boolean inherit_specification=FALSE;
}; /* Many */

[inverse_type=Many]
relationship_kind References: BocaRelationshipReference{
        {keyword="References";
        // temporary multiplicity=MultiplicityKind(0..1);
        };
}; /* References */

Recommendation: Issue 6 contains a recommendation to eliminate the
Many specifier for relationship 
declarations.  Thus, this declaration of the relationship_kind Many
should be eliminated from the meta-
model.  

Furthermore, the inverse_type for References should be References.
The semantic constraints addressed 
by having separate Many and References specifiers should be expressed
as formal constraints on the 
combinations of multiplicity of a relationship and of the relationship
pointed to by the inverse_type 
relationship.