Modeling and verification of adaptive navigation in web applications

ICWE'06: The Sixth International Conference on Web Engineering

Volumn , Issue , 2006, Pages 329-336

  Han, Minmin ^a   Hofmeister, Christine ^a  

^a LEHIGH UNIVERSITY   (United States)

Author keywords

Adaptive navigation; Navigation model; Web application

Indexed keywords

ADAPTIVE NAVIGATION; NAVIGATION MODEL; SYMBOLIC MODEL VERIFIER (SMV); WEB APPLICATIONS;

DATA STRUCTURES; HUMAN COMPUTER INTERACTION; PROBLEM SOLVING; SOFTWARE DESIGN; WEBSITES;

WEB SERVICES;

EID: 34250635509     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1145581.1145645     Document Type: Conference Paper

References (24)

1. Aderson, R. J., Beame, P., Burns, S., Chan, W., Modugno, F., Notkin, D., and Reese, J. D. Model Checking Large Software Specifications. IEEE Trans. Software Engineering, 24, 7, 498-520.
2. Alfaro, L. de. Model checking the world wide web. Computer Aided Verification, Lecture Notes in Computer Science, vol 2102, Springer-Verlag, 2001, 337-349.
3. Baumeister, H., Knapp, A., Koch, Nora, and Zhang, G. Modelling Adaptivity with Aspects. Proceedings of ICWE, Springer-Verlag, 2005, 406-416.
4. Book, M., Gruhn, V. Modeling Web-Based Dialog Flows for Automatic Dialog Control. In Proc. of 19th IEEE Int. Conference on Automated Software Engineering (ASE 2004), (Sep 2004), Linz, Austria. IEEE 2004, 100-109.
5. Casteleyn, S., De Troyer, O., Brockmans, S. Design Time Support for Adaptive Behavior in Web Sites. Proc. 18th ACM Sympos. on Applied Computing, Melbourne, (2003).
6. Ceri, S., Daniel, F., Demaldé, V., and Facca, F. M. An Approach to User-Behavior-Aware Web Applications. Proceedings of ICWE, Springer-Verlag, 2005, 417-428.
7. Ceri, S., Fraternali, P., Bongio, A. Web Modeling Language (WebML): a Modeling Language for Designing Web Sites. Proceedings of the 9th International World Wide Web Conference, Elsevier, Amsterdam, Netherlands, (May, 2000).
8. Conallen, J. Building Web Applications with UML. Addison-Wesley. 2002.
9. st Int. Conf. on Software Eng., (May 1999), 411-420.
10. Emerson, E. A. Temporal and modal logic. In Handbook of Theoretical Computer Science: Formal Models and Semantics, J. van Leeuwen, Ed. MIT Press, 995-1072, 1990.
11. Han, M., and Hofmeister, C. Modeling Navigation Routing in J2EE Web Applications. Lehigh Univ. Tech. Report, 2004.
12. Han, M., and Hofmeister, C. Separation of Navigation Routing Code in J2EE Web Applications. Proceedings of ICWE, 2005. pp 221-231.
13. Harel, D. Statecharts: A visual Formalism for complex systems. The Science of Computer Programming, 8, (1987), 231-274.
14. Harel, D. and Naamad, A. The STATEMATE semantics of Statecharts. ACM Trans. Software. Engineering Methodology, 5, 4, 293-333.
15. Koch, N., Baumeister, H., Hennicker, R. and Mandel, L. Extending UML to Model Navigation and Presentation in Web Applications. Workshop on Modelling Web Applications in UML, UML 2000, York, UK, (Oct 2000).
16. Leung, K. R. P. H., Hui, L. C. K., Yiu, S. M., and Tang R. W. M. Modelling Web Navigation by Statechart. Proceedings of the 24th Annual Int. Computer Software and Applications Conf. (COMPSAC 2000), (Oct 2000), 41-47.
17. Licata, D. R., and Krishnamurthi, S. Verifying Interactive Web Programs. Proc. IEEE International Symposium on Automated Software Engineering (ASE 2004), 164-173.
18. McMillan, K. L. Symbolic Model Checking. Kluwer Academic Publishers. 1993.
19. Merialdo, P., and Atzeni, P. Design and Development of Data-intensive Web-Sites: The Araneus Approach. ACM Trans, on Internet Technology, 3, 1, 49-92.
20. Oliverira, M. C. F. de, and Turine, M. A. S., and Masiero, P. C. A Statechart-based Model for Hypermedia Applications. ACM Trans, on Information Systems, 19, 1, 28-52.
21. Perkowitz, M., and Etzioni, O. Towards Adaptive Web Sites: Conceptual Framework and Case Study. Artifical Intelligence, 118, 1-2, (Apr 2000), 245-275.
22. Rational Software. Pearl Circle Online Auction Reference Application Software Architecture Document, Issue 0.2. Rational Software 2001.
23. rd Int. Conference on Software Engineering, Toronto, Ontario, Canada, (May 2001), 25-34.
24. Schwabe, D., and Rossi, G. An Object Oriented Approach to Web-Based Application Design. Theory and Practice of Object Systems, 4, 4, (1998), Wiley and Sons, New York.