Modeling and Validating E-Commerce Business Process Based on Petri Nets
Modeling and Validating E-Commerce Business Process Based on Petri Nets
复制标题
DOI：
10.1109/tsmc.2013.2248358
复制
发表时间：
2014-03
期刊：
影响因子：
--
通讯作者：
Wangyang Yu;Chungang Yan;Zhijun Ding;Changjun Jiang;Mengchu Zhou
中科院分区：
文献类型：
--
作者：
Wangyang Yu;Chungang Yan;Zhijun Ding;Changjun Jiang;Mengchu Zhou
最近，通过第三方支付平台进行了电子商务和在线购物，最近迅速开发了，并遇到了许多用户有关的容忍度和安全问题。这些问题的原因包括恶意行为和不完美的业务流程。后者导致安全漏洞的出现和用户资金的损失，这些年来变得越来越严重。我们专注于电子商务的业务流程，并提出了一个正式模型，用于构建名为电子商务业务流程网的电子商务业务流程。它基于培养皿网集成了数据和控制流。定义和验证了理性和交易一致性，以确保电子商务业务流程的交易属性。本文提供了一种完整的方法，用于从业务流程的角度使用第三方支付平台建模和验证电子商务系统。它的使用使设计人员能够在设计过程的早期识别错误，并在部署阶段之前对其进行纠正。为了证明该方法的适用性和可行性，我们已经对现实世界的电子商务业务流程进行了建模和验证，并发现了导致违反交易属性的问题。
E-commerce and online shopping with a third-party payment platform have rapidly developed recently, and encountered many fault tolerance and security problems concerned by users. The causes of these problems include malicious behavior and imperfect business processes. The latter lead to the emergence of security vulnerabilities and loss of user funds which become more and more serious these years. We focus on the business process of e-commerce, and propose a formal model for constructing an e-commerce business process called an E-commerce Business Process Net. It integrates both data and control flows based on Petri nets. Rationality and transaction consistency are defined and validated to guarantee the transaction properties of an e-commerce business process. This paper offers a complete methodology for modeling and validating an e-commerce system with a third-party payment platform from the view point of a business process. Its use enables a designer to identify errors early in the design process and correct them before the deployment phase. In order to demonstrate the applicability and feasibility of the methodology, we have modeled and validated a real-world e-commerce business process and discovered the problems that cause the violation of transaction properties.