A formal verification strategy for crash recovery in web-database applications

WISE 2002 - Proceedings of the 3rd International Conference on Web Information Systems Engineering Workshops

Volumn , Issue , 2002, Pages 113-119

  Younas, M ^a   Eaglestone, B ^b  

^a Institute for Clean Growth and Future Mobility   (United Kingdom)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; FAULT TOLERANCE; FORMAL VERIFICATION; INFORMATION SYSTEMS; RECOVERY; SYSTEMS ENGINEERING; TECHNICAL PRESENTATIONS; WORLD WIDE WEB;

COMPONENT SYSTEMS; CRASH RECOVERIES; FAILURE RESILIENCE; IMPROVE PERFORMANCE; RECOVERY PROCEDURE; VERIFICATION STRATEGY; WEB DATABASE;

INTERNET PROTOCOLS;

EID: 84967103677     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WISEW.2002.1177854     Document Type: Conference Paper

References (23)

1. M. Younas, B. Eaglestone, R. Holton "A Formal Treatment of a SACReD Protocol for Multidatabase Web Transactions" 11th International Conf., DEXA 2000, Greenwich, London, Springer, LNCS, 2000, 899-908
2. M. Younas "Web Transaction Management for Multidatabase Applications" Ph.D. Thesis, University of Sheffield, UK, 2001.
3. M. Younas, B. Eaglestone, R. Holton "A Review of Multidatabase Transactions on the Web: From the ACID to the SACReD" British National Conference on Databases (BNCOD), Exeter, UK, Springer LNCS, 2000, 140-152
4. Rubin Milner "Communication and Concurrency" C.A.R. Hoare Series Editor, Prentice Hall, International Series in Computer Science, 1989.
5. G. Bruns "Distributed Systems Analysis with CCS" C.A.R. Hoare Series Editor, Prentice Hall, International Series in Computer Science, 1997, ISBN 0-13-398389-7
6. T.Ozsu, P. Valduriez "Principles of Distributed Database Systems" Prentice-Hall, 1991
7. D. Billard "Transactional Services for the Internet" Proc. of Int. Workshop on Web and Database (WebDB' 98), Valencia, Spain, March 27-28, 1998.
8. J. Lyon, K. Evans, J. Klein, "Transaction Internet Protocol: Version 3.0" Internet-Draft, April 1998 (http://www.ietf.org/ids.by.wg/tip.html).
9. "CORBAservices: Common Object Service Specification" OMG, November 1997 (http://www.omg.org/corba/csindx.htm)
10. K. Evans, J. Klein, J. Lyon "Transaction Internet Protocol: Requirements and Supplemental Information" Internet-Draft, October 1997.
11. M.C. Little, S.K. Shrivastava "Java Transactions for the Internet" Proc. of 4th USENIX Conference on O-O Technologies and Systems, April 1998.
12. M.C. Little, S.K. Shrivastava, S.J. Caughey, D.B. Ingham "Constructing Reliable Web Applications using Atomic Actions" 6th Int. WWW Conf., USA, April, 1997.
13. Sylvanus A. Ehikioya, K. Barker "A Formal Specification Strategy for Electronic Commerce" IDEAS, Montreal, Canada, August, 1997.
14. Yousef J. Al-Houmaily, P.K. Chrysanthis "Two-Phase Commit in Gigabit-Networked Distributed Databases" 8th Int. Conf. on Parallel & Dist. Comp. Sys. Sept., 1995.
15. J.Ouyang, A.Sahai, V. Machiraju "An Optimistic Commit Protocol for Conversational Transactions" Technical Report HPL-2001-02, Hewlett-Packard Labs, 2001
16. J. Ouyang, A. Sahai, V. Machiraju "An approach to Optimistic Commit and Transparent Compensation for E-Service Transactions" 14th Int. Conference on Parallel and Distributed Computing Systems (PDCS 2001), Dallas TX
17. J.Yang, G.E.Kaiser, "JPernLite: An Extensible Transaction Server for the World Wide Web" IEEE Transactions on Knowledge & Data Engineering, 1999 (639-657)
18. K. Nagi "Transactional Agents: A Robust Approach for Scheduling Orders in a Competitive Just-in-Time Manufacturing Environment" Proc. of Workshop on MAS in Logistic and Economical Perspectives of Agents on Conceptulisation, Germany, Sept., 1999
19. th International Conference on Cooperative Information Systems, September, 2000.
20. th International Conference on Very Large Databases (VLDB), August 24-27, 1998, New York City
21. C. P. Martin, K. Ramamritham "Guaranteeing Recoverability in Electronic Commerce" Third International Workshop on Advanced Issues of E-Commerce and Web-based Information Systems, 21-22 June, 2001, San Jose, California.
22. th Int. Workshop on Foundations of Models and Languages for Data and Objects: Transactions and Database Dynamics, Schloss Dagstuhl, Germany, 1999, Springer LNCS No.1773.
23. D. Skeen, M. Stonebraker "A Formal Model of Crash Recovery in a Distributed System" IEEE Transactions on Software Engineering, Vol. SE-9, No.3, May 1983