摘要
工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.
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.
出处
《内蒙古大学学报（自然科学版）》
CAS
CSCD
北大核心
2006年第2期195-200,共6页
Journal of Inner Mongolia University：Natural Science Edition
基金
国家自然科学基金项目(60563004)
内蒙古自然科学基金项目(200508010802)
关键词
工作流过程
语义验证
组件
化简
电子商务
workflow process
semantic verification
component
reduction
e-commerce
作者简介
周建涛（1974～），女（满族），内蒙古呼和浩特人，博士，副教授．
