Sciweavers

Share
BPM
2007
Springer

CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction

10 years 3 months ago
CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs to be dealt with for any generic solution to manage collaborative business transaction is reliability verification. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to specify collaborative business transaction and manages 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.
Haiyang Sun, Jian Yang
Added 12 Aug 2010
Updated 12 Aug 2010
Type Conference
Year 2007
Where BPM
Authors Haiyang Sun, Jian Yang
Comments (0)
books