Specification of the Web Services Atomic Transaction Protocol

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".