首页> 中文期刊> 《内蒙古大学学报：自然科学版》 >工作流过程的语义验证方法应用

工作流过程的语义验证方法应用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《内蒙古大学学报：自然科学版》 |2006年第3期|340-344|共5页
作者
周建涛; 唐旭文;
展开▼
作者单位

内蒙古大学计算机学院;

内蒙古移动通信公司;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;计算机网络;
关键词
工作流过程; 语义验证; 三维工作流网; 化简; 电子商务;

相似文献

中文文献
外文文献
专利

1. CBR:一种支持工作流过程语义验证的组件级化简方法 [J] . 周建涛 ,史美林 ,叶新铭 . 电子学报 . 2005,第006期
2. 一种基于Petri网化简的工作流过程语义验证方法 [J] . 周建涛 ,史美林 ,叶新铭 . 软件学报 . 2005,第007期
3. 基于条件约束的工作流语义验证方法及应用 [J] . 袁钢 ,孙瑞志 ,向勇 . 小型微型计算机系统 . 2013,第009期
4. 基于语义推理的工作流结构验证方法 [J] . 凌鸿 ,周江波 ,胥正川 . 计算机集成制造系统 . 2006,第006期
5. 基于组件级化简的语义验证方法在电子商务过程中的应用 [J] . 周建涛 ,叶新铭 . 内蒙古大学学报：自然科学版 . 2006,第2期
6. 基于条件约束的工作流语义验证方法及应用 [C] . 袁钢 ,孙瑞志 ,向勇 . 第8届全国计算机支持的协同工作学术会议（CCSCW-2012）暨全国第23届计算机技术与应用学术会议（CACIS-2012） . 2012
7. 基于Petri网的工作流过程模型验证和性能评价方法的研究 [A] . 陈宇寒 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号