Issue 15424: Figure 7.3 (qvt-rtf) Source: Institute for Defense Analyses (Dr. Steven Wartik, swartik(at)ida.org) Nature: Uncategorized Issue Severity: Summary: I am confused by something in the MOF QVT specification (version 1.1) and am not sure if it’s an error or my own misunderstanding. Figure 7.3 (p. 24) has links from two instances of ObjectTemplateExp to a single instance of PropertyTemplateItem (the one in the middle). Figure 7.6 (p. 30) shows a composite association between ObjectTemplateExp and PropertyTemplateItem. Why then are there two links to the instance in Figure 7.3? Doesn’t a composite association mean that a PropertyTemplateItem can be owned by only one ObjectTemplateExp? Resolution: The problem is that UML Object diagrams omit the decorations from instantiated relationships. Shrt of moving to a non-standard UMLX diagram, we can perhaps get away with some explanations. Revised Text: Above Figure 7.3 add Instance diagrams omit the usual UML decorations, so the reader should note that a top to bottom composition layout is used in Figure 7.3. Thus the PropertyTempateItem for 'attribute' is composed by the ObjectTemplateItem for 'Class' and composes the ObjectTemplateItem for 'Attribute'. Actions taken: August 3, 2010: received issue July 15, 2014: closed issue Discussion: End of Annotations:===== m: "Wartik, Steven P \"Steve\"" To: "'mariano.belaunde@orange-ftgroup.com'" , "ed@willink.me.uk" CC: "qvt-rtf@omg.org" Date: Mon, 9 Aug 2010 13:25:23 -0400 Subject: RE: Question on 09-12-05 QVT Specification Thread-Topic: Question on 09-12-05 QVT Specification Thread-Index: AcszSW25wKjjkYMPQj2LJZ9llZZSewEiR8xAAAUon1A= Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Mariano, I.m glad to learn I.m not the only one who thinks the object diagram in Fig. 7.3 is imprecise and therefore error-prone. As Ed says, one has to remember the convention for downward parent-child composition when reading it. When I have some free time, I.ll prepare and submit a revised version. (Unless Ed wants to submit a UMLX version!) Regards, Steve Wartik From: mariano.belaunde@orange-ftgroup.com [mailto:mariano.belaunde@orange-ftgroup.com] Sent: Monday, August 09, 2010 10:58 AM To: ed@willink.me.uk; Wartik, Steven P "Steve" Cc: qvt-rtf@omg.org Subject: RE: Question on 09-12-05 QVT Specification Hi Steven, Ed, The object diagram in Fig 7.3 is error prone because it lacks of precision concerning what associations in the metamodel are involved. One of the links concerns the association ObjectTemplateExp::part whereas the other concerns PropertyTemplateItem::value (remember that an ObjectTemplateExp is a kind of OclExpression). There is no contradiction with Fig 7.6 but a lack of precision in Fig 7.3. Regards, Mariano -------------------------------------------------------------------------------- De : Ed Willink [mailto:ed@willink.me.uk] Envoyé mardi 3 aoû10 22:19 À: Wartik, Steven P "Steve" Cc : 'qvt-rtf@omg.org' Objet : Re: Question on 09-12-05 QVT Specification Hi Steven I think that the diagram is ok. One link is parent-child, the other is child-parent. The diagram is consistently parent-child composition downwards. Unfortunately UML object notation does not show composition diamonds. (My UMLX notation does!). Regards Ed Willink On 03/08/2010 19:47, Wartik, Steven P "Steve" wrote: Hi, I am confused by something in the MOF QVT specification (version 1.1) and am not sure if it.s an error or my own misunderstanding. Figure 7.3 (p. 24) has links from two instances of ObjectTemplateExp to a single instance of PropertyTemplateItem (the one in the middle). Figure 7.6 (p. 30) shows a composite association between ObjectTemplateExp and PropertyTemplateItem. Why then are there two links to the instance in Figure 7.3? Doesn.t a composite association mean that a PropertyTemplateItem can be owned by only one ObjectTemplateExp? Thanks, Steve Wartik Institute for Defense Analyses Alexandria, VA USA No virus found in this incoming message. Checked by AVG - www.avg.com Version: 9.0.851 / Virus Database: 271.1.1/3047 - Release Date: 08/03/10 07:35:00 From: "Wartik, Steven P \"Steve\"" To: "'mariano.belaunde@orange-ftgroup.com'" , "ed@willink.me.uk" CC: "qvt-rtf@omg.org" Date: Mon, 9 Aug 2010 13:25:23 -0400 Subject: RE: Question on 09-12-05 QVT Specification Thread-Topic: Question on 09-12-05 QVT Specification Thread-Index: AcszSW25wKjjkYMPQj2LJZ9llZZSewEiR8xAAAUon1A= Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Mariano, I.m glad to learn I.m not the only one who thinks the object diagram in Fig. 7.3 is imprecise and therefore error-prone. As Ed says, one has to remember the convention for downward parent-child composition when reading it. When I have some free time, I.ll prepare and submit a revised version. (Unless Ed wants to submit a UMLX version!) Regards, Steve Wartik From: mariano.belaunde@orange-ftgroup.com [mailto:mariano.belaunde@orange-ftgroup.com] Sent: Monday, August 09, 2010 10:58 AM To: ed@willink.me.uk; Wartik, Steven P "Steve" Cc: qvt-rtf@omg.org Subject: RE: Question on 09-12-05 QVT Specification Hi Steven, Ed, The object diagram in Fig 7.3 is error prone because it lacks of precision concerning what associations in the metamodel are involved. One of the links concerns the association ObjectTemplateExp::part whereas the other concerns PropertyTemplateItem::value (remember that an ObjectTemplateExp is a kind of OclExpression). There is no contradiction with Fig 7.6 but a lack of precision in Fig 7.3. Regards, Mariano -------------------------------------------------------------------------------- De : Ed Willink [mailto:ed@willink.me.uk] Envoyé mardi 3 aoû10 22:19 À: Wartik, Steven P "Steve" Cc : 'qvt-rtf@omg.org' Objet : Re: Question on 09-12-05 QVT Specification Hi Steven I think that the diagram is ok. One link is parent-child, the other is child-parent. The diagram is consistently parent-child composition downwards. Unfortunately UML object notation does not show composition diamonds. (My UMLX notation does!). Regards Ed Willink On 03/08/2010 19:47, Wartik, Steven P "Steve" wrote: Hi, I am confused by something in the MOF QVT specification (version 1.1) and am not sure if it.s an error or my own misunderstanding. Figure 7.3 (p. 24) has links from two instances of ObjectTemplateExp to a single instance of PropertyTemplateItem (the one in the middle). Figure 7.6 (p. 30) shows a composite association between ObjectTemplateExp and PropertyTemplateItem. Why then are there two links to the instance in Figure 7.3? Doesn.t a composite association mean that a PropertyTemplateItem can be owned by only one ObjectTemplateExp? Thanks, Steve Wartik Institute for Defense Analyses Alexandria, VA USA No virus found in this incoming message. Checked by AVG - www.avg.com Version: 9.0.851 / Virus Database: 271.1.1/3047 - Release Date: 08/03/10 07:35:00 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4FAMbaX0xUXeb0/2dsb2JhbACBRJ4fBV5xxG2FOgQ Date: Mon, 09 Aug 2010 18:42:52 +0100 From: Ed Willink User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-GB; rv:1.9.1.5) Gecko/20091204 Thunderbird/3.0 CC: "qvt-rtf@omg.org" Subject: Re: Question on 09-12-05 QVT Specification Hi Steve There are far too many issues to be sorted out with the textual aspects of the QVTr specification without introducing a different view of the graphical syntax. Maybe one day. Although that said, UMLX identifies some simple principles that might lead to a coherent specification of the prohibited but nonetheless necessary and extensively used collections of collections of ... Regards Ed Willink On 09/08/2010 18:25, Wartik, Steven P "Steve" wrote: Mariano, I.m glad to learn I.m not the only one who thinks the object diagram in Fig. 7.3 is imprecise and therefore error-prone. As Ed says, one has to remember the convention for downward parent-child composition when reading it. When I have some free time, I.ll prepare and submit a revised version. (Unless Ed wants to submit a UMLX version!) Regards, Steve Wartik From: mariano.belaunde@orange-ftgroup.com [mailto:mariano.belaunde@orange-ftgroup.com] Sent: Monday, August 09, 2010 10:58 AM To: ed@willink.me.uk; Wartik, Steven P "Steve" Cc: qvt-rtf@omg.org Subject: RE: Question on 09-12-05 QVT Specification Hi Steven, Ed, The object diagram in Fig 7.3 is error prone because it lacks of precision concerning what associations in the metamodel are involved. One of the links concerns the association ObjectTemplateExp::part whereas the other concerns PropertyTemplateItem::value (remember that an ObjectTemplateExp is a kind of OclExpression). There is no contradiction with Fig 7.6 but a lack of precision in Fig 7.3. Regards, Mariano -------------------------------------------------------------------------------- De : Ed Willink [mailto:ed@willink.me.uk] Envoyé mardi 3 aoû10 22:19 À: Wartik, Steven P "Steve" Cc : 'qvt-rtf@omg.org' Objet : Re: Question on 09-12-05 QVT Specification Hi Steven I think that the diagram is ok. One link is parent-child, the other is child-parent. The diagram is consistently parent-child composition downwards. Unfortunately UML object notation does not show composition diamonds. (My UMLX notation does!). Regards Ed Willink On 03/08/2010 19:47, Wartik, Steven P "Steve" wrote: Hi, I am confused by something in the MOF QVT specification (version 1.1) and am not sure if it.s an error or my own misunderstanding. Figure 7.3 (p. 24) has links from two instances of ObjectTemplateExp to a single instance of PropertyTemplateItem (the one in the middle). Figure 7.6 (p. 30) shows a composite association between ObjectTemplateExp and PropertyTemplateItem. Why then are there two links to the instance in Figure 7.3? Doesn.t a composite association mean that a PropertyTemplateItem can be owned by only one ObjectTemplateExp? Thanks, Steve Wartik Institute for Defense Analyses Alexandria, VA USA No virus found in this incoming message. Checked by AVG - www.avg.com Version: 9.0.851 / Virus Database: 271.1.1/3047 - Release Date: 08/03/10 07:35:00 No virus found in this incoming message. Checked by AVG - www.avg.com Version: 9.0.851 / Virus Database: 271.1.1/3060 - Release Date: 08/09/10 07:35:00 From: "Wartik, Steven P \"Steve\"" To: Juergen Boldt Date: Fri, 20 Aug 2010 13:51:40 -0400 Subject: RE: Question on 09-12-05 QVT Specification Thread-Topic: Question on 09-12-05 QVT Specification Thread-Index: Acs+6Jj7KKU9WI4MQEm+S0IBhHsdlwBp76gA Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id o7KHaApI000827 Juergen, Please forgive response from relative newbie. (Also pls forgive spelling/grammar: I'm typing on awkward, unfamiliar keyboard.) Yes, this is an issue. But I am guessing you want more than a yes/no answer. Right? Do I write up a description of the problem and send it to you? If there's some official process of which I'm not aware, let me know. Regards, Steve Wartik ________________________________________ From: Juergen Boldt [juergen@omg.org] Sent: Wednesday, August 18, 2010 5:17 PM To: mariano.belaunde@orange-ftgroup.com; ed@willink.me.uk; Wartik, Steven P "Steve" Cc: qvt-rtf@omg.org Subject: RE: Question on 09-12-05 QVT Specification issue? -Juergen At 10:58 AM 8/9/2010, mariano.belaunde@orange-ftgroup.com wrote: Hi Steven, Ed, The object diagram in Fig 7.3 is error prone because it lacks of precision concerning what associations in the metamodel are involved. One of the links concerns the association ObjectTemplateExp::part whereas the other concerns PropertyTemplateItem::value (remember that an ObjectTemplateExp is a kind of OclExpression). There is no contradiction with Fig 7.6 but a lack of precision in Fig 7.3. Regards, Mariano ________________________________ De : Ed Willink [ mailto:ed@willink.me.uk] Envoyé mardi 3 aoû10 22:19 À: Wartik, Steven P "Steve" Cc : 'qvt-rtf@omg.org' Objet : Re: Question on 09-12-05 QVT Specification Hi Steven I think that the diagram is ok. One link is parent-child, the other is child-parent. The diagram is consistently parent-child composition downwards. Unfortunately UML object notation does not show composition diamonds. (My UMLX notation does!). Regards Ed Willink On 03/08/2010 19:47, Wartik, Steven P "Steve" wrote: Hi, I am confused by something in the MOF QVT specification (version 1.1) and am not sure if it.s an error or my own misunderstanding. Figure 7.3 (p. 24) has links from two instances of ObjectTemplateExp to a single instance of PropertyTemplateItem (the one in the middle). Figure 7.6 (p. 30) shows a composite association between ObjectTemplateExp and PropertyTemplateItem. Why then are there two links to the instance in Figure 7.3? Doesn.t a composite association mean that a PropertyTemplateItem can be owned by only one ObjectTemplateExp? Thanks, Steve Wartik Institute for Defense Analyses Alexandria, VA USA No virus found in this incoming message. Checked by AVG - www.avg.com Version: 9.0.851 / Virus Database: 271.1.1/3047 - Release Date: 08/03/10 07:35:00 Juergen Boldt Director, Member Services Object Management Group 140 Kendrick St Building A Suite 300 Needham, MA 02494 USA tel: +1 781 444 0404 x 132 fax: +1 781 444 0320 email: juergen@omg.org www.omg.org [http://www.omg.org/images/signature-2.gif]