Defining a correlation set

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:

  1. 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:
    1. property aliases will have to be defined for both the request and response messages in state machines with only one operation.
    2. null value are not allowed in the request message with only one operation.
    3. the operation used on the initial transition, cannot be used on any other transition in the state machine.
  2. In the tray, click the plus icon (The plus symbol) to the right of Correlation Properties.
  3. 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.
  4. In the properties view, select the element from each operation that corresponds to the new property.

Feedback
(C) Copyright IBM Corporation 2005, 2007. All Rights Reserved.