Analyzing E-commerce business process nets via incidence matrix and reduction

Document Type

Article

Publication Date

1-1-2018

Abstract

E-commerce business process nets (EBPNs) are a novel formal model for describing and validating e-commerce systems including interactive parties such as shopper, merchant, and third-party payment platform. Data errors and nondeterminacy of the data states during the trading process can be depicted with the help of EBPNs. However, the problem about how to analyze EBPNs remains largely open. To analyze their dataliveness, data-boundedness, and reachability, this paper presents two analysis methods. For EBPNs, reachability analysis is proposed based on a 3-D incidence matrix method. Additionally, reduction methods are proposed for a special EBPN. Finally, the validity and reliability of the proposed methods are illustrated via the examples of e-commerce systems.

Identifier

85062712228 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

https://doi.org/10.1109/TSMC.2016.2598287

e-ISSN

21682232

ISSN

21682216

First Page

130

Last Page

141

Issue

1

Volume

48

Grant

61303092

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS