【摘要】 工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子商务过程订货购买过程的定义和验证.特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性.更多还原

【Abstract】 Workflow process modeling is a complex and error-prone procedure.Thus,effective process verification in modeling phase is essential.An actual workflow system is introduced firstly,then a process in e-commerce,order and buy process is defined and verified using modeling tool of the system.Especially,an application of semantic verification method based on 3DWFN reduction is described in detail.更多还原