SYSML2_ — Port transfer semantics

In 7.12.1 Ports Overview, at the end of the third paragraph, it states

A transfer can occur from the out features of one port usage to the matching in features of connected port usages. Transfers can occur in both directions between matching inout features.

It is unclear whether this is intended to mean that such transfers happen automatically in some way, or if it just means that it is possible to have such transfers by adding explicit flows to the model. If the former is intended, then this does not seem to be currently supported by port semantics (8.4.8). If the latter is intended, this should be made more clear.

Revise paragraph in Ports Overview

Indeed, the third paragraph of 7.12.1 Ports Overview also states that "Connected ports must conform: each feature of a port at one end of a connection must have a matching feature on a port at the other end of the connection." There is currently no abstract syntax constraint enforcing this, and it is not actually desirable to have such a constraint, because it would disallow, e.g., connecting ports with flow between only some features, or providing flows into/out of all directed features of a port but over multiple connections. The entire third paragraph needs to be rewritten to reflect that actual normative syntax and semantics of ports in SysML v2.