基于工作流的电子商务交易订购系统建模

详细信息   全文下载|推荐本文 |

• 出版年：2009
• 作者：张春燕
• 单位1：河南工业大学 信息科学与工程学院
• 语种：中文
• 作者关键词：电子商务；工作流模型；进程代数
• 起始页：64
• 总页数：4
• 刊名：河北理工大学学报（自然科学版）
• 是否内版：否
• 刊频：季刊
• 创刊时间：1979
• 主管单位：河北省教育厅
• 主办单位：河北理工大学
• 主编：任火
• 地址：唐山市新华西道46号
• 邮编：063009
• 电子信箱：xueb@heut.edu.cn
• 卷：31
• 期：2
• 期刊索取号：P820.66 464

摘要

随着Internet的高速发展和普及，电子商务已成为当前社会和经济发展中的一种重要交易方式。工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持。基于工作流技术为电子商务交易订购系统建立形式化模型。首先通过进程代数CSP的语法进行了定义，并采用CSP对常见的工作流模式进行描述。其次，应用工作流的CSP描述对电子商务交易订购流程进行建模。该模型符合原子性要求，能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述，有助于解决当前电子商务系统存在的诸多问题。