Welcome to the InfoSci Platform
Reference Hub2
A New Business Process Verification Approach for E-Commerce Using Petri Nets

A New Business Process Verification Approach for E-Commerce Using Petri Nets

Mei Zhang, Fei Feng, Zhilong Zhang, Jinghua Wen
Copyright: © 2020 |Volume: 16 |Issue: 1 |Pages: 16
ISSN: 1548-1115|EISSN: 1548-1123|EISBN13: 9781799805014|DOI: 10.4018/IJEIS.2020010105
Cite Article Cite Article

MLA

Zhang, Mei, et al. "A New Business Process Verification Approach for E-Commerce Using Petri Nets." IJEIS vol.16, no.1 2020: pp.92-107. http://doi.org/10.4018/IJEIS.2020010105

APA

Zhang, M., Feng, F., Zhang, Z., & Wen, J. (2020). A New Business Process Verification Approach for E-Commerce Using Petri Nets. International Journal of Enterprise Information Systems (IJEIS), 16(1), 92-107. http://doi.org/10.4018/IJEIS.2020010105

Chicago

Zhang, Mei, et al. "A New Business Process Verification Approach for E-Commerce Using Petri Nets," International Journal of Enterprise Information Systems (IJEIS) 16, no.1: 92-107. http://doi.org/10.4018/IJEIS.2020010105

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

The design, modeling, optimization, reengineering, and coupling of business processes in e-commerce environment have gradually become a hot research topic. Business processes must be strictly described and validated by formal methods to ensure their reliability and efficiency. This paper systematically studies the introduction of new business process characteristics into behavioral temporal logic and extend TLA to obtain a new logic system PTLA, which enriches the theoretical system of formal method of business process under the environment of e-commerce. The paper also discusses Petri nets and show how to convert Petri nets into TLA. A parallel Petri net model was built to represent the dynamic, concurrency and flexibility, and cross-organizational e-commerce business process. Finally, the use of simulation to extend the business process execution language BPEL to TLA.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.