CoBTx-net

A model for reliability verification of collaborative business transaction

Haiyang Sun*, Jian Yang

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationBusiness Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers
EditorsArthur ter Hofstede, Boualem Benatallah, Hye-Young Paik
Place of PublicationBerlin
PublisherSpringer, Springer Nature
Pages220-231
Number of pages12
Volume4928 LNCS
ISBN (Print)3540782370, 9783540782377
DOIs
Publication statusPublished - 2008
Event5th International Conference on Business Process Management, BPM 2007 - Brisbane, Australia
Duration: 24 Sep 200724 Sep 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4928 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other5th International Conference on Business Process Management, BPM 2007
CountryAustralia
CityBrisbane
Period24/09/0724/09/07

Fingerprint Dive into the research topics of 'CoBTx-net: A model for reliability verification of collaborative business transaction'. Together they form a unique fingerprint.

Cite this