Issue 14998: Binding to multiplicity in parametrics (sysml-rtf) Source: (Mr. Sanford A. Friedenthal, ) Nature: Enhancement Severity: Significant Summary: In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. Resolution: Defer Postponed to the next RTF Revised Text: Actions taken: January 21, 2010: received issue January 3, 2017: Deferred April 6, 2017: closed issue Discussion: This issue is being deferred because no proposed resolution was voted on during the schedule of the SysML 1.3 RTF. Disposition: Deferred End of Annotations:===== m: webmaster@omg.org Date: 21 Jan 2010 00:22:09 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Sanford Friedenthal Company: Lockheed Martin mailFrom: sanford.friedenthal@lmco.com Notification: Yes Specification: SysML Section: 10 FormalNumber: formal/2008-11-02 Version: 1.1 RevisionDate: Nov 2008 Page: 75-82 Title: Binding to multiplicity in parametrics Nature: Enhancement Severity: Significant test: 3qw8 B1: Report Issue Description: Subject: RE: issue 14998 -- SysML RTF issue Date: Fri, 22 Jan 2010 20:50:02 +0100 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: issue 14998 -- SysML RTF issue Thread-Index: Acqbf+nvUcWR0eJ4QrCeszTzYjDU5QAAFuKQAAbeoLA= From: "Tim Weilkiens" To: "Friedenthal, Sanford" , "Burkhart Roger M" Cc: I think this is a more general problem. It is not possible (or I don't know it) to access model information in a constraint with OCL. In my case I've tried to access the name of a model element to assure that it is identical with the name of another model element. The constraint expressions can access the values of model elements, but not the properties of the model element itself. It's on a different meta level. Tim -------------------------------------------------------------------------------- From: Friedenthal, Sanford [mailto:sanford.friedenthal@lmco.com] Sent: Friday, January 22, 2010 5:33 PM To: Burkhart Roger M Cc: sysml-rtf@omg.org Subject: RE: issue 14998 -- SysML RTF issue Roger Attached is the word document for the issue on .Binding Mulitiplicity in Parameterics.. Can you post. I welcome discussion and proposed resolutions for this. Thanks. SysML RTF Any suggestions on this issue and/or proposed resolutions. In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. Sandy From: Juergen Boldt [mailto:juergen@omg.org] Sent: Friday, January 22, 2010 11:25 AM To: issues@omg.org; sysml-rtf@omg.org Subject: issue 14998 -- SysML RTF issue From: webmaster@omg.org Date: 21 Jan 2010 00:22:09 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Sanford Friedenthal Company: Lockheed Martin mailFrom: sanford.friedenthal@lmco.com Notification: Yes Specification: SysML Section: 10 FormalNumber: formal/2008-11-02 Version: 1.1 RevisionDate: Nov 2008 Page: 75-82 Title: Binding to multiplicity in parametrics Nature: Enhancement Severity: Significant test: 3qw8 B1: Report Issue Description: In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. 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 Subject: RE: issue 14998 -- SysML RTF issue Date: Mon, 25 Jan 2010 08:37:07 +0100 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: issue 14998 -- SysML RTF issue Thread-Index: Acqbf+nvUcWR0eJ4QrCeszTzYjDU5QAAFuKQAIPUpIA= From: "BERNARD, Yves" To: "Friedenthal, Sanford" , "Burkhart Roger M" Cc: X-OriginalArrivalTime: 25 Jan 2010 07:37:07.0682 (UTC) FILETIME=[32842420:01CA9D91] The point is that the multiplicity is not the number of item but "only" the range of acceptable numbers for an intem. The actual number of item is the cardinality and the multiplicity is the same than the cardinality only the specific case where only one cardinality is possible (e.g. [1..1] , [4..4], ...). Then to resolve that issue we need first of all a mean to get the cardinality of an item, that is something that would work at "instance level" (M0) and that does not exist so far, except if I missed something. Yves -----Message d'origine----- De : Friedenthal, Sanford [mailto:sanford.friedenthal@lmco.com] Envoyé vendredi 22 janvier 2010 17:33 À: Burkhart Roger M Cc : sysml-rtf@omg.org Objet : RE: issue 14998 -- SysML RTF issue Roger Attached is the word document for the issue on .Binding Mulitiplicity in Parameterics.. Can you post. I welcome discussion and proposed resolutions for this. Thanks. SysML RTF Any suggestions on this issue and/or proposed resolutions. In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. Sandy From: Juergen Boldt [mailto:juergen@omg.org] Sent: Friday, January 22, 2010 11:25 AM To: issues@omg.org; sysml-rtf@omg.org Subject: issue 14998 -- SysML RTF issue From: webmaster@omg.org Date: 21 Jan 2010 00:22:09 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Sanford Friedenthal Company: Lockheed Martin mailFrom: sanford.friedenthal@lmco.com Notification: Yes Specification: SysML Section: 10 FormalNumber: formal/2008-11-02 Version: 1.1 RevisionDate: Nov 2008 Page: 75-82 Title: Binding to multiplicity in parametrics Nature: Enhancement Severity: Significant test: 3qw8 B1: Report Issue Description: In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. 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 This mail has originated outside your organization, either from an external partner or the Global Internet. Keep this in mind if you answer this message. 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-SENDER-IP: 10.37.193.66 X-SENDER-REPUTATION: None X-IronPort-AV: E=Sophos;i="4.49,339,1262563200"; d="scan'208,217";a="104845722" X-SENDER-IP: 10.44.64.11 X-SENDER-REPUTATION: None X-IronPort-AV: E=Sophos;i="4.49,339,1262563200"; d="scan'208,217";a="89936201" From: "Sawyer, George A (US SSA)" To: "BERNARD, Yves" , "Friedenthal, Sanford" , Burkhart Roger M CC: "sysml-rtf@omg.org" Date: Mon, 25 Jan 2010 07:48:46 -0500 Subject: RE: issue 14998 -- SysML RTF issue Thread-Topic: issue 14998 -- SysML RTF issue Thread-Index: Acqbf+nvUcWR0eJ4QrCeszTzYjDU5QAAFuKQAIPUpIAACxSskA== Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US X-OriginalArrivalTime: 25 Jan 2010 12:48:43.0323 (UTC) FILETIME=[B9FC90B0:01CA9DBC] Similarly, one cannot access individual "parts" of composite relationship for defining functional behavior (e.g. on an activity or sequence diagram) without redefining the composite relationship (e.g. "right-front tire" as a part of 4 "tires" on an HSUV). -------------------------------------------------------------------------------- From: BERNARD, Yves [mailto:Yves.Bernard@airbus.com] Sent: Monday, January 25, 2010 2:37 AM To: Friedenthal, Sanford; Burkhart Roger M Cc: sysml-rtf@omg.org Subject: RE: issue 14998 -- SysML RTF issue The point is that the multiplicity is not the number of item but "only" the range of acceptable numbers for an intem. The actual number of item is the cardinality and the multiplicity is the same than the cardinality only the specific case where only one cardinality is possible (e.g. [1..1] , [4..4], ...). Then to resolve that issue we need first of all a mean to get the cardinality of an item, that is something that would work at "instance level" (M0) and that does not exist so far, except if I missed something. Yves -----Message d'origine----- De : Friedenthal, Sanford [mailto:sanford.friedenthal@lmco.com] Envoyé vendredi 22 janvier 2010 17:33 À: Burkhart Roger M Cc : sysml-rtf@omg.org Objet : RE: issue 14998 -- SysML RTF issue Roger Attached is the word document for the issue on .Binding Mulitiplicity in Parameterics.. Can you post. I welcome discussion and proposed resolutions for this. Thanks. SysML RTF Any suggestions on this issue and/or proposed resolutions. In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. Sandy From: Juergen Boldt [mailto:juergen@omg.org] Sent: Friday, January 22, 2010 11:25 AM To: issues@omg.org; sysml-rtf@omg.org Subject: issue 14998 -- SysML RTF issue From: webmaster@omg.org Date: 21 Jan 2010 00:22:09 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Sanford Friedenthal Company: Lockheed Martin mailFrom: sanford.friedenthal@lmco.com Notification: Yes Specification: SysML Section: 10 FormalNumber: formal/2008-11-02 Version: 1.1 RevisionDate: Nov 2008 Page: 75-82 Title: Binding to multiplicity in parametrics Nature: Enhancement Severity: Significant test: 3qw8 B1: Report Issue Description: In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. 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 This mail has originated outside your organization, either from an external partner or the Global Internet. Keep this in mind if you answer this message. 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. Subject: TR: issue 14998 -- SysML RTF issue Date: Mon, 25 Jan 2010 15:29:10 +0100 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: issue 14998 -- SysML RTF issue Thread-Index: Acqbf+nvUcWR0eJ4QrCeszTzYjDU5QAAFuKQAIPUpIAACxyzUAAAdyHQAAFDe9AAAeDa8A== From: "BERNARD, Yves" To: X-OriginalArrivalTime: 25 Jan 2010 14:29:11.0510 (UTC) FILETIME=[C310E760:01CA9DCA] -----Message d'origine----- De : Friedenthal, Sanford [mailto:sanford.friedenthal@lmco.com] Envoyé lundi 25 janvier 2010 14:34 À: BERNARD, Yves Objet : RE: issue 14998 -- SysML RTF issue Yves Good thought. Can you send this out to the larger group for comment. Sandy From: BERNARD, Yves [mailto:Yves.Bernard@airbus.com] Sent: Monday, January 25, 2010 8:20 AM To: Friedenthal, Sanford Subject: RE: issue 14998 -- SysML RTF issue Sandy, Cf. UML specification §7.3.32 : "A multiplicity is a definition of an inclusive interval of non-negative integers beginning with a lower bound and ending with a (possibly infinite) upper bound. A multiplicity element embeds this information to specify the allowable cardinalities for an instantiation of this element. " In your example, the weight is indeed a function of the number of components but this number exists only at instance level (M0), then it is not available at model level (M1) except in the specific case where it is a constant because you can deduce it. Nevertheless, if i would have to resolve such a problem, I would create a derived attribute in my system (i.e. at M1) that would then be computable at run-time (M0) : MySystem { /partCount:integer {{OCL}, context MySystem derive: myPart->count()}; myPart[1..*]:PartA; } PartA { weight:real; } I could then use this dervied attribute in a parametric constraint or in any derivation formula. Yves -----Message d'origine--- De : Friedenthal, Sanford [mailto:sanford.friedenthal@lmco.com] Envoyé lundi 25 janvier 2010 13:53 À: BERNARD, Yves Objet : RE: issue 14998 -- SysML RTF issue Yves It does represent the number of instances. However, I would like to have access to the multiplicity in parametrics where the constraint applyies to the range of values. For example, If a system includes (*) components of a particular type, and we want to compute the weight of the system, we would access the multiplicity of this component to get the weight. Sandy From: BERNARD, Yves [mailto:Yves.Bernard@airbus.com] Sent: Monday, January 25, 2010 2:37 AM To: Friedenthal, Sanford; Burkhart Roger M Cc: sysml-rtf@omg.org Subject: RE: issue 14998 -- SysML RTF issue The point is that the multiplicity is not the number of item but "only" the range of acceptable numbers for an intem. The actual number of item is the cardinality and the multiplicity is the same than the cardinality only the specific case where only one cardinality is possible (e.g. [1..1] , [4..4], ...). Then to resolve that issue we need first of all a mean to get the cardinality of an item, that is something that would work at "instance level" (M0) and that does not exist so far, except if I missed something. Yves -----Message d'origine----- De : Friedenthal, Sanford [mailto:sanford.friedenthal@lmco.com] Envoyé vendredi 22 janvier 2010 17:33 À: Burkhart Roger M Cc : sysml-rtf@omg.org Objet : RE: issue 14998 -- SysML RTF issue Roger Attached is the word document for the issue on .Binding Mulitiplicity in Parameterics.. Can you post. I welcome discussion and proposed resolutions for this. Thanks. SysML RTF Any suggestions on this issue and/or proposed resolutions. In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. Sandy From: Juergen Boldt [mailto:juergen@omg.org] Sent: Friday, January 22, 2010 11:25 AM To: issues@omg.org; sysml-rtf@omg.org Subject: issue 14998 -- SysML RTF issue From: webmaster@omg.org Date: 21 Jan 2010 00:22:09 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: Sanford Friedenthal Company: Lockheed Martin mailFrom: sanford.friedenthal@lmco.com Notification: Yes Specification: SysML Section: 10 FormalNumber: formal/2008-11-02 Version: 1.1 RevisionDate: Nov 2008 Page: 75-82 Title: Binding to multiplicity in parametrics Nature: Enhancement Severity: Significant test: 3qw8 B1: Report Issue Description: In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression. 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 This mail has originated outside your organization, either from an external partner or the Global Internet. Keep this in mind if you answer this message. 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. This mail has originated outside your organization, either from an external partner or the Global Internet. Keep this in mind if you answer this message. 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. This mail has originated outside your organization, either from an external partner or the Global Internet. Keep this in mind if you answer this message. 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. In parametrics, one cannot currently bind a constraint parameter in a constraint expression to a multiplity. For example, one may need to include the number of tires in the constraint expression that constraints braking force. However, if the model includes a Vehicle, composed of Tire with multiplicity 4, one must be able to access the number of tires (i.e. the multiplity) in the expression.