Issue 13915: Role 'collectionTypes' should be 'collectionType' (ocl2-rtf) Source: France Telecom R&D (Mr. Mariano Belaunde, mariano.belaunde(at)orange.com) Nature: Uncategorized Issue Severity: Summary: In Section 8.2.2, in Classifier well-formedness rules, 'collectionTypes' is used instead of 'collectionType'. This is not correct since in OCL, by convention, when not provided explicitly the name of an opposite role takes the name of the target class with first letter lowerized. Resolution: Revised Text: In Section 8.2.2, (top of page 39), Classifier well-formedness rule, replace: [1]For each classifier at most one of each of the different collection types exist. context Classifier inv: collectionTypes->select(oclIsTypeOf(CollectionType))->size() <= 1 inv: collectionTypes->select(oclIsTypeOf(BagType ))->size() <= 1 inv: collectionTypes->select(oclIsTypeOf(SequenceType ))->size() <= 1 inv: collectionTypes->select(oclIsTypeOf(SetType ))->size() <= 1 by: [1]For each classifier at most one of each of the different collection types exist. context Classifier inv: collectionType->select(oclIsTypeOf(OrderedSetType))->size() <= 1 inv: collectionType->select(oclIsTypeOf(BagType))->size() <= 1 inv: collectionType->select(oclIsTypeOf(SequenceType))->size() <= 1 inv: collectionType->select(oclIsTypeOf(SetType))->size() <= 1 Actions taken: May 5, 2009: received issue October 16, 2009: closed issue Discussion: End of Annotations:===== ubject: New OCL issue Date: Tue, 5 May 2009 11:29:14 +0200 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: New OCL issue Thread-Index: AcnNY/RifFP28OamSNmPhp7GPBjCog== From: To: X-OriginalArrivalTime: 05 May 2009 09:29:14.0011 (UTC) FILETIME=[F440BEB0:01C9CD63] Hi Juergen, Could you please add this issue to the OCL 2.1 RTF? ----------------------------------- TITLE: Role 'collectionTypes' should be 'collectionType' SOURCE: Mariano Belaunde (France Telecom R&D/Orange Labs) SUMMARY: In Section 8.2.2, in Classifier well-formedness rules, 'collectionTypes' is used instead of 'collectionType'. This is not correct since in OCL, by convention, when not provided explicitly the name of an opposite role takes the name of the target class with first letter lowerized. ------------------------------------ Thanks in advance, Mariano Mariano Belaunde Senior Researcher in Modelling Techniques Orange Labs 8 Avenue Pierre Marzin 22300 Lannion France tel +33 2 96 05 30 85 mariano.belaunde@orange-ftgroup.com