Formal Specification of a Web Services Protocol | Zendy

James E. Johnson | Zendy; David E. Langworthy | Zendy; Leslie Lamport | Zendy; Friedrich H. Vogt | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Specification of a Web Services Protocol

Author(s) -

James E. Johnson,

David E. Langworthy,

Leslie Lamport,

Friedrich H. Vogt

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.022

Subject(s) - computer science , protocol (science) , model checking , web service , atomicity , programming language , two phase commit protocol , database transaction , formal specification , database , formal methods , world wide web , transaction processing , distributed transaction , medicine , alternative medicine , pathology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research