Formal specification of a Web services protocol

Link:
Autor/in:
Verlag/Körperschaft:
Hamburg University of Technology
Erscheinungsjahr:
2004
Medientyp:
Text
Schlagworte:
  • Specification
  • Standards
  • Tla
  • Verification
  • 004: Informatik
Beschreibung:
  • 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.
Beziehungen:
DOI 10.1016/j.entcs.2004.02.022
Lizenzen:
  • info:eu-repo/semantics/openAccess
  • https://creativecommons.org/licenses/by-nc-nd/3.0/
Quellsystem:
TUHH Open Research
Interne Metadaten
Quelldatensatz
oai:tore.tuhh.de:11420/4621