TY - JOUR
T1 - CoBTx-Net
T2 - A model for business collaboration reliability verification
AU - Sun, Haiyang
AU - Yang, Jian
AU - Xu, Lai
PY - 2009/7
Y1 - 2009/7
N2 - Collaborative business process can become unreliable when business partners collaborate in a peer- based fashion without central control. Therefore, reliability checking becomes an important issue that needs to be dealt with for any generic solution in managing business collaboration. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to model collaborative business process and to manage the collaboration by individual participants. Furthermore three reliability properties named Time-embedded dead marking freeness, Inter-organizational dead marking freeness, and Collaborative soundness are defined based on CoBTx-Net to verify (1) the violation of time constraint, (2) collaborative logic conflicts, and (3) the improper termination from individual organizations.
AB - Collaborative business process can become unreliable when business partners collaborate in a peer- based fashion without central control. Therefore, reliability checking becomes an important issue that needs to be dealt with for any generic solution in managing business collaboration. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to model collaborative business process and to manage the collaboration by individual participants. Furthermore three reliability properties named Time-embedded dead marking freeness, Inter-organizational dead marking freeness, and Collaborative soundness are defined based on CoBTx-Net to verify (1) the violation of time constraint, (2) collaborative logic conflicts, and (3) the improper termination from individual organizations.
UR - http://www.scopus.com/inward/record.url?scp=67651154568&partnerID=8YFLogxK
U2 - 10.1007/s10796-008-9088-1
DO - 10.1007/s10796-008-9088-1
M3 - Article
AN - SCOPUS:67651154568
SN - 1387-3326
VL - 11
SP - 257
EP - 272
JO - Information Systems Frontiers
JF - Information Systems Frontiers
IS - 3
ER -