Supplied Parameter

An Interaction may supply any number of parameters with associated values. These presumably correspond to a signature defined in the Modeling Language for the Actor and Action Type involved in the interaction.

The model debugger simply scoops up the parameter names and values and either injects them into the System or receives them from the System. Any validation is the responsibility of the System itself.

Identifiers

1. Interaction + Name

Attributes

Name

The name of the parameter

Type: Parameter Name -> Name

Value

The user supplied value provided for the named parameter.

Type: Value Represnetation -> String