Advanced Topics in Exception Handling Techniques

Modern software systems are becoming more complex in many ways and are having to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. Exception handling is an essential part of software and system architectures and a crucial element in the tool-set that enables the building of resilient, robust and safe software systems. Two ECOOP workshops on exception handling were held in 2003 and 2005. This book is primarily an outcome of these two events - several workshop participants as well as a number of other leading researchers in the field were invited to contribute a chapter each.

This book is composed of five parts; the first four deal with topics related to exception handling in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part focuses on case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.

Inhalt
Programming Languages.- Bound Exceptions in Object-Oriented Programming.- Exception-Handling Bugs in Java and a Language Extension to Avoid Them.- Concurrency and Operating Systems.- Exception Handling in the Choices Operating System.- Handling Multiple Concurrent Exceptions in C++ Using Futures.- Exception Handling and Asynchronous Active Objects: Issues and Proposal.- Pervasive Computing Systems.- Exception Management Within Web Applications Implementing Business Processes.- Failure Handling in a Network-Transparent Distributed Programming Language.- Ambient-Oriented Exception Handling.- Exception Handling in CSCW Applications in Pervasive Computing Environments.- Structured Coordination Spaces for Fault Tolerant Mobile Agents.- Requirements and Specification.- Practical Exception Specifications.- Exception-Aware Requirements Elicitation with Use Cases.- An Approach to Defining Requirements for Exceptions.- Engineering and Experience.- Aspectizing Exception Handling: A Quantitative Study.- Errors and Exceptions Rights and Obligations.- Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application.