IDEAS home Printed from https://ideas.repec.org/a/igg/jeis00/v16y2020i1p92-107.html
   My bibliography  Save this article

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

Author

Listed:
  • 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)

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.

Suggested Citation

  • Mei Zhang & Fei Feng & Zhilong Zhang & Jinghua Wen, 2020. "A New Business Process Verification Approach for E-Commerce Using Petri Nets," International Journal of Enterprise Information Systems (IJEIS), IGI Global, vol. 16(1), pages 92-107, January.
    • Handle: RePEc:igg:jeis00:v:16:y:2020:i:1:p:92-107
    as

    Download full text from publisher

    File URL: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/IJEIS.2020010105
    Download Restriction: no
    ---><---

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Daniel Adu-Gyamfi & Albert Kofi Kwansah Ansah & Gabriel Kofi Armah & Seth Alornyo & Dominic Kwasi Adom & Fengli Zhang, 2022. "Towards bitcoin transaction anonymity with recurrent attack prevention," International Journal of System Assurance Engineering and Management, Springer;The Society for Reliability, Engineering Quality and Operations Management (SREQOM),India, and Division of Operation and Maintenance, Lulea University of Technology, Sweden, vol. 13(4), pages 1-17, August.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jeis00:v:16:y:2020:i:1:p:92-107. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.