Name
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 data-liveness, 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. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1109/TSMC.2016.2598287 | IEEE Trans. Systems, Man, and Cybernetics: Systems |
Keywords | Field | DocType |
Business,Security,Petri nets,Computer science,Cybernetics,Analytical models,Reachability analysis | Petri net,Computer science,Reachability,Theoretical computer science,Artificial intelligence,Business process modeling,Management science,Business process,Process modeling,Process architecture,Incidence matrix,Machine learning,Business Process Model and Notation | Journal |
Volume | Issue | ISSN |
48 | 1 | 2168-2216 |
Citations | PageRank | References |
3 | 0.38 | 19 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| WangYang Yu | 1 | 34 | 2.63 |
| Chun-Gang Yan | 2 | 62 | 15.97 |
| Zhijun Ding | 3 | 346 | 30.28 |
| Changjun Jiang | 4 | 1350 | 117.57 |
| MengChu Zhou | 5 | 8989 | 534.94 |