CoBTx-Net: A model for business collaboration reliability verification
Authors: Sun, H., Yang, J. and Xu, L.
Journal: Information Systems Frontiers
Volume: 11
Issue: 3
Pages: 257-272
ISSN: 1387-3326
DOI: 10.1007/s10796-008-9088-1
Abstract:Collaborative business process can become unreliable when business partners collaborate in a peer- based fashion without central control. Therefore, reliability checking becomes an important issue that needs to be dealt with for any generic solution in managing business collaboration. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to model collaborative business process and to manage 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. © 2008 Springer Science+Business Media, LLC.
Source: Scopus
CoBTx-Net: A model for business collaboration reliability verification
Authors: Sun, H., Yang, J. and Xu, L.
Journal: INFORMATION SYSTEMS FRONTIERS
Volume: 11
Issue: 3
Pages: 257-272
eISSN: 1572-9419
ISSN: 1387-3326
DOI: 10.1007/s10796-008-9088-1
Source: Web of Science (Lite)
CoBTx-Net: A model for business collaboration reliability verification
Authors: Sun, H., Yang, J. and Xu, L.
Journal: Information Systems Frontiers
Volume: 11
Pages: 257-272
ISSN: 1387-3326
DOI: 10.1007/s10796-008-9088-1
Abstract:Collaborative business process can become unreliable when business partners collaborate in a peer based fashion without central control. Therefore, reliability checking becomes an important issue that needs to be dealt with for any generic solution in managing business collaboration. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to model collaborative business process and to manage the collaboration by individual participants. Furthermore three reliability properties named Time-embedded dead marking freeness, Interorganizational 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.
Source: Manual
Preferred by: Lai Xu
CoBTx-Net: A model for business collaboration reliability verification.
Authors: Sun, H., Yang, J. and Xu, L.
Journal: Inf. Syst. Frontiers
Volume: 11
Pages: 257-272
Source: DBLP