Issue 12451: OrderedSet collection (ocl2-rtf)
Source:  (, )
Nature: Enhancement
Severity: Significant
Summary: The OrderedSet collection is a later adjunction with respect to previous versions of OCL. However, it has not been systematically introduced in all relevant places. As one example among many, conformance rules in Table 7.3 (p.12) do not include OrderedSet. Also, the semantics defined in Appendix A should be extended to include OrderedSet. By the way, there is no place where the difference between OrderedSet and Sequence is discussed. From my understanding, they are much like the same concept. If it is not the case, the differences must be explicitly stated.
Resolution: 
Revised Text: In the table 7.3 add a row between Bag(T1) and Integer with the following content:
                 OrderedSet(T1)    |      Collection(T2)     |        if T1 conforms to T2

Actions taken:
May 14, 2008: received issue
October 16, 2009: closed issue
Discussion: 
Various issue resolution solve the problem mentioned by the reporter. The table 7.3 was not yet completed. This resolution solves that. 
Regarding the difference between OrderedSet and Sequence it is very clear in the types section.
End of Annotations:=====
me: Esteban Zimanyi 
Company: Universite Libre de Bruxelles 
mailFrom: ezimanyi@ulb.ac.be 
Notification: Yes 
Specification: OCL 
Section: many ... 
FormalNumber: 2006-05-01 
Version: 2.0 
RevisionDate: 05/10/08 
Page: 1..230 
Nature: Revision 
Severity: Significant 
HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.0; .NET CLR 2.0.50727) 

This is issue # 12451

The OrderedSet collection is a later adjunction with respect to previous versions of OCL. However, it has not been systematically introduced in all relevant places. As one example among many, conformance rules in Table 7.3 (p.12) do not include OrderedSet. Also, the semantics defined in Appendix A should be extended to include OrderedSet. By the way, there is no place where the difference between OrderedSet and Sequence is discussed. From my understanding, they are much like the same concept. If it is not the case, the differences must be explicitly stated.