摘要
工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子商务过程订货购买过程的定义和验证.特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性.
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.
出处
《内蒙古大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第3期340-344,共5页
Journal of Inner Mongolia University:Natural Science Edition
基金
国家自然科学基金项目(60563004)
内蒙古自然科学基金项目(200508010802)