Formal specification of a Web services protocol

Electronic Notes in Theoretical Computer Science

Volumn 105, Issue 1-4 SUPPL., 2004, Pages 147-158

  Johnson, James E ^a   Langworthy, David E ^a   Lamport, Leslie ^a   Vogt, Friedrich H ^b  

^a MICROSOFT   (United States)

^b HAMBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Specification; Standards; Tla; Verification

Indexed keywords

SPECIFICATION; TLA; VERIFICATION; WEB SERVICES (WB);

CLIENT SERVER COMPUTER SYSTEMS; CODES (STANDARDS); DATABASE SYSTEMS; FORMAL LANGUAGES; MATHEMATICAL MODELS; RELIABILITY; SEMANTICS;

WORLD WIDE WEB;

EID: 10444259131     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.02.022     Document Type: Conference Paper

References (10)

1. Bernstein, P. A., V. Hadzilacos and N. Goodman, "Concurrency Control and Recovery in Database Systems," Addison-Wesley, Reading, Massachusetts, 1987.
2. Box, D., Understanding GXA, Technical report, Microsoft Corporation (2002), URL http://msdn.microsoft.com/library/en-us/dngxa/html/understandgxa.asp.
3. Cabrera, F. et al., Specification: Web Services Atomic Transaction (WS-AtomicTransaction) (2002), BEA Systems, International Business Machines Corporation, Microsoft Corporation, Inc. URL http://msdn.microsoft.com/ws/2003/09/wsat/.
4. Cabrera, L. F. et al., Web Services Coordination (WS-Coordination) (2003), BEA Systems, International Business Machines Corporation, Microsoft Corporation. URL http://msdn.microsoft.com/ws/2003/09/wscoor/.
5. Christensen, E., F. Curbera, G. Meredith and S. Weerawarana, Web Services Description Language (WSDL) 1.1 (2001), W3C Note, URL http://www.w3.org/TR/2001/NOTE-wsdl-20010315.
6. Gray, J. and A. Reuter, "Transaction Processing: Concepts and Techniques," Morgan Kaufmann Publishers, Inc., San Francisco, 1993.
7. Johnson, J. E., D. E. Langworthy, L. Lamport and F. H. Vogt, Specification of the Web Services Atomic Transaction Protocol, URL http://research.microsoft.com/users/lamport/tla/ws-at.html. It can also be found by searching the Web for the 26-letter string obtained by removing the dashes from "wsatom-ictransac-tion-tlaspec".
8. Lamport, L., "Specifying Systems," Addison-Wesley, Boston, 2003.
9. Mitra, N., Soap version 1.2 part 0: Primer, Technical report, World Wide Web Consortium (W3C) (2003), URL http://www.w3.org/TR/2003/REC-soap12-part0-20030624/.
10. Thompson, H. S., D. Beech, M. Maloney and N. Mendelsohn, Xml schema part 1: Structures (2001), W3C Recommendation, URL http://www.w3.org/TR/2001/REC-xmlschema-1-20010502/.