3 search results - page 1 / 1 » CoBTx-Net: A Model for Reliability Verification of Collabora... |
BPM
2007
Springer
13 years 8 months ago
2007
Springer
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 ...
SIGSOFT
2006
ACM
14 years 5 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
ICECCS
2007
IEEE
13 years 8 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....