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
Please visit the detailed discussion under : That is for DirectedFeature, not FlowProperty, but the rules for ProxyPort compatibility discussed there are equally applicable to FlowProperty.
Relates to
Related notes
Related notes (backlinks)
Related snippets (extracts)
Visit also
Visit also (backlinks)