A framework for analyzing exception flow in software architectures

Abstract

We present Aereal, a framework for analyzing exception flow in architecture descriptions. Aereal works as a customizable architectural-level exception handling system that can be further constrained or have some of its rules relaxed. Since different architectural styles have different policies for exception flow, Aereal makes it possible to specify rules on how exceptions flow in a given style and to check for violations of these rules. As enabling technologies, Aereal uses Alloy, a first-order relational language, ACME, an interchange language for architecture description, and their associated tool sets.

An Introduction to Software Engineering and Fault Tolerance

“…As far as the specification of fault tolerant software architectures is concern, both formal and UML-based notations have been used. The approaches proposed in [30][31][32] are examples of formal specifications for Fault Tolerant SA: traditional architecture description languages are usually extended in order to explicitly specify error and fault handling. The approaches in, e.g., 20,33,34 use UML-based notations for modelling Fault Tolerant SA: new UML profiles are created in order to be able to specify fault tolerance concepts;d…”