ProxyPort minimal example - delegation to part

We start with the simplest possible proxy port case. Note how the :Delegate part has no ports, the ProxyPort is "exporting" the functionality of the :Delegate to the boundary of the owning block:

Click on the image to view it full size

Case: pDelegatesToPart:ProxyPortType has a BindingConnector to a part :Delegate, where block Delegate specialises the InterfaceBlock ProxyPortType. These are compatible "by type design". No features are shown; in practice, Delegate would have parts and behaviors to help implement the contract of ProxyPortType.

As an analogy, think of a basic RCA Connector socket on the chassis of a A/V device. From https://en.wikipedia.org/wiki/RCA_connector:

An RCA connector, sometimes called a phono connector or (in other languages) Cinch connector, is a type of electrical connector commonly used to carry audio and video signals. ... The connection's plug is called an RCA plug or phono plug. ... Devices mount the socket (female jack), consisting of a central hole with a ring of metal around it. The ring on the jack is slightly smaller in diameter and longer than the ring on the plug, allowing the plug's ring to fit tightly over it. ... The RCA connector was initially used for audio signals. ... Connections are made by pushing the cable's plug into the female jack on the device.

So our ProxyPort is like the 'female jack on the device' (socket).

Now imagine that there is LOSSLESS wiring from that female jack/socket directly into a part inside that represents the handling of the signal to/from that female jack; that's like the BindingConnector.

We explore next more possible cases for the use of ProxyPorts.

Up next

ProxyPort cases - ADVANCED TOPIC

Notes

Snippets (quotes/extracts)

[SysML-1.6] Proxy ports identify features of the owning block or its internal parts that are available to external blocks through external connectors to the ports. They do not specify a separate element of the system from the owning block or internal parts.

[SysML-1.6] ProxyPort::2_interfaceblock Proxy ports shall only be typed by interface blocks.

[SysML-1.6] Proxy ports can be connected to internal parts or ports on internal parts, identifying features on those parts or ports that are available to external blocks.

[SysML-1.6] When a proxy port is connected to a single internal part [or port or internal part], the connector shall be a binding connector, or have the same semantics as a binding connector ...

[SysML-1.6] A Binding Connector is a connector which specifies that the properties at both ends of the connector have equal values.

[SysML-1.6] If the properties at the ends of a binding connector are typed by a ValueType, the connector specifies that the instances of the properties shall hold equal values, recursively through any nested properties within the connected properties.

[SysML-1.6] If the properties at the ends of a binding connector are typed by a Block, the connector specifies that the instances of the properties shall refer to the same block instance.