10.3969/j.issn.1674-0262.2009.02.015
基于工作流的电子商务交易订购系统建模
随着Intemet的高速发展和普及,电子商务已成为当前社会和经济发展中的一种重要交易方式.工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持.基于工作流技术为电子商务交易订购系统建立形式化模型.首先通过进程代数CSP的语法进行了定义,并采用CSP对常见的工作流模式进行描述.其次,应用工作流的CSP 描述对电子商务交易订购流程进行建模.该模型符合原子性要求,能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述,有助于解决当前电子商务系统存在的诸多问题.
电子商务、工作流模型、进程代数
31
TP311.52(计算技术、计算机技术)
2009-05-20(万方平台首次上网日期,不代表论文的发表时间)
共4页
64-66,71