Issue 7949: Section: 7.3.44 - OCL incorrect (uml2-rtf)
Source:  (, )
Nature: Revision
Severity: Minor
Summary: The OCL for the derivation of association /opposite for Property in section 7.3.44, page 126 is incorrect. It's derivation in section "Constraints" on page 126 as given as follows: [1] If this property is owned by a class, associated with a binary association, and the other end of the association is also owned by a class, then opposite gives the other end. opposite = if owningAssociation->notEmpty() and association.memberEnd->size() = 2 then let otherEnd = (association.memberEnd - self)->any() in if otherEnd.owningAssociation->notEmpty() then otherEnd else Set{} endif else Set {} endif I think that the prose "this property is owned by a class" should translate into "class" and not "owningAssociation" in the above OCL. In other words, the prose does not agree with the OCL. So contraint [1] for opposite should read opposite = if class->notEmpty() and ... let ... in if otherEnd.class -> notEmpty() then ... else Set {} endif 

Resolution: See issue 6201 for disposition
Revised Text: 
Actions taken:
November 26, 2004: received issue
August 23, 2006: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org 
Date: 26 Nov 2004 04:29:56 -0500 
To: <issues@omg.org> 
Subject: Issue/Bug Report 



--------------------------------------------------------------------------------

Name: Earl Waldin
Company: Paranor AG
mailFrom: waldin@paranor.ch
Notification: No
Specification: UML 2.0 Superstructure Specification
Section: 7.3.44
FormalNumber: Revised Final Adopted Specification (ptc/04-10-02)
Version: 2.0
RevisionDate: 10/8/2004
Page: 126
Nature: Revision
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; rv:1.7.3) Gecko/20041001 Firefox/0.10.1
Description
The OCL for the derivation of association /opposite for Property in section 7.3.44, page 126 is incorrect. It's derivation in section "Constraints" on page 126 as given as follows: [1] If this property is owned by a class, associated with a binary association, and the other end of the association is also owned by a class, then opposite gives the other end. opposite = if owningAssociation->notEmpty() and association.memberEnd->size() = 2 then let otherEnd = (association.memberEnd - self)->any() in if otherEnd.owningAssociation->notEmpty() then otherEnd else Set{} endif else Set {} endif I think that the prose "this property is owned by a class" should translate into "class" and not "owningAssociation" in the above OCL. In other words, the prose does not agree with the OCL. So contraint [1] for opposite should read opposite = if class->notEmpty() and ... let ... in if otherEnd.class -> notEmpty() then ... else Set {} endif