Skip to main content

Verification of Exception Control Flows and Handlers Based on Architectural Scenarios

da Silva Brito, Patrick Henrique and de Lemos, Rogério and Fischer Rubira, Cecilía Mary (2008) Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In: 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, pp. 177-186. ISBN 978-0-7695-3482-4. (doi:10.1109/HASE.2008.11) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:32080)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
http://dx.doi.org/10.1109/HASE.2008.11

Abstract

The use of exception handling mechanisms to develop robust software systems in a non-systematic manner can be a source of many design faults. This paper presents a rigorous development approach based on formal methods, which allows to systematise the verification of the system's abnormal behaviour at the architectural level. Our solution is based on the specification and verification of architectural scenarios, which describe both exception control flows and exception handlers involving architectural elements (components and connectors). We also adopt an architectural abstraction for guiding the internal structure of the architectural elements. The verification process is conducted using the ProB model checker, which combines the use of set-theory (B-Method) and a process algebra (CSP). The feasibility of our approach was evaluated by a case study from the financial domain.

Item Type: Book section
DOI/Identification number: 10.1109/HASE.2008.11
Uncontrolled keywords: Architectural exception handling , Formal verification of abnormal behaviour , Formal verification of software architectures , Software architecture
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Rogerio de Lemos
Date Deposited: 05 Nov 2012 00:06 UTC
Last Modified: 16 Nov 2021 10:09 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/32080 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.