Issue 17463: Navigation from Association Classes does not conform to UML 2.4.1 (ocl2-rtf) Source: (, ) Nature: Clarification Severity: Significant Summary: The navigation from Association Classes does not conform to UML 2.4.1 because of 7.3.4 AssociationClass on page 44 UML Superstructure Specification, v2.4.1. the kind of navigation allowed by OCL is not allowed by UML, i.e. the navigation from the association class to the ends of the association is explicitly not allowed by UML but allowed by OCL. I see here a contradiction. I checked UML 2.1.2 from 2007 and in that UML this navigation from the association class the ends of the association was still allowed. I think that OCL 2.3.1 is not compatible with UML 2.4.2 from this point of view. Please tell me if this opinion is correct. If this contradiction that I remarked really exists than what to expect from the future: OCL or UML point of view? Resolution: The apparent prohibition in UML 2.4.1 is not present in UML 2.5 Beta. The problem is a misunderstanding. OCL expressions are resolved at 'modeling-time' against the model and so are not restricted by visibility or any practical limitations that may occur at run-time. Disposition: Closed, no change Revised Text: Actions taken: July 1, 2012: received issue December 23, 2013: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 01 Jul 2012 16:55:21 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: DI Florin Ioan Chertes Employer: mailFrom: FlorinChertes@computer.org Terms_Agreement: I agree Specification: OCL 2.3.1 Section: 7.6.6 FormalNumber: 2012-01-01 Version: v2.3.1 Doc_Year: 2012 Doc_Month: January Doc_Day: 01 Page: 21 Title: Navigation from Association Classes does not conform to UML 2.4.1 Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Description: The navigation from Association Classes does not conform to UML 2.4.1 because of 7.3.4 AssociationClass on page 44 UML Superstructure Specification, v2.4.1. the kind of navigation allowed by OCL is not allowed by UML, i.e. the navigation from the association class to the ends of the association is explicitly not allowed by UML but allowed by OCL. I see here a contradiction. I checked UML 2.1.2 from 2007 and in that UML this navigation from the association class the ends of the association was still allowed. I think that OCL 2.3.1 is not compatible with UML 2.4.2 from this point of view. Please tell me if this opinion is correct. If this contradiction that I remarked really exists than what to expect from the future: OCL or UML point of view? X-CM-Score: 0.00 X-CNFS-Analysis: v=2.0 cv=J/goHXbS c=1 sm=1 a=eW53zEZrsyElcQ0NK1QpqA==:17 a=0-VhLkpDQP4A:10 a=OGPTETDv8AcA:10 a=IkcTkHD0fZMA:10 a=YYzpnO7rAAAA:8 a=KHpXyVWLAAAA:8 a=8qSefF8wAAAA:8 a=oCcaPWc0AAAA:8 a=80SqpcZVjFwad5RaZDcA:9 a=QEXdDO2ut3YA:10 a=_W_S_7VecoQA:10 a=-zspGdomsggA:10 a=gFGq0ozTCKgA:10 a=c9tJgGcuwpQA:10 a=WP4_USCxRkkA:10 a=mHZC5r8sFEQA:10 a=eW53zEZrsyElcQ0NK1QpqA==:117 Date: Thu, 12 Jul 2012 05:46:25 +0100 From: Ed Willink User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:13.0) Gecko/20120614 Thunderbird/13.0.1 To: ocl2-rtf@omg.org, FlorinChertes@computer.org CC: Juergen Boldt Subject: Re: issue 17463 -- OCL 2 RTF issue Hi Aligning OCL 2.x with UML 2.x is still work in progress. Detailed study of OCL AssociationXXX usage will find UML 1.5 concepts. AssociationEnd is of limited significance to OCL, rather there is just an Object identified by a Property at the end of an Association, and it is the ObjectValue that is the result of a navigation. Fortunately this intent is quite obvious and so ten years' of deficient wording have not been too debilitating. It is only in the AS that these subtleties are evident. Regards Ed Willink On 11/07/2012 18:16, Juergen Boldt wrote: From: webmaster@omg.org Date: 01 Jul 2012 16:55:21 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: DI Florin Ioan Chertes Employer: mailFrom: FlorinChertes@computer.org Terms_Agreement: I agree Specification: OCL 2.3.1 Section: 7.6.6 FormalNumber: 2012-01-01 Version: v2.3.1 Doc_Year: 2012 Doc_Month: January Doc_Day: 01 Page: 21 Title: Navigation from Association Classes does not conform to UML 2.4.1 Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Description: The navigation from Association Classes does not conform to UML 2.4.1 because of 7.3.4 AssociationClass on page 44 UML Superstructure Specification, v2.4.1. the kind of navigation allowed by OCL is not allowed by UML, i.e. the navigation from the association class to the ends of the association is explicitly not allowed by UML but allowed by OCL. I see here a contradiction. I checked UML 2.1.2 from 2007 and in that UML this navigation from the association class the ends of the association was still allowed. I think that OCL 2.3.1 is not compatible with UML 2.4.2 from this point of view. Please tell me if this opinion is correct. If this contradiction that I remarked really exists than what to expect from the future: OCL or UML point of view? Juergen Boldt Director, Member Services 140 Kendrick Street, Building A Suite 300 Needham, MA 02494 USA Tel: 781 444 0404 x 132 fax: 781 444 0320 www.omg.org No virus found in this message. Checked by AVG - www.avg.com Version: 2012.0.2178 / Virus Database: 2437/5125 - Release Date: 07/11/12