Formal verification of web service interaction contracts

Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008

Volumn 2, Issue , 2008, Pages 525-528

  Shegalov, German ^a   Weikum, Gerhard ^b  

^a Oracle   (United States)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER SYSTEM RECOVERY; FLOW INTERACTIONS; INFORMATION SERVICES; INTERNET PROTOCOLS; TELECOMMUNICATION SERVICES;

INTERNATIONAL CONFERENCES; SERVICES COMPUTING;

MODEL CHECKING;

EID: 51749089516     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2008.67     Document Type: Conference Paper

References (13)

1. R. Barga, D. Lomet, G. Shegalov, and G.Weikum. Recovery guarantees for internet applications. ACM TOIT, 4(3):289-328, 2004.
2. G. Candea, J. Cutler, and A. Fox. Improving availability with recursive microreboots: A soft-state system case study. Performance Evaluation Journal, 56(1-4):213-248, 2004.
3. E. Clarke and B. Schlingloff. Handbook of Automated Reasoning, chapter Chapter 24. Model Checking, pages 1635-1790. Elsevier and MIT, 2001.
4. E. N. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson. A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys, 34(3):375-408, 2002.
5. E. Emerson. Handbook of Theoretical Computer Science, chapter Temporal and Modal Logic, pages 995-1072. Elsevier and MIT, 1990.
6. S. Frolund and R. Guerraoui. Implementing e-transactions with asynchronous replication. In ICDSN,, New York, NY, 2000.
7. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
8. D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM TOSEM, 5(4):293-333, 1996.
9. M.-Y. Luo and C.-S. Yang. Constructing zero-loss web services. In INFOCOM, 2001.
10. D. Oppenheimer, A. Ganapathi, and D. Patterson. Why do internet services fail, and what can be done about it? In Usenix Symposium on Internet Technologies and Systems, 2003.
11. C. Pedregal-Martin and K. Ramamritham. Guaranteeeing recoverability in electronic commerce. In WECWIS, San Juan, Claifornia, June 2001.
12. G. Shegalov. Integrated Data, Process, and Message Recovery for Failure Masking in Web Services. PhD thesis, Universitaet des Saarlandes, Saarbruecken, Germany, August 2005.
13. G. Shegalov and G. Weikum. Formal verification of a transactional interaction contract. In 2008 IEEE Congress on Services 2008 - Part I (SERVICES-1 2008), Honolulu, HI, USA, 2008.