Icon class icon_class far fa-sticky-note icon_class_computed far fa-sticky-note Note kind ASSERTION Specification keywords SysML-1.6 SysMLv1.x keywords FlowProperty 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 [ASSERTION, WISHLIST] 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.] Related notes (backlinks) [ISSUE, TOOL] MagicDraw/Cameo 19SP3: Does not yet handle Property-wise Type compatibility validation of FlowProperty contracts (it only handles them at the level of entire Block types). Webel asserts the spec is inconsistent w.r.t. ProxyPort connection compatibility. 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