R1280 - modelint/shlaer-mellor-metamodel GitHub Wiki
R1280 / 1:1c
Operation Call Flow flows out in exactly one Data Flow
Data Flow flows zero or one Operation Call Flow
The output of an Operation Call is conveyed by an outgoing Data Flow.
A given Data Flow may or may not be used in this fashion.