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, Chorographical 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.