Liang Zhao Department of Computer Science and Technology Shandong University JiNan China 250101 Qing Yao Department of Computer Science and Technology Shandong University JiNan China 250101
Aim at the needs of the real-time correctness verification for process modeling methods such as BPMN,UML etc.this paper proposed a Rete-based business process verification method, it solves the shortcomings of the traditional verification methods such as EPC,petri-nets that can only meet the requirements of the correctness but lack of the real-time requirements.
Rete ;rule ;process
To explore the background and basis of the node document
Documents that have the similar content to the node document