Workflow Engine Module of the Ginger WfMS