SYSML17 — Pull semantics for flow properties

Currently in SysML, flow properties have “Push” semantics (cf. sub-clause 9.3.2.7): writing to a flow property with direction out, propagates value to matching flow property at opposite end of the connector. This implies that there is a behavior running on the part from the “out” side.

“Pull” semantics could be useful as well: the value propagation is the result of a read made on the flow property with direction in to the matching property at the opposite end of the connector.
This implies that there is a behavior running on the part from the “in” side.

SysML should introduce a semantic variation point on this topic, and/or some specific notations/abstract syntax

To be addressed by SysML v2

This kind of topic shall now be deferred to SysMLv2