Issue 11333: BindingConnector (sysml-rtf) Source: Commissariat a l Energie Atomique-CEA (Dr. Sebastien Gerard, sebastien.gerard(at)cea.fr) Nature: Uncategorized Issue Severity: Summary: The semantics of the Binding Connector is described as follow : “8.3.2.10 Binding Connector Description A Binding Connector is a connector which specifies that the properties at both ends of the connector have equal values. If the properties at the ends of a binding connector are typed by a DataType or ValueType, the connector specifies that the instances of the properties must hold equal values, recursively through any nested properties within the connected properties. If the properties at the ends of a binding connector are typed by a Block, the connector specifies that the instances of the properties must refer to the same block instance.” So, I understand that definition if the multiplicity of the properties linked by the binding connector is 0..1 or 1. But what happen is the upper bound of the multiplicity is greater than 1? If for example, it is 0..* ? And moreover, what happen when the multiplicity of both property is different, as for example on one end 0..1 and on the other end 1 ? In this case, as according to the previous definition, the value of both properties has to be equal, what happen to the value of the proiperty which multiplicity is 1 when the other property is not yet defined? Resolution: Defer Postponed to the next RTF Revised Text: Actions taken: August 28, 2007: 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:===== ubject: Question on the BindingConnector Date: Tue, 28 Aug 2007 10:10:36 +0200 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Question on the BindingConnector Thread-Index: AcfpSunKeArtFxJZRk2eQOhrZuJ1AQ== From: "GERARD Sebastien 166342" To: X-OriginalArrivalTime: 28 Aug 2007 08:10:36.0355 (UTC) FILETIME=[E9D99130:01C7E94A] Hi, The semantics of the Binding Connector is described as follow : .8.3.2.10 Binding Connector Description A Binding Connector is a connector which specifies that the properties at both ends of the connector have equal values. If the properties at the ends of a binding connector are typed by a DataType or ValueType, the connector specifies that the instances of the properties must hold equal values, recursively through any nested properties within the connected properties. If the properties at the ends of a binding connector are typed by a Block, the connector specifies that the instances of the properties must refer to the same block instance.. So, I understand that definition if the multiplicity of the properties linked by the binding connector is 0..1 or 1. But what happen is the upper bound of the multiplicity is greater than 1? If for example, it is 0..* ? And moreover, what happen when the multiplicity of both property is different, as for example on one end 0..1 and on the other end 1 ? In this case, as according to the previous definition, the value of both properties has to be equal, what happen to the value of the proiperty which multiplicity is 1 when the other property is not yet defined? Thanks, Cheers, Séb. ---------------------------------------------------------------------------------------------------------------- Dr. Sébastien Gérard Head of the Accord-UML research project CEA, LIST, Laboratoire Logiciel pour la Sureté des Procédés Boîte courrier 65, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Open source UML2 Eclipse plug-in: www.papyrusuml.org X-WSS-ID: 0JNJNK3-05-NQ4-01 Subject: RE: Question on the BindingConnector Date: Wed, 29 Aug 2007 11:41:46 -0500 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Question on the BindingConnector thread-index: AcfpSunKeArtFxJZRk2eQOhrZuJ1AQBD1FuQ From: "Burkhart Roger M" To: "GERARD Sebastien 166342" , X-OriginalArrivalTime: 29 Aug 2007 16:41:47.0280 (UTC) FILETIME=[7D8F1100:01C7EA5B] Sébastien-- In UML 2, the interpretation of connectors with multiplicities greater than 1 is generally left as a semantic variation point. SysML binding connectors have the clearest semantic interpretation when the multiplicity at both ends is at most 1. If they are used when the multiplicity at either end is greater than 1, I think the natural interpretation is that it would be possible to find a pattern of binding links and the properties at each end so that all property values at one end can participate in a pairwise equality binding with a property value at the opposite end. It's like a logical quantifier that "there exists" a pattern of property values and relations between them such that equality across them all can simultaneously be satisfied. Tightening up semantics of connectors with multiplicities greater than 1, and not just for binding connectors, is something that could be tackled by the RTF, though more experience in real applications may be needed before that's realistic. --Roger -------------------------------------------------------------------------------- From: GERARD Sebastien 166342 [mailto:Sebastien.GERARD@cea.fr] Sent: Tuesday, August 28, 2007 3:11 AM To: sysml-rtf@omg.org Subject: Question on the BindingConnector Hi, The semantics of the Binding Connector is described as follow : .8.3.2.10 Binding Connector Description A Binding Connector is a connector which specifies that the properties at both ends of the connector have equal values. If the properties at the ends of a binding connector are typed by a DataType or ValueType, the connector specifies that the instances of the properties must hold equal values, recursively through any nested properties within the connected properties. If the properties at the ends of a binding connector are typed by a Block, the connector specifies that the instances of the properties must refer to the same block instance.. So, I understand that definition if the multiplicity of the properties linked by the binding connector is 0..1 or 1. But what happen is the upper bound of the multiplicity is greater than 1? If for example, it is 0..* ? And moreover, what happen when the multiplicity of both property is different, as for example on one end 0..1 and on the other end 1 ? In this case, as according to the previous definition, the value of both properties has to be equal, what happen to the value of the proiperty which multiplicity is 1 when the other property is not yet defined? Thanks, Cheers, Séb. ---------------------------------------------------------------------------------------------------------------- Dr. Sébastien Gérard Head of the Accord-UML research project CEA, LIST, Laboratoire Logiciel pour la Sureté des Procédés Boîte courrier 65, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Open source UML2 Eclipse plug-in: www.papyrusuml.org