On the introduction of exceptions in E-LOTOS
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Exception Handling in Component-Based System Development
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Preemption in Concurrent Systems
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Efficient commit protocols for the tree of processes model of distributed transactions
ACM SIGOPS Operating Systems Review
Exception Handling in a Cooperative Object-Oriented Approach
ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
An Exception Handling Framework for N-Version Programming in Object-Oriented Systems
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Automatic Synthesis of Dynamic Fault Trees from UML System Models
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Semantics of Control-Flow in UML 2.0 Activities
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Exception Handling: An Architecture Model and Utility Support
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
A looming fault tolerance software crisis?
ACM SIGSOFT Software Engineering Notes
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
Sound reasoning about unchecked exceptions
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Exception Handling and Software Fault Tolerance
IEEE Transactions on Computers
On Exceptions, Exception Handling, Requirements and Software Lifecycle
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
Semantics and analysis of business process models in BPMN
Information and Software Technology
A Modest Approach to Checking Probabilistic Timed Automata
QEST '09 Proceedings of the 2009 Sixth International Conference on the Quantitative Evaluation of Systems
Element Based Semantics in Multi Formalism Performance Models
MASCOTS '10 Proceedings of the 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
An approach to defining requirements for exceptions
Advanced Topics in Exception Handling Techniques
The SIMTHESys multiformalism modeling framework
Computers & Mathematics with Applications
Exploiting product forms solution techniques in multiformalism modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Exceptions constitute a widely accepted fault tolerance mechanism, suitable to manage both hardware and software faults. In performability analysis it is a common practice to exploit software tools capable of describing a system using models expressed in various formalisms. Often these tools provide extensibility features that allow augmenting the primitives of a given formalism, but in most cases they lack of exception support. This paper aims at filling this gap, by introducing a general mechanism to add support for exception handling to most of the existing formalisms. The validity of the proposed method is supported by two modelling cases that benefit in clarity and economy.