CoBTx-net: A model for reliability verification of collaborative business transaction

Haiyang Sun; Jian Yang

doi:10.1007/978-3-540-78238-4_23

CoBTx-net

A model for reliability verification of collaborative business transaction

Haiyang Sun^*, Jian Yang

^*Corresponding author for this work

Department of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers
Editors	Arthur ter Hofstede, Boualem Benatallah, Hye-Young Paik
Place of Publication	Berlin
Publisher	Springer, Springer Nature
Pages	220-231
Number of pages	12
Volume	4928 LNCS
ISBN (Print)	3540782370, 9783540782377
DOIs	https://doi.org/10.1007/978-3-540-78238-4_23
Publication status	Published - 2008
Event	5th International Conference on Business Process Management, BPM 2007 - Brisbane, Australia Duration: 24 Sep 2007 → 24 Sep 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4928 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Other

Other	5th International Conference on Business Process Management, BPM 2007
Country	Australia
City	Brisbane
Period	24/09/07 → 24/09/07

Access to Document

10.1007/978-3-540-78238-4_23

Link to publication in Scopus

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

Sun, H., & Yang, J. (2008). CoBTx-net: A model for reliability verification of collaborative business transaction. In A. ter Hofstede, B. Benatallah, & H-Y. Paik (Eds.), Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers (Vol. 4928 LNCS, pp. 220-231). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4928 LNCS). Berlin: Springer, Springer Nature. https://doi.org/10.1007/978-3-540-78238-4_23

Sun, Haiyang ; Yang, Jian. / CoBTx-net : A model for reliability verification of collaborative business transaction. Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers. editor / Arthur ter Hofstede ; Boualem Benatallah ; Hye-Young Paik. Vol. 4928 LNCS Berlin : Springer, Springer Nature, 2008. pp. 220-231 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{306679c9b9ba4850bfeab5aee33817ad,

title = "CoBTx-net: A model for reliability verification of collaborative business transaction",

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

author = "Haiyang Sun and Jian Yang",

year = "2008",

doi = "10.1007/978-3-540-78238-4_23",

language = "English",

isbn = "3540782370",

volume = "4928 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "220--231",

editor = "{ter Hofstede}, Arthur and Boualem Benatallah and Hye-Young Paik",

booktitle = "Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers",

address = "United States",

}

Sun, H & Yang, J 2008, CoBTx-net: A model for reliability verification of collaborative business transaction. in A ter Hofstede, B Benatallah & H-Y Paik (eds), Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers. vol. 4928 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4928 LNCS, Springer, Springer Nature, Berlin, pp. 220-231, 5th International Conference on Business Process Management, BPM 2007, Brisbane, Australia, 24/09/07. https://doi.org/10.1007/978-3-540-78238-4_23

CoBTx-net : A model for reliability verification of collaborative business transaction. / Sun, Haiyang; Yang, Jian.

Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers. ed. / Arthur ter Hofstede; Boualem Benatallah; Hye-Young Paik. Vol. 4928 LNCS Berlin : Springer, Springer Nature, 2008. p. 220-231 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4928 LNCS).

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

TY - GEN

T1 - CoBTx-net

T2 - A model for reliability verification of collaborative business transaction

AU - Sun, Haiyang

AU - Yang, Jian

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=40549139763&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-78238-4_23

DO - 10.1007/978-3-540-78238-4_23

M3 - Conference proceeding contribution

SN - 3540782370

SN - 9783540782377

VL - 4928 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 220

EP - 231

BT - Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers

A2 - ter Hofstede, Arthur

A2 - Benatallah, Boualem

A2 - Paik, Hye-Young

PB - Springer, Springer Nature

CY - Berlin

ER -

Sun H, Yang J. CoBTx-net: A model for reliability verification of collaborative business transaction. In ter Hofstede A, Benatallah B, Paik H-Y, editors, Business Process Management Workshops - BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Revised Selected Papers. Vol. 4928 LNCS. Berlin: Springer, Springer Nature. 2008. p. 220-231. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-78238-4_23