Document Type



Business process modeling has been adopted widely. Due to the complexity, it is very hard to validate the rationality of process models. The existing validation methods can only detect structural conflicts in process models. It is also very important to validate those objects related to the processes. This paper presents a rationality validation method which is based on discrete event simulation technology. It can detect three logic mistakes from business process models: structural deadlock, lack of synchronization and objects not matched each other. This method has extended the scope of rationality validation, and also enriches the contents that can be validated.