@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 = "Funding Information: Manuscript received October 7, 2015; accepted June 19, 2016. Date of publication September 14, 2016; date of current version December 14, 2017. This work was supported in part by the National Natural Science Foundation of China under Grant 91218301, 61340003, 61602289, and 61303092, in part by the Fundamental Research Funds for the Central Universities of China under Grant GK201503061, in part by the Natural Science Foundation of Shaanxi Province under Grant 2016JQ6056, and in part by the Program of Key Science and Technology Innovation Team in Shaanxi Province under Grant 2014KTC-18. This paper was recommended by Associate Editor J. Watada. (Corresponding author: Changjun Jiang.) W. Yu is with the Ministry of Education, Key Laboratory for Modern Teaching Technology, Shaanxi Normal University, Xi{\textquoteright}an 710119, China, also with the School of Computer Science, Shaanxi Normal University, Xi{\textquoteright}an 710062, China, and also with the Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University, Shanghai 200092, China (e-mail: ywy191@gmail.com). 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",
}