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

Wangyang Yu; Chungang Yan; Zhijun Ding; Changjun Jiang; Mengchu Zhou

doi:10.1109/TSMC.2016.2598287

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

Wangyang Yu, Chungang Yan, Zhijun Ding, Changjun Jiang, Mengchu Zhou

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

32 Scopus citations

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.

Original language	English (US)
Article number	2598287
Pages (from-to)	130-141
Number of pages	12
Journal	IEEE Transactions on Systems, Man, and Cybernetics: Systems
Volume	48
Issue number	1
DOIs	https://doi.org/10.1109/TSMC.2016.2598287
State	Published - Jan 2018

All Science Journal Classification (ASJC) codes

Software
Control and Systems Engineering
Human-Computer Interaction
Computer Science Applications
Electrical and Electronic Engineering

Keywords

Analysis
Business process
E-commerce
Modeling
Verification

Access to Document

10.1109/TSMC.2016.2598287

Cite this

@article{2abe447414c6463cbc7b71fbc594711f,

title = "Analyzing E-commerce business process nets via incidence matrix and reduction",

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.",

keywords = "Analysis, Business process, E-commerce, Modeling, Verification",

author = "Wangyang Yu and Chungang Yan and Zhijun Ding and Changjun Jiang and Mengchu Zhou",

note = "Publisher Copyright: {\textcopyright} 2016 IEEE.",

year = "2018",

month = jan,

doi = "10.1109/TSMC.2016.2598287",

language = "English (US)",

volume = "48",

pages = "130--141",

journal = "IEEE Transactions on Systems, Man, and Cybernetics: Systems",

issn = "2168-2216",

publisher = "IEEE Advancing Technology for Humanity",

number = "1",

}

TY - JOUR

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

AU - Yu, Wangyang

AU - Yan, Chungang

AU - Ding, Zhijun

AU - Jiang, Changjun

AU - Zhou, Mengchu

PY - 2018/1

Y1 - 2018/1

N2 - 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.

AB - 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.

KW - Analysis

KW - Business process

KW - E-commerce

KW - Modeling

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=85062712228&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85062712228&partnerID=8YFLogxK

U2 - 10.1109/TSMC.2016.2598287

DO - 10.1109/TSMC.2016.2598287

M3 - Article

AN - SCOPUS:85062712228

SN - 2168-2216

VL - 48

SP - 130

EP - 141

JO - IEEE Transactions on Systems, Man, and Cybernetics: Systems

JF - IEEE Transactions on Systems, Man, and Cybernetics: Systems

IS - 1

M1 - 2598287

ER -

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

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this