Sun, H., Yang, J. and Xu, L., 2008. CoBTx-Net: A model for business collaboration reliability verification. Information Systems Frontiers, 11 (3), pp. 257-272.
Full text not available from this repository.
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.
|Uncontrolled Keywords:||Collaborative business process - Reliability verification - Peer based collaboration - Hierarchical colored Petri Net|
|Subjects:||Generalities > Computer Science and Informatics|
|Group:||School of Design, Engineering & Computing > Software Systems Research Centre|
|Deposited By:||Dr. Lai Xu|
|Deposited On:||31 Mar 2010 20:00|
|Last Modified:||07 Mar 2013 15:23|
|Repository Staff Only -|
|BU Staff Only -|
|Help Guide -||Editing Your Items in BURO|