Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
A component- and message-based architectural style for GUI software
Proceedings of the 17th international conference on Software engineering
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
Software architecture in practice
Software architecture in practice
Exploiting ADLs to specify architectural styles induced by middleware infrastructures
Proceedings of the 21st international conference on Software engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
Communicating sequential processes
Communications of the ACM
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Approach to Combining B and Alloy
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Architecture-based Exception Handling
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Structuring Integrated Web Applications for Fault Tolerance
ISADS '03 Proceedings of the The Sixth International Symposium on Autonomous Decentralized Systems (ISADS'03)
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)
AcmeStudio: Supporting Style-Centered Architecture Development
Proceedings of the 26th International Conference on Software Engineering
Exception handling in the development of dependable component-based systems
Software—Practice & Experience - Research Articles
Architecting Fault-tolerant Component-based Systems: from requirements to testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecting fault tolerance with exception handling: verification and validation
Journal of Computer Science and Technology
Architectural fault tolerance using exception handling
Architecting dependable systems IV
A method for modeling and testing exceptions in component-based software development
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
| Hi-index | 0.01 |
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.