CoBTx-Net: a model for reliability verification of collaborative business transaction
BPM'07 Proceedings of the 2007 international conference on Business process management
Hi-index | 0.00 |
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. An important issue that needs to be dealt with for any generic solution to manage collaborative business transaction is reliability verification. In this paper, a business collaboration model, Choreographical Business Transaction Net (CoBTx-Net) is developed for individual business participants to specify and manage the collaboration. Three reliability properties named Time- embedded dead marking freeness, Inter-organizational dead marking freeness, and Collaborative soundness are defined and exploited to verify reliability based on CoBTx-Net. Key Words: Collaborative Business Transaction, Reliability Verification, Reliability Properties