CBR_一种支持工作流过程语义验证的组件级化简方法.pdfVIP

6 Vol.33 No. 6 2005 6 CT ELECTRONIC SINIC Jun 2005 CBR: 1,2 1 2 周建涛 , 史美林 , 叶新铭 ( 1. , 100084; 2. , 010021) : , . ,. , . . ,, , , ,., , (Component Based Reduction, CBR) , . : ; ; ; ; Petri : TP311; TP391 : : ( 2005) CBR: A ComponentBased Reduction Method for Semantics Verification of Workflow Processes 1,2 1 2 ZHOU Jiantao ,SHI Meilin ,YE Xinming ( 1. Department of Computer Science, Tsinghua University, Bejiing 100084, China; 2. College of Computer Science, Inner Mongolia University, uhhot, Neimenggu 010021, China) Abstract: 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 controlflow,data flow andresource.Semantics verification is to ensure co operation correctness of the three dimensions.This paper endeavors semantics verification of largescale and flexibleworkflow process es.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 componentbased reduction technique and rules, strongly supporting sema