Signature: transformation_behaviour() : Boolean;
Description: A transformation behavior has one input parameter and one output parameter. The input parameter must be the same as or a supertype of the type of object token coming from the source end. The output parameter must be the same or a subtype of the type of object token expected downstream. The behavior cannot have side effects.
Expression: true

Signature: target() : Boolean;
Description: An edge with constant weight may not target an object node, or lead to an object node downstream with no intervening actions, that has an upper bound less than the weight.
Expression: true

Signature: selection_behaviour() : Boolean;
Description: An object flow may have a selection behavior only if has an object node as a source.
Expression: true

Signature: same_upper_bounds() : Boolean;
Description: Object nodes connected by an object flow, with optionally intervening control nodes, must have the same upper bounds.
Expression: true

Signature: no_actions() : Boolean;
Description: Object flows may not have actions at either end.
Expression: true

Signature: is_multicast_or_is_multireceive() : Boolean;
Description: isMulticast and isMultireceive cannot both be true.
Expression: true

Signature: input_and_output_parameter() : Boolean;
Description: A selection behavior has one input parameter and one output parameter. The input parameter must be a bag of elements of the same as or a supertype of the type of source object node. The output parameter must be the same or a subtype of the type of source object node. The behavior cannot have side effects.
Expression: true

Signature: compatible_types() : Boolean;
Description: Object nodes connected by an object flow, with optionally intervening control nodes, must have compatible types. In particular, the downstream object node type must be the same or a supertype of the upstream object node type.
Expression: true

Operations:

No additional operations.

Send questions or comments to [email protected].