Static verification of component composition in contextual composition frameworks

International Journal on Software Tools for Technology Transfer

Volumn 10, Issue 3, 2008, Pages 247-261

  Trofin, Mircea ^a   Murphy, John ^a  

^a UNIVERSITY COLLEGE DUBLIN   (Ireland)

Author keywords

Contextual composition; Enterprise Java; Software components; Static analysis

Indexed keywords

BOUNDARY CONDITIONS; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SOFTWARE PROTOTYPING; STATIC ANALYSIS;

CONTEXTUAL COMPOSITION; ENTERPRISE JAVA; SOFTWARE COMPONENTS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 43149123078     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-007-0061-y     Document Type: Article

References (27)

1. Sun Microsystems. Enterprise JavaBeans Specification (2003). http:// java.sun.com/products/ejb/docs.html#specs
2. Don Box. Essential COM. Addison-Wesley (1998)
3. Object Management Group. Corba Component Model (2002). http://www.omg.org
4. Ammons, G., Choi, J.-D., Gupta, M., Swamy, N.: Finding and removing performance bottlenecks in large systems. In: Proceedings of ECOOP (2004)
5. Trofin, M., Murphy, J.: A self-optimizing container design for enterprise java beans applications. In: Proceedings of the Second International Workshop on Dynamic Analysis (WODA 2004), pp. 52-59 (2004)
6. Trofin, M., Murphy, J.: Removing Redundant Boundary Checks in Contextual Composition Frameworks. J. Obj. Technol pp. 63-82, July-August 2006
7. Vallé-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: SOOT - a Java Optimization Framework. In: Proceedings of CASCON 1999, pp. 125-135 (1999)
8. Flanagan, C., Leino, K., Lillibridge, M., Nelson, C., Saxe, J., Stata, R.: Extended static checking for Java. In: Proceedings of Programming Language Design and Implementation (2002)
9. Dean J., Grove D. and Chambers C. (1995). optimization of object-oriented programs using static class hierarchy analysis. Lecture Notes Comput. Sci. 952: 77-101
10. Lindholm, T., Yellin, F.: The Java TM Virtual Machine Specification. Sun Microsystems, Inc. (1999)
11. ABruneton, E., Lenglet, R., Coupaye, T.: ASM: a Code Manipulation Tool to implement adaptable systems. In: Proceedings of the ASF (ACM SIGOPS France) Journées Composants 2002: Systèmes à composants adaptables et extensibles (Adaptable and Extensible Component Systems), November 2002
12. Gansner E.R. and North S.C. (2000). An open graph visualization system and its applications to software engineering. Softw. Pract. Exp. 30(11): 1203-1233
13. Sun Microsystems. Java Pet Store Demo 1.3.2 (2003). http://java.sun.com/ developer/releases/petstore/
14. BEA Systems, Inc. Avitek Medical Records 1.0 Architecture Guide (2003)
15. Grundy, J., Ding, G.: Automatic validation of deployed j2ee components using aspects. In ASE '02: Proceedings of the 17th IEEE International Conference on Automated Software Engineering. Washington, DC, USA, p. 47. IEEE Computer Society (2002)
16. Hatcliff, J., Deng, X., Dwyer, M.B., Jung, G., Ranganath, V.P.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: International Conference on Software Engineering (ICSE), pp. 160-173 (2003)
17. DAmartini, C., Iosif, R., Sisto, R.: DSPIN: a dynamic extension of SPIN. In SPIN, pp. 261-276 (1999)
18. Naumovich G. and Centonze P. (2004). Static analysis of role-based access control in J2EE applications. SIGSOFT Softw. Eng. Not. 29(5): 1-10
19. Clarke, D., Richmond, M., Noble, J.: Saving the World from Bad Beans: Deployment-Time Confinement Checking. In: OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. New York, NY, USA, pp. 374-387. ACM Press, New York (2003)
20. Reimer, D., Schonberg, E., Srinivas, K., Srinivasan, H., Dolby, J., Kershenbaum, A., Koved, L.: Validating Structural Properties of Nested Objects. In: OOPSLA '04: Companion to the 19th annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications. New York, NY, USA, pp. 294-304. ACM Press, New York (2004)
21. Adamek J. and Plasil F. (2005). Component Composition Errors and Update Atomicity: Static Analysis. J. Softw. Mainten. Evolut. Res. Pract. 17(5): 363-377
22. Plasil, F.: Enhancing component specification by behavior description: the SOFA Experience. In: WISICT '05: Proceedings of the 4th International Symposium on Information and Communication Technologies, pp. 185-190. Trinity College Dublin (2005)
23. Bacon, D.F., Sweeney, P.F.: Fast Static Analysis of C++ Virtual Function Calls. In: OOPSLA '96: Proceedings of the 11th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 324-341. ACM Press, New York (1996)
24. Fernandez, M.F.: Simple and effective link-time optimization of Modula-3 Programs. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 103-115 (1995)
25. Sundaresan, V., Hendren, L., Razafimahefa, C., Vallée-Rai, R., Lam, P., Gagnon, E., Godin, C.: Practical virtual method call resolution for Java. In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications. New York, NY, USA, pp. 264-280. ACM Press, New York (2000)
26. Hearn, A.C.: REDUCE User's and Contributed Packages Manual, Version 3.7. Knorad-Zuse-Zentrum Berlin, Germany, February 1999
27. Cardelli L. (1996). Handbook of Computer Science and Engineering, chapter Type Systems. CRC Press, New York