A Temporal-Rule Based Verification System for Business Collaboration Reliability

Based on the temporal rules defined for the business processe participating in a business collaboration, we present an implementation for a system called TiCoBTS to verify the reliability of the business collaboration

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.8 page(s