Issue 7456: Remove the composition symbol at the end of PropertyCallExp                                                                                                                                             (ocl2-ftf)
Source: Klasse Objecten (Dr. Jos Warmer, j.warmer@klasse.nl)
Nature: Uncategorized Issue
Severity: 
Summary: Remove the composition symbol at the end of PropertyCallExp in the association between Property-
CallExp (rolename appliedProperty) and OclExpression (rolename source). This should be a normal
association.
Composition implies lifetime dependency, therefore this use of composition is incorrect. An OclExpression
exists independent of its (optional) applied property and they have no lifetime dependency.
Resolution: 
Revised Text: 
Actions taken:
June 10, 2004: received issue
November 1, 2005: closed issue
Discussion: 
Discussion:
The source expression does not exist independently of the PropertyCallExp. The containment
strategy used by OCL to encode navigation expressions is from right to left (left expressions are
contained by expressions in the right).
Disposition: Closed, no change
End of Annotations:=====
emove the composition symbol at the end of PropertyCallExp in the association between Property-
CallExp (rolename appliedProperty) and OclExpression (rolename source). This should be a normal
association.
Composition implies lifetime dependency, therefore this use of composition is incorrect. An OclExpression
exists independent of its (optional) applied property and they have no lifetime dependency.