Signature: signature_refer_to() : Boolean;
Description: The signature must either refer an Operation (in which case messageSort is either synchCall or asynchCall) or a Signal (in which case messageSort is asynchSignal). The name of the NamedElement referenced by signature must be the same as that of the Message.
Expression: true

Signature: signature_is_signal() : Boolean;
Description: In the case when the Message signature is a Signal, the arguments of the Message must correspond to the attributes of the Signal. A Message Argument corresponds to a Signal Attribute if the Arguement is of the same Class or a specialization of that of the Attribute.
Expression: true

Signature: signature_is_operation() : Boolean;
Description: In the case when the Message signature is an Operation, the arguments of the Message must correspond to the parameters of the Operation. A Parameter corresponds to an Argument if the Argument is of the same Class or a specialization of that of the Parameter.
Expression: true

Signature: sending_receiving_message_event() : Boolean;
Description: If the sending MessageEvent and the receiving MessageEvent of the same Message are on the same Lifeline, the sending MessageEvent must be ordered before the receiving MessageEvent.
Expression: true

Signature: occurrence_specifications() : Boolean;
Description: If the MessageEnds are both OccurrenceSpecifications then the connector must go between the Parts represented by the Lifelines of the two MessageEnds.
Expression: true

Signature: cannot_cross_boundaries() : Boolean;
Description: Messages cannot cross bounderies of CombinedFragments or their operands.
Expression: true

Signature: arguments() : Boolean;
Description: Arguments of a Message must only be: i) attributes of the sending lifeline ii) constants iii) symbolic values (which are wildcard values representing any legal value) iv) explicit parameters of the enclosing Interaction v) attributes of the class owning the Interaction
Expression: true

Operations:

No additional operations.

Send questions or comments to [email protected].