Modeling request routing in web applications

Proceedings of the Eighth IEEE International Symposium on Web Site Evolution, WSE 2006

Volumn , Issue , 2006, Pages 103-110

  Han, Minmin ^a   Hofmeister, Christine ^a  

^a LEHIGH UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL INFORMATION; PIPELINE ARCHITECTURAL; ROUTING MODELS; WEB APPLICATIONS;

COMPUTER SOFTWARE MAINTENANCE; DATA HANDLING; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; NETWORK ROUTING; SERVERS; SOFTWARE ARCHITECTURE;

WEB SERVICES;

EID: 35348874974     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSE.2006.14     Document Type: Conference Paper

References (25)

1. The Alloy Analyzer. http://alloy.mit.edu
2. Barrett, D. J., Clarke, L. A., Tarr, P. L. and Wise, A. E. A framework for event-based software integration. ACM Transactions on Software Engineering and Methodology, 5(4): 378-421, Oct 1996.
3. th IEEE International Conference on Automated Software Engineering, 2004. 100-109
4. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M. Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons. 1996.
5. Daewkasi, C., and Rivepiboon, W.: WWM: a Practical Methodology for Web Application Modeling. In 26th International Computer Software and Applications Conference (COMPSAC), 2002. 603-608
6. Dingel, J., Garlan, D., Jha, S., and Notkin, D.: Towards a formal treatment of implicit invocation. Formal Aspects of Computing, 10, (1998). 193-213.
7. Dingel, J., Garlan, D., Jha, S., and Notkin, D. Reasoning about implicit invocation. In Proceedings of the 6th ACM SIGSOFT international Symposium on Foundations of Software Engineering (Lake Buena Vista, Florida, United States, Nov, 1998). SIGSOFT'98/FSE-6. 209-221.
8. Garlan, D. and Khersonsky, S.: Model Checking Implicit-Invocation Systems. In Proceedings of the 10th Intl. Workshop on Software Specification and Design, Nov, 2000. IEEE Computer Society, Washington, DC, 23.
9. Garlan, D., and Notkin, D. Formalizing design spaces: Implicit invocation mechanisms. In VDM'91: Formal Software Development Methods, 31-44, Noordwijkerhout, The Netherlands, Oct 1991. Springer-Verlag, LNCS 551.
10. Han, M. The Request Routing Model. http://www.cse.lehigh.edu/~crh/ crhlinks.html
11. th International Conference on Web Engineering, 2005, 221-231.
12. th Working Conference on Reverse Engineering, Victoria, B.C., Canada, Nov 2003. 67-77
13. Hofmeister, C., Nord, R., and Soni, D. Applied Software Architecture. Addison-Wesley 2000.
14. The Jaza Animator. http://www.cs.waikato.ac.nz/~marku/jaza/
15. ORA Canada. Z-Eves. http://www.ora.on.ca/z-eves/
16. Oracle J2EE sample code. Virtual Shopping Mall. http://www.oracle.com/ technology/sample_code/tech/java/j2ee/vsm13/index.html
17. Ricca, F., and Tonelle, P. Web Application Slicing. In Proceedings of the IEEE International Conference on Software Maintenance, (2001)
18. Spivey, J.M. The Z Notation: a reference manual. http://spivey.oriel. ox.ac.uk/~mike/zrm/
19. Struts. http://struts.apache.org/
20. Sun Developer Network. JavaServer Faces. http://java.sun.com/j2ee/ javaserverfaces/
21. Sun Java Center. The Duke's Bank Application. http://java.sun.com/ j2ee/1.4/docs/tutorial/doc/Ebank.html
22. Sun Java Center. Java Petstore 1.3.01 http://java.sun.com/developer/ releases/petstore/petstore1_301.html
23. Sun Java Center. Web Application Framework Tutorial. http://docs.sun. com/app/docs/doc/819-0727
24. Tonella, P. and Ricca, F. Web Application Slicing in Presence of Dynamic Code Generation. Automated Software Engineering, 12, 259-288, 2005.
25. Vermeulen, A., Beged-Dov, G., and Thompson, P. The Pipeline Design Pattern. OOPSLA '95 Workshop on Design Patterns for Concurrent, Parallel and Distributed Object-Oriented Systems, Oct 1995.