Filters

2004 - 20062

Settings

Now showing1 - 2 of 2
  • Some of the metrics are blocked by your 
    consent settings
    Item type:Publication, Access status: without files ,
    Formal specification of a Web services protocol
    (Elsevier, 2006-07-20)
    Johnson, James E.
    ;
    Langworthy, David E.
    ;
    Lamport, Leslie
    ;
    Vogt, Friedrich H.
    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.
    Publicationtype: Journal Article
      119
  • Some of the metrics are blocked by your 
    consent settings
    Item type:Publication, Access status: with files ,
    Formal specification of a Web services protocol
    (Elsevier, 2004-12-10)
    Johnson, James E.
    ;
    Langworthy, David E.
    ;
    Lamport, Leslie
    ;
    Vogt, Friedrich H.
    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.
    Publicationtype: Journal Article
    Scopus© Citations 25  198  342