• The Architecture parameter, which specifies the architecture to be analyzed.

• The Activity Subset parameter, which is an optional parameter. This parameter is used to reduce the scope of the study to a subset of selected activities. In this case, only the state machines attached to the selected activities are considered. If this parameter is not set, all the state machines attached to an activity are taken into account.