send-action-parameters

Available in: SysML

This checks that send actions have a payload and sender.

Note that receiver at least for now is optional to match the description of Actions::SendAction:

A SendAction is an Action used to type SendActionUsages. It initiates an outgoingTransferFromSelf from a designated sender Occurrence with a given payload, optionally to a designated receiver.

Specification

A SendActionUsage must have at least three owned input parameters, corresponding to its payload, sender and receiver, respectively (whether or not they have FeatureValues).

Example

action {
    send; // error: A send action must have at least 2 owned input parameters, expected 2 more
}

Add a payload, and either a sender, or receiver:

occurrence r;
action {
    send 4 to r; // ok
}

The missing sender or receiver is constructed as an empty element automatically.