Abstract: ADEPT model with distributed symmetrical control structures can be used to model control flow and data flow. But we are unable to evaluate the correctness of process model and process instance due to the lack of for malization. A formalized definition of ADEPT model was given, and its instance was formally specified according to the state machine of instance. Upon the work stated above, an approach to evaluate model correctness and instance consistency was proposed lastly.

Key words: ADEPT, distributed optimization, process model, process instance