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

Mei Zhang, Fei Feng, Zhilong Zhang and Jinghua Wen
Additional contact information
Mei Zhang: Guizhou University of Finance and Economics, Guizhou, China
Fei Feng: Guizhou University of Finance and Economics, Guizhou, China
Zhilong Zhang: Guizhou University of Finance and Economics, Guizhou, China
Jinghua Wen: Guizhou University of Finance and Economics, Guizhou, China

International Journal of Enterprise Information Systems (IJEIS), 2020, vol. 16, issue 1, 92-107

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.

Date: 2020
References: Add references at CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/IJEIS.2020010105 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jeis00:v:16:y:2020:i:1:p:92-107

Access Statistics for this article

International Journal of Enterprise Information Systems (IJEIS) is currently edited by Gianluigi Viscusi

More articles in International Journal of Enterprise Information Systems (IJEIS) from IGI Global
Bibliographic data for series maintained by Journal Editor ().