A correlation set defines properties that are used to distinguish
one instance of a state machine from another within a runtime environment.
For each operation (event) that the state machine responds to, a property
alias locates the input that corresponds to each correlation property that
is defined.
The state machine editor can handle the initialization of correlations
in either of the following two ways:
- The operation that initializes the state machine passes a correlation
key as one of its input parameters
- The state machine passes a correlation key as an output parameter to the
initializing operation
.
To define a correlation and an alias, proceed as follows:
- Select the transition that originates from the initial state in
the state machine diagram. In the Description tab
of the properties area, you have the following two options for the Initialize
correlation on setting:
Option |
Description |
request |
Use this if the operation will
pass a correlation key on input. |
response |
Use this if the state machine
will pass the correlation key as output.Note: If you choose response,
keep the following in mind: - property aliases will have to be defined for both the request and response
messages in state machines with only one operation.
- null value are not allowed in the request message with only one operation.
- the operation used on the initial transition, cannot be used on any other
transition in the state machine.
|
- In the tray, click the plus icon (
) to the right of Correlation
Properties.
- In the Add Correlation Property wizard, browse
to the appropriate data type. When you are done, the newly created
property will appear in the tray.
- In the properties view, select the element from each operation
that corresponds to the new property.