Model analyzer provides tools for analyzing formal business process consistency and building a "big picture". Embedded consistency checks include:

• Identification of phantom (appearing from nowhere) and dead (never used) work products.
• Identification of dead (does nothing) or almost dead (does too little) roles.
• Identification of unlinked processes (no work products from preceding process are used in succeeding process) etc.
• etc.

Please note that the number of consistency checks can be increased by implementation of custom consistency checks. Since the model is stored in open XML-based format, it's possible to create, at relatively low cost, custom checks reflecting enterprise specifics.

ShareProcess provide various tools for process knowledge aggregating, aimed at building a "big picture"

• Identification of all roles or work products involved into process or group of processes.
• Identification of all processes where role or work product is involved.
• Identification of all work products the role deals with etc.