Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Application of formal methods to the analysis of web services security
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Model checking and code generation for transaction processing software
Concurrency and Computation: Practice & Experience
Hi-index | 0.00 |
We describe a use of formal methods to specify and check a Web Services protocol. The Web Services Atomic Transaction protocol was specified in TLA^+ and checked with the TLC model checker. A modest effort revealed oversights that caused unanticipated behaviors of the protocol; these were corrected by clarifications and changes to the protocol.