A binding connector connecting deep nested properties in a block must apply a stereotype «NestedConnectorEnd» at both ends and specify the propertyPath (see Nested Connector end for more information about the nested connector end). If there are multiple values specify a property in the propertyPath (the upper bound of the multiplicity of the property is greater than 1 or is infinite), Magic Model Analyst will construct a value list at each end of the connector and maintain the values in the list. You can use (IsOrdered = true) to order each property in the propertyPath to ensure that the order of values on the list remains the same. 

The following figure illustrates an example of binding where the aggregate structure is complex. It shows an executable InstanceSpecification of the block System, which is system:System. It has three instances of subsystems as the values of the slot subsystem:Subsystem[0..]. In the SysML Parametric diagram, the value property *value of the slot subsystem:Subsystem[0..]* are bound to the value property value of the block System. So, the values of the value property value of object System will be [25, 50, 75] respectively. 

Value Binding in a Complex Aggregation Structure
Value Binding in a Complex Aggregation Structure.