The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A New Business Process Verification Approach for E-Commerce Using Petri Nets
|
|
Author(s): 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)and Jinghua Wen (Guizhou University of Finance and Economics, Guizhou, China)
Copyright: 2020
Volume: 16
Issue: 1
Pages: 16
Source title:
International Journal of Enterprise Information Systems (IJEIS)
Editor(s)-in-Chief: Gianluigi Viscusi (Linköping University, Sweden)
DOI: 10.4018/IJEIS.2020010105
Purchase
|
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.
Related Content
|
Yujong Hwang, Hui Lin, Donghee Shin.
© 2023.
17 pages.
|
|
Yin Xu, Sam Dzever, Guoqin Zhao.
© 2023.
23 pages.
|
|
Mohamed Abdalla Nour.
© 2023.
29 pages.
|
|
Godwin Banafo Akrong, Yunfei Shao, Ebenezer Owusu.
© 2022.
41 pages.
|
|
Yigal David, Elad Harison.
© 2022.
20 pages.
|
|
Mohmed Y. Mohmed Al-Sabaawi, Bassam A. Alyouzbaky.
© 2022.
22 pages.
|
|
Normalini Md Kassim, Wan Normila Mohamad, Nor Hazlina Hashim.
© 2022.
21 pages.
|
|
|