Specification of the Web Services Atomic Transaction Protocol

Last modified 20 November 2004

The Web Services Atomic Transaction protocol is a proposed protocol standard. This page contains links to a formal TLA+ specification of the protocol and associated documents.

Specification: Web Services Atomic Transaction (WS-AtomicTransaction): This is the official (informal) specification.
Web page
Formal Specification of a Web Services Protocol: This is a paper that was presented at the First International Workshop on Web Services and Formal Methods (WS-FM 2004), held February 23-24, 2004 in Pisa, Italy.
PDF version (166 KB)
MODULE WSAtomicTransaction: This is the formal TLA+ specification.
ASCII specification (58 KB)
"Pretty-printed" PDF version (130 KB)

This page can be found by searching the Web for the 26-letter string wsatomictransactiontlaspec. Please do not put this string in any document that could wind up on the web--including email messages and Postscript and Word documents. You can refer to it in Web documents as "the 26-letter string obtained by removing the dashes from wsato-mictransact-iontlas-pec".