Issue 12947: Clarify the common supertype of Bag and Sequence (ocl2-rtf) Source: France Telecom R&D (Mr. Mariano Belaunde, mariano.belaunde(at)orange.com) Nature: Uncategorized Issue Severity: Summary: Summary: Does an OrderedSet conforms to a Set? Does an OrderedSet conforms to a Sequence? It seems that there is no automatic conformance between these concrete collection types (hence an explicit conversion need to be done when needed) However, for clarification, this should be stated in the definition of the respective concrete collection types to avoid OCL writers making wrong assumptions. Resolution: Adding clarification sentences Revised Text: In Section 11.6.3, add the sentence: An OrderedSet is not a subtype of Set, neither a subtype of Sequence. The common supertype of Sets and OrderedSets is Collection. In Section 11.6.5 add the sentence. A Sentence is not a subtype of Bag. The common supertype of Sentence and Bags is Collection. Actions taken: October 10, 2008: received issue October 16, 2009: closed issue Discussion: End of Annotations:===== m: This is issue # 12947 Clarify the common supertype of Bag and Sequence Summary: Does an OrderedSet conforms to a Set? Does an OrderedSet conforms to a Sequence? It seems that there is no automatic conformance between these concrete collection types (hence an explicit conversion need to be done when needed) However, for clarification, this should be stated in the definition of the respective concrete X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqkFAJdew0rUnw4U/2dsb2JhbACCJC+XB78RhCcE Date: Wed, 30 Sep 2009 21:40:37 +0100 From: Ed Willink User-Agent: Thunderbird 2.0.0.22 (Windows/20090605) To: "'ocl2-rtf@omg.org'" Subject: Issue 12947 Resolution Typo X-Plusnet-Relay: 29113140ffed7359959c3232669b3e90 Hi Mariano The revised text for 11.6.5 should be A Sequence is not a subtype of Bag. The common supertype of Sequences and Bags is Collection. rather than A Sentence is not a subtype of Bag. The common supertype of Sentence and Bags is Collection. Regards Ed Willink collection types to avoid OCL writers making wrong assumptions.