Verification of Workflow Specifications Considering Resource Type and Amount

Workflow management systems have been widely used in business processes. It facilitates the creation of new business processes and modification of existing processes. It is sensible to resolve the potential errors and conflicts in build-time to prevent the costly failures at run-time. This paper proposed an approach with corresponding algorithms to detect the potential resource conflicts of workflow specifications take into account the resource type and amount. Define and check the resource feasibility of workflow specifications with these algorithms.