Task: VV2 - BP verification

Several verification techniques can be applied to verify different characteristics of the BP model, such as be free of deadlocks or soundness. It is up to the user (organization) to perform this step and to select the specific characteristics to be verified.

Disciplines: BP validation & verification

Purpose

To verify different properties of the BP models to find undesirable situations such as deadlocks and to verify for example the soundness of the BP.

Relationships

Roles	Primary Performer: Responsible of the BP	Additional Performers: Analyst Architect Business Analyst
Inputs	Mandatory: Business Processes document	Optional: None
Outputs	Verification document
Process Usage	Design & Analysis > VV2 - BP verification