CoBTx-Net: a model for reliability verification of collaborative business transaction

Authors:
Haiyang Sun;Jian Yang
Affiliations:
Department of Computing, Macquarie University, Sydney, NSW;Department of Computing, Macquarie University, Sydney, NSW
Venue:
BPM'07 Proceedings of the 2007 international conference on Business process management
Year:
2007

Citing 10
Cited 0

Hierarchies in Coloured Petri Nets

APN 90 Proceedings on Advances in Petri nets 1990
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications

Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A CP-nets-based Design and Verification Framework for Web Services Composition

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Understanding SOA with Web Services (Independent Technology Guides)

Understanding SOA with Web Services (Independent Technology Guides)
A Petri-Net based Validator in Reliability of a Composite Service

EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow

SAINT '06 Proceedings of the International Symposium on Applications on Internet
Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions

APSCC '07 Proceedings of the The 2nd IEEE Asia-Pacific Service Computing Conference
Transforming BPEL to petri nets

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs to be dealt with for any generic solution to manage collaborative business transaction is reliability verification. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to specify collaborative business transaction and manages the collaboration by individual participants. Furthermore three reliability properties named Time-embedded dead marking freeness, Inter-organizational dead marking freeness, and Collaborative soundness are defined based on CoBTx-Net to verify (1) the violation of time constraint, (2) collaborative logic conflicts, and (3) the improper termination from individual organizations.