Process Analysis
Logical: Evaluate static properties of a process model: consistency, completeness, traceability, internal correctness, other semantic checks.
Feasibility: Does process satisfy existing requirements with available resources.
Optimization: Measure and transform process flow to reduce resource utilization