Distributed systems and computer networks
Distributed systems and computer networks
Static analysis of exception handling in Ada
Software—Practice & Experience
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An abstract interpretation for estimating uncaught exceptions in standard ML programs
Science of Computer Programming
Acme: architectural description of component-based systems
Foundations of component-based systems
Interprocedural exception analysis for Java
Proceedings of the 2001 ACM symposium on Applied computing
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of Systems and Software
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
The 4+1 View Model of Architecture
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Software Architecture in Practice
Software Architecture in Practice
Tracking down Exceptions in Standard ML Programs
Tracking down Exceptions in Standard ML Programs
Composing architectural styles from architectural primitives
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Finding and preventing run-time error handling mistakes
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Exception handling in the development of dependable component-based systems
Software—Practice & Experience - Research Articles
Verification of coordinated exception handling
Proceedings of the 2006 ACM symposium on Applied computing
On exceptions, events and observer chains
Proceedings of the 12th annual international conference on Aspect-oriented software development
Hi-index | 0.00 |
An important challenge faced by the developers of fault- tolerant systems is to build reliable fault tolerance mechanisms. To achieve the desired levels of reliability, mechanisms for detecting and handling errors should be designed since early phases of software development, preferably using a rigorous or formal methodology. In recent years, many researchers have been advocating the idea that exception handling-related issues should be addressed at the architectural level, as a complement to implementation-level exception handling. However, few works in the literature have addressed the problem of describing how exceptions flow amongst architectural elements. This work proposes a solution to this problem to support the early detection of mismatches between architectural elements due to exceptions. Moreover, it makes it possible to validate whether the architecture satisfies some properties of interest regarding exception flow before the system is actually built. Our solution proposes a model for describing the architectural flow of exceptions which is precise and automatically analyzable by means of a tool.