Issue 6464: UML 2 Issue: isUnique (uml2-rtf) Source: Simula Research Laboratory (Mr. Bran Selic, selic(at)acm.org) Nature: Uncategorized Issue Severity: Summary: PROBLEM STATEMENT "When one or more ends of the association have isUnique=false, it is possible to have several links associating the same set of instances." (Superstructure, p. 81) As Pierre-Alain Muller demonstrated in an informal conversation with Bran Selic during a lunch in San Francisco in the last UML Conference (I also was taking part in that conversation), isUnique must have the same value for all ends in an association. This has implications, for example, for the property strings that can be placed near the association ends ({ordered}, {bag}, {seq}). According to the table in Superstructure, p. 92, if one end is a Set or an OrderedSet, then the opposite end must be a Set or an OrderedSet, too; and if one end is a Bag or a Sequence, then the opposite end must be a Bag or a Sequence, too. PROPOSED SOLUTION Explain this in the Spec. Resolution: Revised Text: Actions taken: November 7, 2003: received issue February 18, 2005: moved from infrastructure Discussion: Disposition: Deferred to UML 2.4 RTF End of Annotations:===== ubject: Fw: UML 2 Issue: isUnique X-Mailer: Lotus Notes Release 6.0.2CF1 June 9, 2003 From: Branislav Selic Date: Fri, 7 Nov 2003 08:31:01 -0500 X-MIMETrack: Serialize by Router on D25ML05/25/M/IBM(Release 6.0.2CF1|June 9, 2003) at 11/07/2003 08:31:08, Serialize complete at 11/07/2003 08:31:08 Issue raised by Gonzalo Genova. Bran Selic IBM Software Group -- Rational Software 770 Palladium Drive Kanata, Ontario, Canada K2V 1C8 ph. (613) 591-7915 fax (613) 599-3912 e-mail: bselic@ca.ibm.com ----- Forwarded by Branislav Selic/Ottawa/IBM on 11/07/2003 07:49 AM ----- Gonzalo Genova 11/06/2003 01:34 PM To: "'issues@omg.org'" , Branislav Selic/Ottawa/IBM@IBMCA, "'pa.muller@uha.fr'" cc: "Juan Llorens (inf)" , "J.Miguel Fuentes Torres" Subject: UML 2 Issue: isUnique This issue refers to UML 2.0 Infrastructure Specification (ptc/03-09-15) and UML 2.0 Superstructure Specification (ptc/03-08-02). PROBLEM STATEMENT "When one or more ends of the association have isUnique=false, it is possible to have several links associating the same set of instances." (Superstructure, p. 81) As Pierre-Alain Muller demonstrated in an informal conversation with Bran Selic during a lunch in San Francisco in the last UML Conference (I also was taking part in that conversation), isUnique must have the same value for all ends in an association. This has implications, for example, for the property strings that can be placed near the association ends ({ordered}, {bag}, {seq}). According to the table in Superstructure, p. 92, if one end is a Set or an OrderedSet, then the opposite end must be a Set or an OrderedSet, too; and if one end is a Bag or a Sequence, then the opposite end must be a Bag or a Sequence, too. PROPOSED SOLUTION Explain this in the Spec.