Modeling and Validating E-Commerce Business Process Based on Petri Nets

Wang Yang Yu, Chun Gang Yan, Zhi Jun Ding, Chang Jun Jiang, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

69 Scopus citations


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.

Original languageEnglish (US)
Article number6525422
Pages (from-to)327-341
Number of pages15
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Issue number3
StatePublished - Mar 2014

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering


  • Business process
  • e-commerce
  • modeling
  • online shopping
  • trustworthy
  • validating


Dive into the research topics of 'Modeling and Validating E-Commerce Business Process Based on Petri Nets'. Together they form a unique fingerprint.

Cite this