Verification of coordinated exception handling

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2006, Pages 680-685

  Castor Filho, Fernando ^a   Romanovsky, Alexander ^b   Rubira, Cecília Mary F ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Alloy; Coordinated exception handling; Distributed systems

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; ERROR ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; RELIABILITY THEORY;

COORDINATED EXCEPTION HANDLING; ERROR HANDLING; MEDICAL CONTROL SYSTEM;

DATA HANDLING;

EID: 33751040369     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. J. R. Abrial. The B-Book Assigning Programs to Meanings. Cambridge University Press, 1995.
2. T. Anderson and P. A. Lee. Fault Tolerance: Principles and Practice. Springer, 2nd edition, 1990.
3. C. Bernardeschi, A. Fantechi, and S. Gnesi. Model checking fault tolerant systems. Software Testing, Verification, and Reliability, 12:251-275, December 2002.
4. P. A. Buhr and R. Mok. Advanced exception handling mechanisms. IEEE Transactions on Software Engineering, 26(9):1-16, September 2000.
5. R. Campbell and B. Randell. Error recovery in asynchronous systems. IEEE TSE, SE-12(8):811-826, 1986.
6. A. Capozucca, N. Guelfi, and P. Pelliccione. The fault-tolerant insulin pump therapy. In Proceedings of FM'2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems, pages 33-42, Newcastle upon Tyne, UK, 2005.
7. F. Castor Filho, A. Romanovsky, and C. M. F. Rubira. Verification of coordinated exception handling. Technical Report CS-TR-927, School of Computing Science, University of Newcastle upon Tyne, 2005.
8. F. Cristian. Exception handling. In Dependability of Resilient Computers. 1989.
9. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
10. N. Guelfi, G. L. Cousin, and B. Ries. Engineering of dependable complex business processes using uml and coordinated atomic actions. In Proceedings of International Workshop on Modeling Inter-Organizational Systems, pages 468-482, 2004.
11. D. Jackson. Alloy: A lightweight object modeling notation. ACM TOSEM, 11(2), April 2002.
12. M. Leuschel and M. J. Butler. Prob: A model checker for b. In Proceedings of FME'2003, LNCS 2805, pages 855-874. Springer-Verlag, Pisa, Italy, 2004.
13. A. Romanovsky, P. Periorellis, and A. Zorzo. Structuring integrated web applications for fault tolerance. In Proceedings of the 6th IEEE International Symposium on Autonomous Decentralized Systems, pages 99-106, Pisa, Italy, 2003.
14. C. M. F. Rubira, R. de Lemos, G. Ferreira, and F. Castor Filho. Exception handling in the development of dependable component-based systems. Software - Practice and Experience, 35(5):195-236, March 2005.
15. F. Tartanoglu, N. Levy, V. Issarny, and A. Romanovsky. Using the b method for the formalization of coordinated atomic actions. Technical Report CS-TR: 865, School of Computing Science, University of Newcastle, October 2004.
16. J. Vachon and N. Guelfi. Coala: a design language for reliable distributed system engineering. In Proceedings of the Workshop on Software Engineering and Petri Nets, pages 135-154, Aarhus, Denmark, June 2000.
17. W. Weimer and G. Necula. Finding and preventing run-time error handling mistakes. In Proceedings of the 19th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, Canada, October 2004.
18. J. Xu, B. Randell, A. B. Romanovsky, C. M. F. Rubira, R. J. Stroud, and Z. Wu. Fault tolerance in concurrent object-oriented software through coordinated error recovery. In Proceedings of the 25th Symposium on Fault- Tolerant Computing Systems, pages 499-508, Pasadena, USA, 1995.
19. J. Xu, B. Randell, A. B. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver, and F. W. von Henke. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Transactions on Computers, 51(2):164-179, February 2002.