Issue 7722: Section: 6.5.4.3 Combining Properties (ocl2-rtf) Source: (, ) Nature: Uncategorized Issue Severity: Summary: "[1] Married people are of age >= 18 context Person inv: self.wife->notEmpty() implies self.wife.age >= 18 and self.husband->notEmpty() implies self.husband.age >= 18" has to be "[1] Married people are of age >= 18 context Person inv: (self.wife->notEmpty() implies self.wife.age >= 18) and (self.husband->notEmpty() implies self.husband.age >= 18)" because of the precedence rules same mistake in http://www.omg.org/docs/ptc/03-10-14.pdf, "UML 2.0 OCL Final Adopted specification", chapter 7.5.3, page 18. Resolution: yes Revised Text: In 7.6.3 Combining Properties replace context Person inv: self.wife->notEmpty() implies self.wife.age >= 18 and self.husband->notEmpty() implies self.husband by context Person inv: (self.wife->notEmpty() implies self.wife.age >= 18) and (self.husband->notEmpty() implies self.husband) Actions taken: September 9, 2004: received issue December 23, 2013: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 09 Sep 2004 04:42:52 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Jasper Ullrich Company: BBDO InterOne mailFrom: jasper.ullrich@bbdo-interone.de Notification: Yes Specification: OMG Unified Modeling Language Section: 6.5.4.3 Combining Properties FormalNumber: 03-03-01.pdf Version: 1.5 RevisionDate: 03-03-01 Page: 6-15 Nature: Revision Severity: Minor HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; .NET CLR 1.1.4322) Description "[1] Married people are of age >= 18 context Person inv: self.wife->notEmpty() implies self.wife.age >= 18 and self.husband->notEmpty() implies self.husband.age >= 18" has to be "[1] Married people are of age >= 18 context Person inv: (self.wife->notEmpty() implies self.wife.age >= 18) and (self.husband->notEmpty() implies self.husband.age >= 18)" because of the precedence rules To: "Karl Frank" Cc: "Juergen Boldt" Subject: RE: issue 7722 -- UML 1.5 issue..please advise what FTF to assign it to X-Mailer: Lotus Notes Release 6.5 September 26, 2003 From: Jasper Ullrich Date: Fri, 10 Sep 2004 09:20:04 +0200 X-MIMETrack: Serialize by Router on NS-INTERONE_01/BBDO-InterOne/DE(Release 6.5.1|January 21, 2004) at 10.09.2004 09:20:05, Serialize complete at 10.09.2004 09:20:05 X-Spam-Checker-Version: SpamAssassin 2.61 (1.212.2.1-2003-12-09-exp) on mailproxy X-Spam-Level: X-Spam-Status: No, hits=-4.4 required=2.0 tests=BAYES_00, HTML_FONTCOLOR_UNKNOWN,HTML_FONT_BIG,HTML_MESSAGE autolearn=no version=2.61 Hello Mr. Frank, i found the same mistake in http://www.omg.org/docs/ptc/03-10-14.pdf, "UML 2.0 OCL Final Adopted specification", chapter 7.5.3, page 18. Regards, Jasper Ullrich Development BBDO InterOne GmbH Viktoriastraße 3 65189 Wiesbaden T +49.611.4504-320 F +49.611.4504-399 jasper.ullrich@bbdo-interone.de www.bbdo-interone.de Die Information in dieser E-Mail ist vertraulich und kann einer Verschwiegenheitsverpflichtung unterliegen. Sollten Sie nicht der für diese E-Mail bestimmte Adressat (oder diejenige Person, die für die Weiterleitung der Nachricht an den Adressaten zuständig ist) sein, dürfen Sie die Nachricht oder Teile der Nachricht nicht vervielfältigen, veröffentlichen oder in anderer Weise verbreiten oder verwerten. In diesem Fall sollten Sie die E-Mail löschen und den Absender durch eine Antwort-E-Mail auf diesen Umstand aufmerksam machen. Meinungen, Schlußfolgerungen sowie andere in dieser Nachricht enthaltenen Informationen, die sich nicht auf das offizielle Geschäftsgebaren der BBDO InterOne GmbH beziehen, sind weder als abgegeben noch als zur Benutzung oder Verbreitung genehmigt zu verstehen oder zu behandeln. Information contained in this message is confidential and may be legally privileged. If you are not the addressee indicated in this message (or responsible for the delivery of the message to such person), you may not copy, disclose or deliver this message or any part of it to anyone, in any form. In such case, you should delete this message and kindly notify the sender by reply Email. Opinions, conclusions and other information in this message that does not relate to the official business of BBDO InterOne GmbH shall be understood as neither given nor endorsed by it. "Karl Frank" 09.09.2004 19:48 To "Juergen Boldt" , cc Subject RE: issue 7722 -- UML 1.5 issue..please advise what FTF to assign it to Jasper, greetings. It is evident from the quoted material that you are correct, that the parentheses are misplaced. Since we are working on finalizing the UML 2 specifications now, a defect report agains the prior spec is neither useful to us nor is it likely to get any attention. The mistake you found in the UML 1.5 spec has not been brought forward into the UML 2 specification. I searched for it and it was not there. - Regards, Karl Frank Principal Architect, Together Business Unit Member, UML 2 Superstructure FTF Borland Software Corp. Landline: 978 283 4656 Cell: 978 853 3592 (By default, assume I am in Eastern Time Zone, GMT - 5) -------------------------------------------------------------------------------- Name: Jasper Ullrich Company: BBDO InterOne mailFrom: jasper.ullrich@bbdo-interone.de Notification: Yes Specification: OMG Unified Modeling Language Section: 6.5.4.3 Combining Properties FormalNumber: 03-03-01.pdf Version: 1.5 RevisionDate: 03-03-01 Page: 6-15 Nature: Revision Severity: Minor HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; .NET CLR 1.1.4322) Description "[1] Married people are of age >= 18 context Person inv: self.wife->notEmpty() implies self.wife.age >= 18 and self.husband->notEmpty() implies self.husband.age >= 18" has to be "[1] Married people are of age >= 18 context Person inv: (self.wife->notEmpty() implies self.wife.age >= 18) and (self.husband->notEmpty() implies self.husband.age >= 18)" because of the precedence rules ================================= Jürgen Boldt Director, Member Services Object Management Group 250 First Avenue, Suite 100 Needham, MA 02494 Tel. +1 781 444 0404 ext. 132 Fax: +1 781 444 0320 email: juergen@omg.org www www.omg.org ================================ Subject: RE: issue 7722 -- UML 1.5 issue..please advise what FTF to assign it to Date: Fri, 10 Sep 2004 04:30:09 -0700 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: issue 7722 -- UML 1.5 issue..please advise what FTF to assign it to Thread-Index: AcSXBpr2AQ+iazuMQxaLMzKgyvx6gQAIoqzw From: "Karl Frank" To: "Jasper Ullrich" , "Juergen Boldt" X-OriginalArrivalTime: 10 Sep 2004 11:30:11.0540 (UTC) FILETIME=[88A84940:01C49729] Na, nun wird's interessant. Jasper, Thanks. The OCL 2 FTF is just getting underway. We shall log this issue for the OCL FTF. Juergen, would you please add the sentence below "i found the same mistak...." to the issue and log it against OCL 2 FTF. Mit vielen Dank, Karl Frank Principal Architect, Together Business Unit Chair, OCL 2 FTF Borland Software Corp. Landline: 978 283 4656 Cell: 978 853 3592 (By default, assume I am in Eastern Time Zone, GMT - 5) -------------------------------------------------------------------------------- From: Jasper Ullrich [mailto:Jasper.Ullrich@bbdo-interone.de] Sent: Friday, September 10, 2004 3:20 AM To: Karl Frank Cc: Juergen Boldt Subject: RE: issue 7722 -- UML 1.5 issue..please advise what FTF to assign it to Hello Mr. Frank, i found the same mistake in http://www.omg.org/docs/ptc/03-10-14.pdf, "UML 2.0 OCL Final Adopted specification", chapter 7.5.3, page 18. Regards, Jasper Ullrich Development BBDO InterOne GmbH Viktoriastraße 3 65189 Wiesbaden T +49.611.4504-320 F +49.611.4504-399 jasper.ullrich@bbdo-interone.de www.bbdo-interone.de Die Information in dieser E-Mail ist vertraulich und kann einer Verschwiegenheitsverpflichtung unterliegen. Sollten Sie nicht der für diese E-Mail bestimmte Adressat (oder diejenige Person, die für die Weiterleitung der Nachricht an den Adressaten zuständig ist) sein, dürfen Sie die Nachricht oder Teile der Nachricht nicht vervielfältigen, veröffentlichen oder in anderer Weise verbreiten oder verwerten. In diesem Fall sollten Sie die E-Mail löschen und den Absender durch eine Antwort-E-Mail auf diesen Umstand aufmerksam machen. Meinungen, Schlußfolgerungen sowie andere in dieser Nachricht enthaltenen Informationen, die sich nicht auf das offizielle Geschäftsgebaren der BBDO InterOne GmbH beziehen, sind weder als abgegeben noch als zur Benutzung oder Verbreitung genehmigt zu verstehen oder zu behandeln. Information contained in this message is confidential and may be legally privileged. If you are not the addressee indicated in this message (or responsible for the delivery of the message to such person), you may not copy, disclose or deliver this message or any part of it to anyone, in any form. In such case, you should delete this message and kindly notify the sender by reply Email. Opinions, conclusions and other information in this message that does not relate to the official business of BBDO InterOne GmbH shall be understood as neither given nor endorsed by it. "Karl Frank" 09.09.2004 19:48 To "Juergen Boldt" , cc Subject RE: issue 7722 -- UML 1.5 issue..please advise what FTF to assign it to Jasper, greetings. It is evident from the quoted material that you are correct, that the parentheses are misplaced. Since we are working on finalizing the UML 2 specifications now, a defect report agains the prior spec is neither useful to us nor is it likely to get any attention. The mistake you found in the UML 1.5 spec has not been brought forward into the UML 2 specification. I searched for it and it was not there. - Regards, Karl Frank Principal Architect, Together Business Unit Member, UML 2 Superstructure FTF Borland Software Corp. Landline: 978 283 4656 Cell: 978 853 3592 (By default, assume I am in Eastern Time Zone, GMT - 5) -------------------------------------------------------------------------------- Name: Jasper Ullrich Company: BBDO InterOne mailFrom: jasper.ullrich@bbdo-interone.de Notification: Yes Specification: OMG Unified Modeling Language Section: 6.5.4.3 Combining Properties FormalNumber: 03-03-01.pdf Version: 1.5 RevisionDate: 03-03-01 Page: 6-15 Nature: Revision Severity: Minor HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; .NET CLR 1.1.4322) Description "[1] Married people are of age >= 18 context Person inv: self.wife->notEmpty() implies self.wife.age >= 18 and self.husband->notEmpty() implies self.husband.age >= 18" has to be "[1] Married people are of age >= 18 context Person inv: (self.wife->notEmpty() implies self.wife.age >= 18) and (self.husband->notEmpty() implies self.husband.age >= 18)" because of the precedence rules ================================= Jürgen Boldt Director, Member Services Object Management Group 250 First Avenue, Suite 100 Needham, MA 02494 Tel. +1 781 444 0404 ext. 132 Fax: +1 781 444 0320 email: juergen@omg.org www www.omg.org ================================