Statecharts: A visual formalism for complex systems
Science of Computer Programming
Designing robust Java programs with exceptions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Static analysis to support the evolution of exception structure in object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
MDA Distilled
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
A Model Driven Exception Management Framework for Developing Reliable Software Systems
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
EJFlow: taming exceptional control flows in aspect-oriented programming
Proceedings of the 7th international conference on Aspect-oriented software development
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Practical exception specifications
Advanced Topics in Exception Handling Techniques
Modeling and analysis of exception handling by using UML statecharts
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Joinpoint inference from behavioral specification to implementation
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Hi-index | 0.00 |
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that allow developers to deliver a running system in small increments and in a time-effective fashion. Such models act like code by providing high-level development abstractions and, as a consequence, it is expected that increased software robustness is achieved. However, existing executable models have a number of limitations on the representation of exceptional behaviour. Similarly to exception handling in programming languages, one of the key problems is that the modelling languages and supporting environments do not allow the explicit specification of global exception flows. They require that developers understand the source of an exception, the place where it is handled, and everything in between. As system development evolves, exceptional control flows become less well-understood, with negative consequences for the program maintainability and robustness. In this paper, we claim that such problem can be addressed by an innovative exception handling model which provides abstractions to explicitly describe global views of exceptional control flows. The implementation of our proposed model extends the aspect-oriented language constructs and the control-flow analysis of the Motorola WEAVR with the aim of promoting enhanced robustness and program modularization.