SysML directional FlowProperty contracts for ProxyPorts SHOULD be satisfiable Property-wise (including as subsets of Properties) not necessarily just at the level of entire Blocks!

Icon class

icon_class

far fa-sticky-note

icon_class_computed

far fa-sticky-note

Note kind

Specification keywords

SysMLv1.x keywords

FlowProperty::direction

FlowDirectionKind

Please visit the detailed discussion under :

SysMLv1.6 Provided/required DirectedFeature contracts for ProxyPorts SHOULD be satisfiable Feature-wise (including as subsets of Features) not necessarily just at the level of entire Blocks (types)! [See also the SysMLv1.7 spec changes.]

That is for DirectedFeature, not FlowProperty, but the rules for ProxyPort compatibility discussed there are equally applicable to FlowProperty.

Relates to

ProxyPort cases - ADVANCED TOPIC

Related notes

Related notes (backlinks)

Related snippets (extracts)

[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.

[SysML-1.6] BindingConnector::1_compatible_types The two ends of a binding connector shall have either the same type or types that are compatible so that equality of their values can be defined.

[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] (the value of the proxy port and the connected internal part are the same; links of associations typing the connector are between all objects and themselves, and no others)

[SysML-1.6] When a proxy port is connected to multiple internal parts, the connectors have the same semantics as a single binding connector to an aggregate of those parts, supporting all their features, and treating flows and invocations from outside the aggregate...

[SysML-1.6] This aggregate is not a separate element of the system, and only groups the internal parts for purposes of binding to the proxy port.

Visit also

Visit also (backlinks)

Flags