161 search results - page 2 / 33 » Verifying Compensating Transactions |
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
ADC
2004
Springer
15 years 3 months ago
2004
Springer
The development of new web services by composition of existing services is becoming an extensive approach. This has resulted in transactions that span in multiple web services. Th...
JWSR
2008
14 years 9 months ago
2008
: Web Services can be used to automate business activities that span multiple enterprises over the Internet. Such business activities require a coordination protocol to reach consi...
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...