Process model is the formal definition of business process. And the correctness of process model directly affects the business objective. In this paper, a kind of process definition language is defined and used to model business processes. In the meantime, the process models defined by this kind of language are analyzed, and a control algorithm for workflow execution is given.