Issue 14597: OCL 2.1 12 Typos (ocl2-rtf) Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk) Nature: Uncategorized Issue Severity: Summary: 12.12 para 3 "OCl" for "OCL". 12.8 para 1 last sentence, 12.9 para 1 last sentence; both are unreadable. 12.12.2 No [B] rule 12.12.1/12.12.2 contextDeclCS/contextDeclarationCS Resolution: The OCl typo is fixed in OCL 2.3. The grammar typos are easily fixed. While making the multiplicity statements readable, we can make one small step towards aligning OCL with UML 2.x properties. Revised Text: In 12.8 replace An initial value expression is an expression that may be linked to an Attribute of a Classifier, or to an AssociationEnd. An OCL expression acting as the initial value of an attribute must conform to the defined type of the attribute. An OCL expression acting as the initial value of an association end must conform to the type of the association end. For instance, the type of the attached Classifier when the multiplicity is maximumone, or OrderedSet with element type the type of the attached Classifier when the multiplicity is maximum more than one. by An initial value expression is an expression that may be linked to a Property which may be owned by a Classifier or an Association. The type of an OCL expression acting as the initial value of a Property must conform to the OCL type of the Property. When the upperbound on the Property multiplicity is one, the OCL type of the Property is the UML type of the Property. When the upperbound on the multiplicity is more than one, the OCL type of the Property is a Collection of elements whose type is that of the UML type of the Property. The kind of the Collection (Bag, OrderedSet, Sequence, Set) is determined by the UML unique and ordered properties of the Property. In 12.9 replace A derived value expression is an expression that may be linked to an Attribute of a Classifier, or to an AssociationEnd. An OCL expression acting as the derived value of an attribute must conform to the defined type of the attribute. An OCL expression acting as the derived value of an association end must conform to the type of the association end. For instance, the type of the attached Classifier when the multiplicity is maximum one, or OrderedSet with element type the type of the attached Classifier when the multiplicity is maximum more than one. by A derived value expression is an expression that may be linked to a Property which may be owned by a Classifier or an Association. The type of an OCL expression acting as the derived value of a Property must conform to the OCL type of the Property. When the upperbound on the Property multiplicity is one, the OCL type of the Property is the UML type of the Property. When the upperbound on the multiplicity is more than one, the OCL type of the Property is a Collection of elements whose type is that of the UML type of the Property. The kind of the Collection (Bag, OrderedSet, Sequence, Set) is determined by the UML unique and ordered properties of the Property. In 12.12.1 replace [17] [A] packageDeclarationCS ::= “package” pathNameCS contextDeclCS* “endpackage” [18] [B] packageDeclarationCS ::= contextDeclCS* by [17] [A] packageDeclarationCS ::= “package” pathNameCS contextDeclarationCS * “endpackage” [18] [B] packageDeclarationCS ::= contextDeclarationCS * In 12.12.2 replace [20] [C] contextDeclarationCS ::= classifierContextDeclCS [21] [D] contextDeclarationCS ::= operationContextDeclCS by [20] [B] contextDeclarationCS ::= classifierContextDeclCS [21] [C] contextDeclarationCS ::= operationContextDeclCS Actions taken: October 31, 2009: received issue December 23, 2013: closed issue Discussion: End of Annotations:===== s is issue # 14597 From: Ed Willink OCL 2.1 12 Typos 12.12 para 3 "OCl" for "OCL". 12.8 para 1 last sentence, 12.9 para 1 last sentence; both are unreadable. 12.12.2 No [B] rule 12.12.1/12.12.2 contextDeclCS/contextDeclarationCS