| 基于组件级化简的语义验证方法在电子商务过程中的应用 |
| |
| 引用本文： | 周建涛,叶新铭.基于组件级化简的语义验证方法在电子商务过程中的应用[J].内蒙古大学学报(自然科学版),2006,37(2):195-200. |
| |
| 作者姓名： | 周建涛 叶新铭 |
| |
| 作者单位： | 内蒙古大学计算机学院,呼和浩特,010021 |
| |
| 基金项目： | 中国科学院资助项目;蒙古自然科学基金 |
| |
| 摘 要： | 工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.
|
| 关 键 词： | 工作流过程 语义验证 组件 化简 电子商务 |
| 文章编号： | 1000-1638(2006)02-0195-06 |
| 收稿时间： | 2005-10-08 |
| 修稿时间： | 2005年10月8日 |
Application of Semantic Verification Method Based on Component-level Reduction in E-commerce Processes |
| |
| ZHOU Jian-tao,YE Xin-ming.Application of Semantic Verification Method Based on Component-level Reduction in E-commerce Processes[J].Acta Scientiarum Naturalium Universitatis Neimongol,2006,37(2):195-200. |
| |
| Authors: | ZHOU Jian-tao YE Xin-ming |
| |
| Institution: | College of Computer Science,Inner Mongolia University, Hohhot 010021 ,China |
| |
| 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. |
| |
| Keywords: | workflow process semantic verification component reduction e-commerce |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
