Verification methods of workflow processes always focus on the control flow

while only a few developments have been done on the verification combining control flow with data and resource information.However achievements of business goals rely on cooperation of three basic dimensions of workflow

called control flow

data flow and resource.Semantics verification is to ensure cooperation correctness of the three dimensions.This paper endeavors semantics verification of large-scale and flexible workflow processes.It firstly presents a formal process model

not only integrating the basic three dimensions for semantics expression

but also using concept of component to facilitate scalability and flexibility of processes.By focusing collaborative logic between components

it then discusses component-based reduction technique and rules

strongly supporting semantics verification of processes.