The model-composition problem in user-interface generation

Automated Software Engineering

Volumn 7, Issue 2, 2000, Pages 101-124

  Stirewalt, R E Kurt ^a   Rugaber, Spencer ^b  

^a Michigan State University   (United States)

^b Georgia Institute of Technology   (United States)

Author keywords

Code generation; Model based; Multi paradigm; User interface

Indexed keywords

CODES (SYMBOLS); MATHEMATICAL MODELS; USER INTERFACES;

CODE GENERATION; MODEL-COMPOSITION PROBLEM;

SOFTWARE ENGINEERING;

EID: 0343442399     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008758107773     Document Type: Article

References (37)

1. Abowd, G.D. 1991. Formal Aspects of Human-Computer Interaction. Ph.D. Thesis, Oxford University.
2. Alexander, H. 1990. Structuring dialogues using CSP. In M. Harrison and H. Thimbleby, editors, Formal Methods in Human-Computer Interaction. Cambridge University Press.
3. Bass, L. and Coutaz, J. 1991. Developing Software for the User Interface. SEI Series in Software Engineering. Addison-Wesley.
4. Batory, D. and O'Malley, S. 1992. The design and implementation of hierarchical software systems with reusable components. ACM Trans. Softw. Eng. Meth., l(4):355-398.
5. Bolognesi, T. and Brinksma, E. 1987. Introduction to the ISO specification language LOTOS. Comp. Netw. ISDN Sys., 14(1).
6. Browne, T., Davilla, D., Rugaber, S., and Stirewalt, K. 1997. Using declarative descriptions to model user interfaces with MASTERMIND. In F. Paternó and P. Palanque, editors, Formal Methods in Human Computer Interaction. Springer-Verlag.
7. Castells, P., Szekely, P., and Salcher, E. 1997. Declarative models of presentation. In IUI'97: International Conference on Intelligent User Interfaces.
8. Coutaz, J. 1987. PAC, an object-oriented model for dialog design. In Human Computer Interaction-INTERACT'87, pp. 431-436.
9. Duke, R., Rose, G., and Smith, G. 1995. Object-z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17.
10. ESPRIT BRA 3066. 1989. Assimilating models of designers, users, and systems (AMODEUS). Technical Annex, CEC, Brussels.
11. Hoare, C.A.R. 1985. Communicating Sequential Processes. Prentice Hall.
12. Holzmann, G.J. 1997. The model checker spin. IEEE Trans. Softw. Eng., 23(5):279-295.
13. Hussey, A. and Carrington, D. 1998. Which widgets? deriving implementations from formal user-interface specifications. In Fifth International Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'98).
14. Krasner, G.E. and Pope, S.T. 1988. A cookbook for using the model view controller user interface paradigm in Smalltalk. Journal of Object Oriented Programming, 1(3).
15. Markopoulos, P. 1995. On the expression of interaction properties within an interactor model. In Design Specification and Verification of Interactive Systems (DSV-IS'95).
16. Markopoulos, P., Rowson, J., and Johnson, P. 1996. On the composition of interactor specifications. In Formal Aspects of the Human Computer Interface, BCS-FACS Workshop.
17. McMillan, K.L. 1992. Symbolic Model Checking: An Approach to the State Explosion Problem. Ph.D. Thesis. Carnegie Mellon University, CMU-CS-92-131.
18. Milner, R. 1989. Communication and Concurrency. Prentice Hall International Series in Computer Science. New York: Prentice Hall.
19. Myers, B.A., McDaniel, R.G., Ferrency, A.S., Miller, R.C., Faulring, A., Kyle, B.D., Mickish, A., Klimovitski, A., and Doane, P. 1997. The Amulet environment: New models for effective user-interface software development. IEEE Trans. Softw. Eng., 23(6).
20. Myers, B.A., Giuse D.A., and Vander Zanden, B. 1992. Declarative programming in a prototype instance system: Object oriented programming without writing methods. In Proceedings of OOPSLA.
21. Myers, B.A. and Rosson, M.B. 1992. Survey on user interface programming. In SIGCHI'92: Human Factors in Computing Systems.
22. Neches, R. et al. 1993. Knowledgeable development environments using shared design models. In Intelligent Interfaces Workshop, pp. 63-70.
23. Nigay, L. and Coutaz, J. 1991. Building user interfaces: Organizing software agents. In ESPRIT'91. Object Management Group. Common Object Request Broker Architecture and Specification.
24. Parnas, D. 1979. Designing software for ease of extension and contraction. IEEE Trans. Softw. Eng., 5(2).
25. Paternò, F. 1994. A theory of user-interaction objects. Journal of Visual Languages and Computing, 5:227-249.
26. Paterno, F. and Faconti, G. 1992. On the Use of LOTOS to Describe Graphical Interaction. In A. Monk, D. Diaper, and M.D. Harrison, editors, People and Computers VII-Proceedings of the HCI '92 Conference, Cambridge University Press, pp. 155-175.
27. Paternò, F. and Meniconi, S. 1997. TLIM: A systematic method for the design of interactive systems. In F. Paternó and P. Palanque, editors, Formal Methods in Human Computer Interaction. Springer-Verlag.
28. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F, and Lorensen, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall.
29. Spivey, J.M. 1992. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science. New York: Prentice Hall.
30. Stirewalt, R.E.K. 1997. Automatic Generation of Interactive Systems from Declarative Models. Ph.D. Thesis, Georgia Institute of Technology.
31. Stirewalt, R.E.K. 1999. Mdl: A language for binding user-interface models. In Proceedings of the Third International Conference on Computer-aided Design of User Interfaces (CADUI'99), pp. 159-170.
32. Stirewalt, R.E.K. and Rugaber, S. 1998. Automating UI generation by model composition. In Proceedings of the IEEE International Conference on Automated Software Engineering, pp. 177-186.
33. Szekely, P., Sukavirlya, P., Castells, P., Muthukumarasamy, J., and Salcher, E. 1996. Declarative models for user-interface construction tools: The MASTERMIND approach. In Bass and Unger, editors, Engineering for Human-Computer Interaction. Chapman & Hall.
34. Wilson, S., Johnson, P., Kelly, C., Cunningham, J., and Markopoulos, P. 1993. Beyond hacking: A model based approach to user interface design. In J.L. Alty, D. Diaper, and S. Guest, editors, People and Computers VIII Proceedings of the HCI '93 Conference.
35. Woodcock, J. and Davies, J. 1996. Using Z: Specification, Refinement, and Proof. Prentice Hall.
36. Zave, P. 1989. A compositional approach to multiparadigm programming. IEEE Software, 6(5).
37. Zave, P. and Jackson, M. 1993. Conjunction as composition. ACM Trans. Softw. Eng. Meth., 2(4):371-411.