Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Formal Verification of Web Service Interaction Contracts

Shegalov, G., & Weikum, G. (2008). Formal Verification of Web Service Interaction Contracts. In 2008 IEEE International Conference on Services Computing (pp. 525-528). Los Alamitos, CA: IEEE Computer Society.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0019-B4BC-E Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-AD68-F
Genre: Konferenzbeitrag

Dateien

einblenden: Dateien
ausblenden: Dateien
:
shegalov2008b.pdf (Zusammenfassung), 301KB
 
Datei-Permalink:
-
Name:
shegalov2008b.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Privat
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Shegalov, German1, Autor           
Weikum, Gerhard1, Autor           
Affiliations:
1Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Abstract Recovery is the last resort when other components exhibit bugs. It is therefore of paramount importance that the correctness of the recovery protocols be formally verified. Recovery not only needs to cope with database failures but should handle and ideally mask message and process failures in clients and servers. Otherwise, when a reply message is lost the application must be able to determine "manually" whether the interaction is to be repeated. This paper develops a statechart specification of a recovery framework that generically guarantees exactly-once execution and applies model checking to prove its correctness.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2008
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: DOI: 10.1109/SCC.2008.67
BibTex Citekey: Shegalov2008b
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: IEEE International Conference on Services Computing
Veranstaltungsort: Honolulu, HI, USA
Start-/Enddatum: 2008-07-07 - 2008-07-11

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: 2008 IEEE International Conference on Services Computing
  Kurztitel : SCC 2008
  Untertitel : Vol. 2 ; Proceedings
Genre der Quelle: Konferenzband
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: Los Alamitos, CA : IEEE Computer Society
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 525 - 528 Identifikator: ISBN: 978-0-7695-3283-7