Specification of exception flow in software architectures

Journal of Systems and Software

Volumn 79, Issue 10, 2006, Pages 1397-1418

  Castor Filho, Fernando ^a   Brito, Patrick Henrique da S ^a   Rubira, Cecília Mary F ^a  

^a UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Alloy; Architecture description languages; Exception handling; Software architecture; Verification

Indexed keywords

COMPUTER ARCHITECTURE; CONTROL SYSTEM ANALYSIS; DATA HANDLING; FAILURE ANALYSIS;

ARCHITECTURE DESCRIPTION LANGUAGES; EXCEPTION HANDLING; SOFTWARE ARCHITECTURE;

COMPUTER SOFTWARE;

EID: 33747889277     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.02.060     Document Type: Article

References (56)

1. Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B.R., Nahas, N.H., Tseng, T., 2005. Modeling and implementing software architecture with acme and archjava. In: Proceedings of the 27th International Conference in Software Engineering (ICSE'2005), St. Louis, USA, pp. 676-677.
2. Abowd G., Allen R., and Garlan D. Formalizing style to understand descriptions of software architecture. ACM Transactions on Software Engineering and Methodology 4 4 (1995) 319-364
3. Abrial J.R. The B-Book Assigning Programs to Meanings (1995), Cambridge University Press
4. Allen R., and Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6 3 (1997) 213-249
5. Anderson T., and Lee P.A. Fault Tolerance: Principles and Practice. second ed. (1990), Springer-Verlag
6. Bass L., Clements P.C., and Kazman R. Air traffic control: A case study in designing for high availability. Software Architecture in Practice. second ed. (2003), Addison-Wesley (Chapter 6)
7. Bass L., Clements P.C., and Kazman R. Software Architecture in Practice. second ed. (2003), Addison-Wesley
8. Brito, P.H.S., 2005. A method for modeling exceptions in component-based development (in portuguese). Master's thesis, State University of Campinas, Brazil.
9. Brito P.H.S., et al. A method for modeling and testing exceptions in component-based software development. Proceedings of the 2nd Latin American Symposium on Dependable Computing. LNCS 3747 (2005), Springer-Verlag
10. Buschmann F., Meunier R., Rohnert H., Sommerlad P., and Stal M. Pattern-Oriented Software Architecture: A System of Patterns (1996), John Wiley and Sons, West Sussex, England
11. Castor Filho F., Guerra P.A.d.C., and Rubira C.M.F. An architectural-level exception-handling system for component-based applications. Proceedings of the 1st Latin American Symposium on Dependable Computing. LNCS 2847 (2003), Springer-Verlag 321-340
12. Castor Filho, F., Brito, P.H. da S., Rubira, C.M.F., 2005. Modeling and analysis of architectural exceptions. In: Proceedings of the FM'2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems, pp. 112-121.
13. Cheesman J., and Daniels J. UML Components (2000), Addison-Wesley
14. Clements, P.C., Northrop, L., 1996. Software architecture: An executive overview. Tech. Rep. CMU/SEI-96-TR-003, SEI/CMU, February.
15. Clements P.C., Kazman R., and Klein M. Evaluating Software Architectures (2003), Addison-Wesley
16. Cristian F. Exception handling. In: Anderson T. (Ed). Dependability of Resilient Computers (1989), Blackwell Scientific Publications 68-97
17. de Lemos R., and Romanovsky A. Exception handling in the software lifecycle. International Journal of Computer Science and Engineering 16 2 (2001) 167-181
18. Fahndrich, M. et al., 1998. Tracking down exceptions in standard ML. Tech. Rep. CSD-98-996, University of California, Berkeley.
19. Garcia A., Rubira C., Romanovsky A., and Xu J. A comparative study of exception handling mechanisms for building dependable object-oriented software. Journal of Systems and Software 59 2 (2001) 197-222
20. Garlan, D., Wang, Z., 1999. A case study in software architecture interchange. In: Proceedings of COORDINATION'99.
21. Garlan D., et al. ACME: architectural description of component-based systems. Foundations of Component-Based Systems (2000), Cambridge University Press (Chapter 3)
22. Gorton, I., Zhu, L., 2005. Tool support for just-in-time architecture reconstruction and evaluation: an experience report. In: Proceedings of the 27th International Conference in Software Engineering (ICSE'2005), St. Louis, USA, pp. 514-523.
23. Gray J., and Reuter A. Transaction Processing: Concepts and Techniques (1993), Morgan Kaufman
24. Guerra, P.A. de C., Rubira, C.M.F., de Lemos, R., 2002. An idealized fault-tolerant architectural component. In: Proceedings of ICSE Workshop on Architecting Dependable Systems.
25. Guerra P.A.C., Rubira C.M.F., and de Lemos R. A fault-tolerant architecture for component-based software systems. In: de Lemos R., Gracek C., and Romanosvsky A. (Eds). Architecting Dependable Systems. LNCS 2677 (2003), Springer-Verlag
26. Issarny, V., Banatre, J.P., 2001. Architecture-based exception handling. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences.
27. Jackson D. Alloy: a lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology 11 2 (2002) 256-290
28. Jackson, D., 2004. Alloy home page, available from: .
29. Jackson, D. et al., 2000. Alcoa: the alloy constraint analyzer. In: Proceedings of the 22nd International Conference on Software Engineering, Limerick, Ireland.
30. Lacourte S. Exceptions in guide, an object-oriented language for distributed applications. LNCS 512 (1991), Springer-Verlag
31. Liskov B., and Snyder A. Exception handling in CLU. IEEE Transactions on Software Engineering 6 5 (1979) 546-558
32. Luckham D., and Vera J. An event-based architecture definition language. IEEE Transactions on Software Engineering 21 9 (1995) 717-734
33. Magee, J., Dulay, N., Eisenbach, S., Kramer, J., 1995. Specifying distributed software architectures. In: Proceedings of the 5th European Software Engineering Conference, pp. 137-153.
34. Medvidovic, N., Taylor, R.N., 1997. A framework for classifying and comparing architecture description languages. In: Proceedings of Joint 5th ACM SIGSOFT Symposium on Foundations of Software Engineering/6th European Software Engineering Conference, pp. 60-76.
35. Mehta, N.R., Medvidovic, N., 2003. Composing architectural styles from architectural primitives. In: Proceedings of Joint 9th European Software Engineering Conference/11th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 347-350.
36. Mikic-Rakic, M., Medvidovic, N., 2003. Adaptable architectural middleware for programming-in-the-small-and-many. In: ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, pp. 162-181.
37. Monroe, R., 1998. Capturing architecture design expertise with armani. Tech. Rep. CMU-CS-96-163, Carnegie Mellon University, School of Computer Science.
38. Nitto, E.D., Rosenblum, D., 1999. Exploiting ADLs to specify architectural styles induced by middleware infrastructures. In: Proceedings of the 21st International Conference on Software Engineering, pp. 13-22.
39. Randell B., and Xu J. The evolution of the recovery block concept. Software Fault Tolerance (1995), John Wiley Sons Ltd. 1-21 (Chapter 1)
40. Reimer, D., Srinivasan, H., 2003. Analyzing exception usage in large java applications. In: Proceedings of ECOOP'2003 Workshop on Exception Handling in Object-Oriented Systems.
41. Robillard M.P., and Murphy G.C. Static analysis to support the evolution of exception structure in object-oriented systems. ACM Transactions on Software Engineering and Methodology 12 2 (2003) 191-221
42. Roshandel, R., Schmerl, B.R., Medvidovic, N., Garlan, D., Zhang, D., 2004. Understanding tradeoffs among different architectural modeling approaches. In: Proceedings of the 4th Working IEEE/IFIP Conference on Software Architecture, Oslo, Norway, 2004, pp. 47-56.
43. Rubira C.M.F., de Lemos R., Ferreira G., and Castor Filho F. Exception handling in the development of dependable component-based systems. Software - Practice and Experience 35 5 (2005) 195-236
44. Saridakis, T., Issarny, V., 1999. Developing dependable systems using software architecture. In: Proceedings of the 1st Working IFIP Conference on Software Architecture, pp. 83-104.
45. Schaefer C.F., and Bundy G.N. Static analysis of exception handling in Ada. Software - Practice and Experience 23 10 (1993) 1157-1174
46. Schmerl, B., Garlan, D., 2004. Acmestudio: supporting style-centered architecture development. In: Proceedings of the 26th International Conference on Software Engineering, pp. 704-705.
47. Shaw M., and Garlan D. Software Architecture: Perspectives on an Emerging Discipline (1996), Addison-Wesley
48. Simons K., and Stafford J. Cmeh: container-managed exception handling for increased assembly robustness. Proceedings of the 7th International Symposium on Component-Based Software Engineering. LNCS 3054 (2004), Springer-Verlag 122-129
49. Sloman M., and Kramer J. Distributed Systems and Computer Networks (1987), Prentice-Hall
50. Spitznagel, B., Garlan, D., 1998. Architecture-based performance analysis. In: Proceedings of the 10th International Conference on Software Engineering and Knowledge Engineering.
51. Stavridou V., and Riemenschneider A. Provably dependable software architectures. Proceedings of the Third ACM SIGPLAN International Software Architecture Workshop (1998), ACM 133-136
52. Taylor, R.N. et al., 1995. A component- and message-based architectural style for GUI software. In: Proceedings of the 17th International Conference on Software Engineering, pp. 295-304.
53. Vecellio, G., Thomas, M., Sanders, R., 2002. Container services for high confidence software. In: Proceedings of the 7th ECOOP Workshop on Component-Oriented Programming.
54. Viega J., and Voas J.M. Can aspect-oriented programming lead to more reliable software. IEEE Software 17 6 (2000) 19-21
55. Weimer, W., Necula, G., 2004. Finding and preventing run-time error handling mistakes. In: Proceedings of OOPSLA'2004, Vancouver, Canada, pp. 419-433.
56. Yi K. An abstract interpretation for estimating uncaught exceptions in standard ML programs. Science of Computer Programming 31 1 (1998) 147-173