Process design, verification and simulation : an implementation in a visual modeling tool for a workflow management system / Hong Zhang