The prime objective of this work is to establish a methodology applied in a practical visual modeling tool ProcessModeler (PM), for design, verification and simulation of process definitions implemented in a workflow management system WfMS).