© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Explicit representation of exception handling in the development of dependable component-based systems
G. R. M. Ferreira, C. M. F. Rubira, and R. de Lemos
In Proceedings of the IEEE International High-Assurance Systems Engineering Symposium (HASE 2001), pages 182-196. IEEE Computer Society, October 2001.Abstract
Exception handling is a structuring technique that facilitates the design of systems by encapsulating the process of error recovery. In this paper, we present a systematic approach for incorporating exceptional behaviour in the development of component-based software. The premise of our approach is that components alone do not provide the appropriate means to deal with exceptional behaviour in an effective manner. Hence the need to consider the notion of collaborations for capturing the interactive behaviour between components, when error recovery involves more than one component. The feasibility of the approach is demonstrated in terms of the case study of the mining control system.
Download publication 260 kbytes (PDF)Bibtex Record
@conference{1312,
author = {G. R. M. Ferreira and C. M. F. Rubira and R. de Lemos},
title = {Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems},
month = {October},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1312},
publication_type = {conference},
submission_id = {24768_1008182463},
booktitle = {Proceedings of the IEEE International High-Assurance Systems Engineering Symposium (HASE 2001)},
publisher = {IEEE Computer Society},
refereed = {yes},
}