The
scenario analyzer verifies that scenario changes comply with the rules defined in the scenario knowledge base
The
situation analyzer verifies that the
situation of the
functional unit matches the effective scenario and comply with the rules defined in the situation knowledge base
The activity analyzer verifies that an event generated by the functional unit complies with the expectations, as defined in the rules in the activity knowledge base..