Modelling form-based interfaces with bipartite state machines

Interacting with Computers

Volumn 17, Issue 2, 2005, Pages 207-228

  Draheim, D ^a   Weber, G ^b  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Enterprise applications; Requirements elicitation; System specification

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONSTRAINT THEORY; SEMANTICS; SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS;

ENTERPRISE APPLICATION; GUI-BASED INTERFACE; REQUIREMENTS ELICITATION; SYSTEM SPECIFICATION;

USER INTERFACES;

EID: 14544268886     PISSN: 09535438     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.intcom.2005.01.002     Document Type: Article

References (49)

1. D. Benyon, and C. Macaulay Scenarios and the HCI-SE design problem Interacting with Computers vol. 14 2002 Elsevier pp. 397-405
2. Borck, J.R., March 2003. WebSphere Studio Application Developer 4.0., JavaWorld.
3. S. Ceri, P. Fraternali, and S. Paraboschi Web Modeling Language(WebML): a modeling language for designing web sites Proceedings of the Ninth International World Wide Web Conference 2000 Elsevier pp. 137-157
4. S. Ceri, P. Fraternali, A. Bongio, and A. Maurino Modeling data entry and operations in WebML Proceedings of WebDB 2000, Dallas 2000
5. E.J. Chikofsky, and J.H. Cross Reverse engineering and design recovery: a taxonomy IEEE Software 1990 13 17
6. A. Cockburn Agile Software Development 2001 Addison-Wesley Reading, MA
7. J. Conallen Modeling web application architectures with UML Communications of the ACM 42 10 1999 63 70
8. J.F.E. Cunha, and N.J. Nunes Towards a UML profile for interaction design: the wisdom approach Lecture Notes in Computer Science 1939, Proceedings of UML'2000, York 2000
9. P.P. da Silva User interface declarative models and development environments: a survey Proceedings of Seventh International Workshop on Design, Specification and Verification of Interactive Systems, LNCS vol. 1946 2000 Springer Berlin
10. P.P. da Silva, and N.W. Paton UMLi: the unified modeling language for interactive applications Lecture Notes in Computer Science 1939, Proceedings of UML'2000, York 2000
11. Davis, M., February 2001. Struts - an Open-source MVC Implementation. IBM developerWorks.
12. D. Draheim, and G. Weber Strongly typed server pages Proceedings of the 5th Workshop on Next Generation Information Technologies and Systems, LNCS 2382 2002 Springer Berlin
13. D. Draheim, and G. Weber Storyboarding form-based interfaces Proceedings of INTERACT 2003-Ninth IFIP TC13 International Conference on Human-Computer Interaction 2003 IOS Press
14. D. Draheim, and G. Weber Modeling submit/response style systems with form charts and dialogue constraints Proceedings of the Workshop on Human Computer Interface for Semantic Web and Web Applications, LNCS 2889 2003 Springer Berlin
15. D. Draheim, and G. Weber Specification and generation of model 2 web interfaces Proceedings of APCHI 2004-6th Asia-Pacific Conference on Computer-Human Interaction. LNCS 2004 Springer Berlin
16. D. Draheim, and G. Weber Form-Oriented Analysis - A New Methodology to Model Form-Based Applications 2004 Springer Berlin
17. D. Draheim, E. Fehr, and G. Weber JSPick-A server pages design recovery tool Proceedings of the Seventh European Conference on Software Maintenance and Reengineering 2003 IEEE Press
18. T. Elwert, and E. Schlungbaum Modelling and generation of graphical user interfaces in the TADEUS approach P. Palanque R. Bastide Designing, Specification, and Verification of Interactive Systems 1995 Springer Wien 193 208
19. T. Elwert, and E. Schlungbaum Dialogue graphs - a formal and visual specification technique for dialogue modelling Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface 1996 The British Computer Society, Springer
20. M. Green A survey of three dialogue models ACM Transactions on Graphics 5 3 1987 244 275
21. F. Halasz, and M. Schwartz The Dexter hypertext reference model Communications of the ACM 37 2 1994 30 39
22. D. Harel Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 1987 Elsevier Amsterdam pp. 231-274
23. P.J. Hayes Executable interface definitions using form-based interface abstractions Advances in Human-Computer Interaction 1 1985
24. I. Horrocks Constructing the User Interface with Statecharts 1999 Addison-Wesley Reading, MA
25. IEEE Std 830-1993 Recommended Practice for Software Requirements Specifications 1993 Software Engineering Standards Committee of the IEEE Computer Society New York
26. T. Isakowitz, E.A. Stohr, and P. Balasubramanian RMM: a methodology for structured hypermedia design Communications of the ACM 38 8 1995 34 44
27. R.J.K. Jacob Using formal specifications in the design of a human-computer interface Communications of the ACM 26 4 1983 259 264
28. I. Jacobson Object-Oriented Software Engineering: A Use Case Driven Approach 1992 Addison-Wesley Reading, MA
29. I. Jacobson, G. Booch, and J. Rumbaugh The Unified Software Development Process 1999 Addison-Wesley Reading, MA
30. J.A. Landay, and B.A. Myers Interactive sketching for the early stages of user interface design Proceedings of Human Factors in Computing Systems 1995 ACM Press pp. 43-50
31. R. Mohan, M.A. Cohen, and J. Schiefer A State Machine Based Approach for a Process Driven Development of Web-Applications CAiSE 2002, Toronto, Springer LNCS 2348 2002 pp. 52 ff
32. A. Müller, P. Forbrig, and C.H. Cap Model-based user interface design using markup concepts Proceedings of DVS-IS-Conference on Design, Specification, and Verification of Interactive Systems, LNCS 2220 2001 Springer Berlin
33. M.W. Newman, J. Lin, J.I. Hong, and J.A. Landay DENIM: an informal web site design tool inspired by observations of practice Human-Computer Interaction 18 3 2003 259 324
34. T. Nguyen, and V. Srinivasan Accessing relational databases from the World Wide Web Proceedings of the 1996 ACM SIGMOD 1996
35. J. Nielsen The art of navigating through hypertext Communications of the ACM 33 3 1990 296 310
36. M.C.F. Oliveira, M.A.S.T. Turine, and P.C. Masiero A statechart-based model for hypermedia applications ACM Transactions on Information Systems 19 1 2001
37. D. Parnas On the use of transition diagrams in the design of a user interface for an interactive computer system Proceedings of the 24th National Conference 1969 ACM Press pp. 379-385
38. E. Pfaff, and Günther User Interface Management Systems 1985 Springer Berlin
39. M. Rettig Prototyping for tiny fingers Communications of the ACM 37 1994 21 27
40. P.D. Stotts, and R. Furuta Petri-net-based hypertext: document structure with browsing semantics ACM Transactions on Information Systems 7 1 1989
41. P. Vilain, D. Schwabe, and C.S. Souza Modeling interactions and navigation in web applications Proceedings of Seventh International Workshop on Design, Specification and Verification of Interactive Systems, LNCS vol. 1921 2000 Springer Salt Lake City, UT pp. 115-127
42. P. Vilain, D. Schwabe, and C.S. Souza A diagrammatic tool for representing user interaction in UML Lecture Notes in Computer Science 1939, Proc. UML'2000, York 2000
43. A.I. Wasserman A specification method for interactive information systems Proceedings SRS - Specification of Reliable Software, IEEE Catalog No. 79 CHI1401-9C 1979 IEEE pp. 68-79
44. A.I. Wasserman Extending state transition diagrams for the specification of human-computer interaction IEEE Transaction on Software Engineering SE-11 8 1985 699 713
45. M. Winckler, and P. Palanque StateWebCharts: a formal description technique dedicated to navigation modelling of web applications Proceedings of DSV-IS 2003: Design, Specification, and Verification of Interactive Systems, LNCS 2844 2003 Springer Berlin
46. Winckler, M., Farenc, C., Palanque, P., Bastide, R., 2001. Designing navigation for web interfaces. Joint AFIHM-BCS Conference on Human-Computer Interaction (IHM-HCI'2001), Lille, France.
47. Weber, G., 2002. Semantics of Form-Oriented Analysis. Freie Universität Berlin. PhD-Thesis.
48. Y. Zheng, and M.-C. Pong Using statecharts to model hypertext Proceedings of the ACM Conference on Hypertext 1992 ACM Press pp. 242-250
49. J. Ziegler ViewNet - conceptual design and modelling of navigation Proceedings of INTERACT 97 1997