{'fraction_non_alphanumeric': 0.021963824289405683, 'fraction_numerical': 0.0, 'mean_word_length': 6.045454545454546, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
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.