Then

Then steps are used to describe an expected outcome or result. They perform an assertion.

State

• Running state - Assert that the process is in the expected state

• End state - Assert that the process is in the expected end state

• State property - Assert that a property of the current state has the expected value

Actor

• Actor exists - Assert that the actor is defined in the process

• Actor property - Assert that a property of an actor has the expected value

Variables

• Process variables - Assert that a process variable (vars) has the expected value

• Process result - Assert that the process result has the expected value

• Tags - Assert that the process has or doesn't have a specific tag

Service

• Notification - Assert that a service has (or hasn't) been notified

Event

• Skipped event - Assert that the previous action has failed
• Successful event - Assert that the previous action was applied successfully
• No skipped events - Assert that there are no failed actions
• Timeout event - Assert that the previous state change was caused by a timeout