Issue 7535: result value of an association end call expression (ocl2-rtf) Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl) Nature: Uncategorized Issue Severity: Summary: 27. -- [1] The result value of an association end call expression is the value bound -- to the name of the association end to which it refers. Note that the -- determination of the result value when qualifiers are present is specified in -- section 5.4.3 ("Well-formedness rules for the AS-Domain-Mapping.exp-eval -- Package"). context AssociationEndCallExpEval inv: qualifiers->size() = 0 implies resultValue = source.resultValue.getCurrentValueOf(referredAssociationEnd.name) ==> ’name’ should be ’value’ Resolution: Revised Text: Actions taken: June 10, 2004: received issue Discussion: End of Annotations:===== s is issue # 7535 result value of an association end call expression 27. -- [1] The result value of an association end call expression is the value bound -- to the name of the association end to which it refers. Note that the -- determination of the result value when qualifiers are present is specified in -- section 5.4.3 ("Well-formedness rules for the AS-Domain-Mapping.exp-eval -- Package"). context AssociationEndCallExpEval inv: qualifiers->size() = 0 implies resultValue = source.resultValue.getCurrentValueOf(referredAssociationEnd.name) ==> .name. should be .value.