Modelling safe interface interactions in Web applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5829 LNCS, Issue , 2009, Pages 387-400

  Brambilla, Marco ^a   Cabot, Jordi ^b   Grossniklaus, Michael ^a  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BROWSING HISTORY; BUSINESS LOGIC; HYPERLINKS; INTERACTION MODEL; INTERACTION PARADIGM; INTERACTIVE APPLICATIONS; INTERFACE INTERACTION; INTERFACE LEVEL; PARADIGM SHIFTS; UNDO/REDO; USER INTERACTION; WEB APPLICATION; WEB BASED;

HYPERTEXT SYSTEMS; NAVIGATION; USER INTERFACES; WORLD WIDE WEB;

BEHAVIORAL RESEARCH;

EID: 78650706950     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04840-1_29     Document Type: Conference Paper

References (19)

1. Milic-Frayling, N., Jones, R., Rodden, K., Smyth, G., Blackwell, A., Sommerer, R.: Smartback: Supporting Users in Back Navigation. In: Proc. WWW 2004, pp. 63-71 (2004)
2. Ceri, S., Fraternali, P., Bongio, A., Brambilla, M., Comai, S., Matera, M.: Designing Data-Intensive Web Applications. The Morgan Kaufmann Series in Data Management Systems. Morgan Kaufmann Publishers Inc., San Francisco (2002)
3. Vdovják, R., Frǎsincar, F., Houben, G.-J., Barna, P.: Engineering Semantic Web Information Systems in Hera. Journal of Web Engineering 1(1-2), 3-26 (2003)
4. Schwabe, D., Rossi, G., Barbosa, S.D.J.: Systematic Hypermedia Application Design with OOHDM. In: Proc. Hypertext 1996, pp. 116-128 (1996)
5. Object Management Group: UML 2.0 Superstructure Specification (2004)
6. Jacob, R.J.K.: A Specification Language for Direct-Manipulation User Interfaces. ACM Trans. Graph. 5(4), 283-317 (1986)
7. de Oliveira, M.C.F., Turine, M.A.S., Masiero, P.C.: A Statechart-based Model for Hypermedia Applications. ACM Trans. Inf. Syst. 19(1), 28-52 (2001)
8. Leung, K.R.P.H., Hui, L.C.K., Hui, S.M., Tang, R.W.M.: Modeling Navigation by Statechart. In: Proc. COMPSAC 2000, pp. 41-47 (2000)
9. Winckler, M., Palanque, P.: StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. In: Proc. Intl. Workshop on Design, Specification and Verification of Interactive Systems, pp. 279-288 (2003)
10. Draheim, D., Weber, G.: Modelling Form-based Interfaces with Bipartite State Machines. Interacting with Computers 17(2), 207-228 (2005) (Pubitemid 40304798)
11. Preciado, J.C., Linaje, M., Sánchez, F., Comai, S.: Necessity of Methodologies to Model Rich Internet Applications. In: Proceedings of International Symposium on Web Site Evolution, Budapest, Hungary (September 26, 2005), pp. 7-13 (2005)
12. Bozzon, A., Comai, S., Fraternali, P., Toffetti Carughi, G.: Conceptual Modeling and Code Generation for Rich Internet Applications. In: Proceedings of International Conference on Web Engineering, Menlo Park, CA, USA (July 10-14, 2006), pp. 353-360 (2006)
13. Linaje, M., Preciado, J.C., Sánchez-Figueroa, F.: A Method for Model Based Design of Rich Internet Application Interactive User Interfaces. In: Proceedings of International Conference on Web Engineering, Como, Italy (July 16-20, 2007), pp. 226-241 (2007)
14. Urbieta, M., Rossi, G., Ginzburg, J., Schwabe, D.: Designing the Interface of Rich Internet Applications. In: Proc. LA-WEB 2007, pp. 144-153 (2007)
15. Pérez, S., Díaz, O., Melía, S., Gómez, J.: Facing Interaction-Rich RIAs: The Orchestration Model. In: Proc. ICWE 2008, pp. 24-37 (2008)
16. Alalfi, M.H., Cordy, J.R., Dean, T.R.: A Survey of Analysis Models and Methods in Website Verification and Testing. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol. 4607, pp. 306-311. Springer, Heidelberg (2007)
17. Biel, B., Book, M., Gruhn, V., Peters, D., Schäfer, C.: Handling Backtracking in Web Applications. In: Proc. EUROMICRO 2004, pp. 388-395 (2004)
18. Ceri, S., Daniel, F., Matera, M., Rizzo, F.: Extended Memory (xMem) of Web Interactions. In: Proc. ICWE 2006, pp. 177-184 (2006)
19. Baresi, L., Denaro, G., Mainetti, L., Paolini, P.: Assertions to Better Specify the Amazon Bug. In: Proc. SEKE 2002, pp. 585-592 (2002)