User Guide for

Maestro Business Process Verification Extension

This is a user guide for showing you the basic functionality of the Maestro Business Process Verification extension.

This document will describe how a user may save a semantic process instances of business processes, express business level requirements by defining business rules, and how a user may verify business processes with the verification extension. All actions are accessible through the Maestro User Interface.