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.

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: Responsible of the BP	Additional: Analyst Architect Business Analyst	Assisting:
Inputs	Mandatory: Business Processes document	Optional: None	External: None
Outputs	Verification document

Properties

Multiple Occurrences
Event Driven
Ongoing
Optional
Planned
Repeatable