Issue 13653: UML2 : Lifeline identity for InteractionUse (uml2-rtf) Source: Microsoft (Mr. Steve Cook, stcook(at)microsoft.com) Nature: Uncategorized Issue Severity: Summary: Section 14.3. 18 says “An InteractionUse refers to an Interaction. The InteractionUse is a shorthand for copying the contents of the referred Interaction where the InteractionUse is.” What is the relationship of the Lifelines in the used interaction to those in the using interaction? Are they supposed to be the very same lifeline instances, or are they matched by name? Resolution: Revised Text: Actions taken: March 2, 2009: received issue Discussion: End of Annotations:===== m: Steve Cook To: "issues@omg.org" Date: Mon, 2 Mar 2009 12:12:44 +0000 Subject: UML2 : Lifeline identity for InteractionUse Thread-Topic: UML2 : Lifeline identity for InteractionUse Thread-Index: AcmbMDEmhQisJmbRSNaLBFCYVCVrqw== Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Section 14.3. 18 says .An InteractionUse refers to an Interaction. The InteractionUse is a shorthand for copying the contents of the referred Interaction where the InteractionUse is.. What is the relationship of the Lifelines in the used interaction to those in the using interaction? Are they supposed to be the very same lifeline instances, or are they matched by name? From: "BERNARD, Yves" To: "uml25-ftf@omg.org" Date: Thu, 14 Feb 2013 10:44:13 +0100 Subject: [UML 2.5 FTF] ballot2 review: #13653 Thread-Topic: [UML 2.5 FTF] ballot2 review: #13653 Thread-Index: Ac4Kl9j0JFVTD8aVTQuXFZJU991gYg== Accept-Language: fr-FR, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: fr-FR, en-US X-Virus-Scanned: amavisd-new at omg.org The oclIsKindOf() operation returns a Boolean value, then the proposed OCL constraint can be simplified: self.selector->notEmpty() implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) Yves The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. X-CM-Score: 0.00 X-CNFS-Analysis: v=2.0 cv=Df3JXIRW c=1 sm=1 a=eW53zEZrsyElcQ0NK1QpqA==:17 a=x4mveiYJ1mQA:10 a=4PNMsZnTKYkA:10 a=8nJEP1OIZ-IA:10 a=YYzpnO7rAAAA:8 a=QhnfQU8c5KwA:10 a=oCcaPWc0AAAA:8 a=raskk3xdR11Af4r1zfoA:9 a=wPNLvfGTeEIA:10 a=_W_S_7VecoQA:10 a=frz4AuCg-hUA:10 a=8JlKFRyWYAvqglYj:21 a=eW53zEZrsyElcQ0NK1QpqA==:117 Date: Thu, 14 Feb 2013 10:21:32 +0000 From: Ed Willink User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:17.0) Gecko/20130107 Thunderbird/17.0.2 To: "uml25-ftf@omg.org" Subject: Re: [UML 2.5 FTF] ballot2 review: #13653 X-Virus-Scanned: amavisd-new at omg.org Hi Yves: your suggestion is a bug fix rather than a simplification. For valid inputs, oclIsKindOf() returns true or false, both of which are true when notEmpty'd. As Steve pointed out nearly a year ago, the idiomatic use of notEmpty() to test non-Collections for non-null is thoroughly obsolete. Much more readable is self.selector <> null implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) [The "self'" is also redundant but that's a style decision.] Regards Ed Willink On 14/02/2013 09:44, BERNARD, Yves wrote: The oclIsKindOf() operation returns a Boolean value, then the proposed OCL constraint can be simplified: self.selector->notEmpty() implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) Yves The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. No virus found in this message. Checked by AVG - www.avg.com Version: 2013.0.2899 / Virus Database: 2639/6101 - Release Date: 02/13/13 From: Steve Cook To: Ed Willink , "uml25-ftf@omg.org" , "Tom Rutt (tom@coastin.com)" Subject: RE: [UML 2.5 FTF] ballot2 review: #13653 Thread-Topic: [UML 2.5 FTF] ballot2 review: #13653 Thread-Index: Ac4Kl9j0JFVTD8aVTQuXFZJU991gYgABTYoAAABNmKA= Date: Thu, 14 Feb 2013 10:35:02 +0000 Accept-Language: en-GB, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [10.166.18.104] X-Forefront-Antispam-Report: CIP:131.107.125.37;CTRY:US;IPV:CAL;IPV:NLI;EFV:NLI;SFV:NSPM;SFS:(479174001)(365934001)(189002)(199002)(24454001)(76482001)(512954001)(16236675001)(16601075001)(49866001)(56816002)(47736001)(31966008)(44976002)(47976001)(50986001)(54356001)(53806001)(15974865001)(15202345001)(47446002)(74502001)(56776001)(51856001)(54316002)(4396001)(63696002)(74662001)(65816001)(79102001)(16406001)(5343635001)(46102001)(5343655001)(80022001)(33656001)(59766001)(55846006)(77982001)(20776003);DIR:OUT;SFP:;SCL:1;SRVR:BY2FFO11HUB020;H:TK5EX14HUBC103.redmond.corp.microsoft.com;RD:InfoDomainNonexistent;MX:1;A:1;LANG:en; X-OriginatorOrg: microsoft.onmicrosoft.com X-Forefront-PRVS: 0757EEBDCA X-Virus-Scanned: amavisd-new at omg.org Indeed. It.s not just that self.selector.oclIsKindOf(LiteralInteger)->notEmpty() is too complex, it is actually wrong. And it is not just this example. Every appearance of oclIsKindOf(x)->notEmpty() is incorrect. It occurs several times in the proposed resolution for 13653, and by searching in the spec I see this same problem occurs in all of these constraints: all_lifelines interaction_uses_share_lifeline selector_int_or_string sending_receiving_message_event signature_is_signal signature_is_operation_request signature_is_operation_reply Tom, there seems to be a systematic misunderstanding of oclIsKindOf() in the constraints in clause 17. -- Steve From: Ed Willink [mailto:ed@willink.me.uk] Sent: 14 February 2013 10:22 To: uml25-ftf@omg.org Subject: Re: [UML 2.5 FTF] ballot2 review: #13653 Hi Yves: your suggestion is a bug fix rather than a simplification. For valid inputs, oclIsKindOf() returns true or false, both of which are true when notEmpty'd. As Steve pointed out nearly a year ago, the idiomatic use of notEmpty() to test non-Collections for non-null is thoroughly obsolete. Much more readable is self.selector <> null implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) [The "self'" is also redundant but that's a style decision.] Regards Ed Willink On 14/02/2013 09:44, BERNARD, Yves wrote: The oclIsKindOf() operation returns a Boolean value, then the proposed OCL constraint can be simplified: self.selector->notEmpty() implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) Yves The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. No virus found in this message. Checked by AVG - www.avg.com Version: 2013.0.2899 / Virus Database: 2639/6101 - Release Date: 02/13/13 From: "BERNARD, Yves" To: Juergen Boldt Date: Thu, 14 Feb 2013 13:37:12 +0100 Subject: RE: [UML 2.5 FTF] ballot2 review: #13653 Thread-Topic: [UML 2.5 FTF] ballot2 review: #13653 Thread-Index: Ac4KqqRTLmPVncrEQiuXatdG2nALjQABSH/w Accept-Language: fr-FR, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: fr-FR, en-US X-Virus-Scanned: amavisd-new at omg.org In fact, we are discussing a proposed resolution. So, this should not require another issue but to amend the proposal only. Thanks, Yves From: Juergen Boldt [mailto:juergen@omg.org] Sent: jeudi 14 fĂ©vrier 2013 12:58 To: BERNARD, Yves Subject: Re: [UML 2.5 FTF] ballot2 review: #13653 issue? At 04:44 AM 2/14/2013, you wrote: The oclIsKindOf() operation returns a Boolean value, then the proposed OCL constraint can be simplified: self.selector->notEmpty() implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) Yves The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. Juergen Boldt Director, Member Services 109 Highland Ave Needham, MA 02494 USA Tel: 781 444 0404 x 132 fax: 781 444 0320 www.omg.org The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. From: "BERNARD, Yves" To: "Manfred R. Koethe" CC: "uml25-ftf@omg.org" Date: Tue, 19 Feb 2013 11:47:05 +0100 Subject: FW: [UML 2.5 FTF] ballot2 review: #13653 Thread-Topic: [UML 2.5 FTF] ballot2 review: #13653 Thread-Index: Ac4Kl9j0JFVTD8aVTQuXFZJU991gYgABTYoAAABNmKAA+/v9IA== Accept-Language: fr-FR, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: fr-FR, en-US X-Virus-Scanned: amavisd-new at omg.org X-Brightmail-Tracker: AAAAAwr+n5EdGLWYHRirIA== X-Brightmail-Tracker: AAAAAA== Manfred, I think this issue should have been removed from ballot2, too. Yves From: Steve Cook [mailto:Steve.Cook@microsoft.com] Sent: jeudi 14 fĂ©ier 2013 11:35 To: Ed Willink; uml25-ftf@omg.org; Tom Rutt (tom@coastin.com) Subject: RE: [UML 2.5 FTF] ballot2 review: #13653 Indeed. It.s not just that self.selector.oclIsKindOf(LiteralInteger)->notEmpty() is too complex, it is actually wrong. And it is not just this example. Every appearance of oclIsKindOf(x)->notEmpty() is incorrect. It occurs several times in the proposed resolution for 13653, and by searching in the spec I see this same problem occurs in all of these constraints: all_lifelines interaction_uses_share_lifeline selector_int_or_string sending_receiving_message_event signature_is_signal signature_is_operation_request signature_is_operation_reply Tom, there seems to be a systematic misunderstanding of oclIsKindOf() in the constraints in clause 17. -- Steve From: Ed Willink [mailto:ed@willink.me.uk] Sent: 14 February 2013 10:22 To: uml25-ftf@omg.org Subject: Re: [UML 2.5 FTF] ballot2 review: #13653 Hi Yves: your suggestion is a bug fix rather than a simplification. For valid inputs, oclIsKindOf() returns true or false, both of which are true when notEmpty'd. As Steve pointed out nearly a year ago, the idiomatic use of notEmpty() to test non-Collections for non-null is thoroughly obsolete. Much more readable is self.selector <> null implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) [The "self'" is also redundant but that's a style decision.] Regards Ed Willink On 14/02/2013 09:44, BERNARD, Yves wrote: The oclIsKindOf() operation returns a Boolean value, then the proposed OCL constraint can be simplified: self.selector->notEmpty() implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) Yves The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. No virus found in this message. Checked by AVG - www.avg.com Version: 2013.0.2899 / Virus Database: 2639/6101 - Release Date: 02/13/13 The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. From: "BERNARD, Yves" To: "Manfred R. Koethe" CC: "uml25-ftf@omg.org" Date: Tue, 19 Feb 2013 12:25:41 +0100 Subject: RE: [UML 2.5 FTF] ballot2 review: #13653 Thread-Topic: [UML 2.5 FTF] ballot2 review: #13653 Thread-Index: Ac4Kl9j0JFVTD8aVTQuXFZJU991gYgABTYoAAABNmKAA+/v9IAABXh+g Accept-Language: fr-FR, en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: acceptlanguage: fr-FR, en-US X-Virus-Scanned: amavisd-new at omg.org X-Brightmail-Tracker: AAAAAh0YtZgdGKsg X-Brightmail-Tracker: AAAAAA== . Or at least replaced by this new version. Thanks, Yves From: BERNARD, Yves [mailto:Yves.Bernard@airbus.com] Sent: mardi 19 fĂ©ier 2013 11:47 To: Manfred R. Koethe Cc: uml25-ftf@omg.org Subject: FW: [UML 2.5 FTF] ballot2 review: #13653 Manfred, I think this issue should have been removed from ballot2, too. Yves From: Steve Cook [mailto:Steve.Cook@microsoft.com] Sent: jeudi 14 fĂ©ier 2013 11:35 To: Ed Willink; uml25-ftf@omg.org; Tom Rutt (tom@coastin.com) Subject: RE: [UML 2.5 FTF] ballot2 review: #13653 Indeed. It.s not just that self.selector.oclIsKindOf(LiteralInteger)->notEmpty() is too complex, it is actually wrong. And it is not just this example. Every appearance of oclIsKindOf(x)->notEmpty() is incorrect. It occurs several times in the proposed resolution for 13653, and by searching in the spec I see this same problem occurs in all of these constraints: all_lifelines interaction_uses_share_lifeline selector_int_or_string sending_receiving_message_event signature_is_signal signature_is_operation_request signature_is_operation_reply Tom, there seems to be a systematic misunderstanding of oclIsKindOf() in the constraints in clause 17. -- Steve From: Ed Willink [mailto:ed@willink.me.uk] Sent: 14 February 2013 10:22 To: uml25-ftf@omg.org Subject: Re: [UML 2.5 FTF] ballot2 review: #13653 Hi Yves: your suggestion is a bug fix rather than a simplification. For valid inputs, oclIsKindOf() returns true or false, both of which are true when notEmpty'd. As Steve pointed out nearly a year ago, the idiomatic use of notEmpty() to test non-Collections for non-null is thoroughly obsolete. Much more readable is self.selector <> null implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) [The "self'" is also redundant but that's a style decision.] Regards Ed Willink On 14/02/2013 09:44, BERNARD, Yves wrote: The oclIsKindOf() operation returns a Boolean value, then the proposed OCL constraint can be simplified: self.selector->notEmpty() implies self.selector.oclIsKindOf(LiteralInteger) or self.selector.oclIsKindOf(LiteralString) Yves The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. No virus found in this message. Checked by AVG - www.avg.com Version: 2013.0.2899 / Virus Database: 2639/6101 - Release Date: 02/13/13 The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised. If you are not the intended recipient, please notify Airbus immediately and delete this e-mail. Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately. All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free. #13653_resolved_v2.doc Date: Tue, 19 Feb 2013 14:40:23 +0000 From: Dave Hawkins User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 To: "Manfred R. Koethe" CC: "uml25-ftf@omg.org" Subject: [UML 2.5 FTF] Ballot 2 - Issue 13653 X-Source-IP: userp1040.oracle.com [156.151.31.81] X-Virus-Scanned: amavisd-new at omg.org X-Brightmail-Tracker: AAAAAR0YqyA= X-Brightmail-Tracker: AAAAAA== There's a typo in the description of interaction_uses_share_lifeline: InteractonUse rather than InteractionUse. Why is this constraint defined on Lifeline rather than on the Interaction enclosing the InteractionUses? In general, I think a constraint should be defined on the class for the instance that we could reasonably say is 'at fault'. It doesn't make sense for a Lifeline to be invalid based on which InteractionUses reference it via its Interaction. Dave On 17/02/13 22:27, Manfred R. Koethe wrote: Dear Colleagues, Thank you all for reading and commenting on Ballot 2 right away. As requested, and considering the early comments, I herewith change the voting period of Ballot 2 to: ==>> Poll start date: Monday, 25 February 2013 (01:00 AM EDT - 06:00 GMT) ==>> Poll closing date: Sunday, 03 March 2013 (7:00 PM EDT - 24:00 GMT) Please review the attached REVISED preview, which has changes to 12167, 17854, 17890 and 18071. Important: If you have comments on resolutions in Ballot 2, try to be on the call next Tuesday 11:00 - 12:00 EST or delegate your comments to a call participant for discussion. Thank you. Kind regards, Manfred --------------------------------------------------------------- Manfred R. Koethe 88solutions Corporation tel: +1 (617) 848 0525 fax: +1 (815) 550 2086 mailto: koethe@88solutions.com web: http://www.88solutions.com --------(Model-Driven Modeling Solutions)-------- -- Dave Hawkins | Principal Software Engineer | +44 118 924 0022 Oracle JDeveloper Development Oracle Corporation UK Ltd is a company incorporated in England & Wales. Company Reg. No. 1782505. Reg. office: Oracle Parkway, Thames Valley Park, Reading RG6 1RA.