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

Electronic Commerce Trading System Based on Modeling of Workflow

作　　者：张春燕[1] 

机构地区：[1]河南工业大学信息科学与工程学院,河南郑州450052

出　　处：《河北理工大学学报（自然科学版）》2009年第2期64-66,71,共4页Journal of Hebei Polytechnic University:Social Science Edition

摘　　要：随着Internet的高速发展和普及,电子商务已成为当前社会和经济发展中的一种重要交易方式。工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持。基于工作流技术为电子商务交易订购系统建立形式化模型。首先通过进程代数CSP的语法进行了定义,并采用CSP对常见的工作流模式进行描述。其次,应用工作流的CSP描述对电子商务交易订购流程进行建模。该模型符合原子性要求,能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述,有助于解决当前电子商务系统存在的诸多问题。With the development of Internet,electronic commerce has become an important trading mode.Workflow provide technical support for modeling and application of electronic commerce system.This paper presents a workflow electronic commerce trading system.Firstly defines it with process algebra and describe workflow mode with CSP.hen modeling the trading system with workflow CSP is completed.The system meets atomicity requirement,describes system response,concurrency control in trading,helps to solve problems of current electronic commerce system.

关 键 词：电子商务 工作流模型 进程代数 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]