Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions

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.