Formal verification of a transactional interaction contract

Proceedings - 2008 IEEE Congress on Services, SERVICES 2008

Volumn PART 1, Issue , 2008, Pages 87-90

  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

ACIDS; COMPUTER NETWORKS; FLOW INTERACTIONS; MODEL CHECKING; SPECIFICATIONS; TELECOMMUNICATION SERVICES;

APPLICATIONS.; FORMAL SPECIFICATIONS; INTERACTION CONTRACTS; OLTP SYSTEMS;

CONTRACTS;

EID: 51749107752     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERVICES-1.2008.19     Document Type: Conference Paper

References (14)

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 web service interaction contracts. In 2008 IEEE International Conference on Services Computing (SCC), Honolulu, HI, USA, 2008.
14. G. Weikum and G. Vossen. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann, San Francisco, CA, USA, 2001.