【摘要】 工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.更多还原

【Abstract】 Semantic verification of workflow processes is essential to ensure the processes to achieve their goals.Semantic verification method based on processes components is helpful to enhance efficiency,thus it is befitting for verification of large-scale processes.In a workflow system,a semantic verification method based on component-level reduction is described to verify an e-commerce process,order-and-buy process,which is defined with 3DWFN.The effectivity of the method is given.更多还原