Specification and dialogue control of visual interaction through visual rewriting systems

ACM Transactions on Programming Languages and Systems

Volumn 21, Issue 6, 1999, Pages 1077-1136

  Bottoni, P ^a   Costabile, M F ^b   Mussio, P ^c  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF BARI   (Italy)

^c UNIVERSITY OF BRESCIA   (Italy)

Author keywords

D.1.7 Visual Programming ; D.2.2 Design Tools and Techniques : User Interfaces; D.2.6 Programming Environment : Interactive Environments; F.4.2 Grammars and Other Rewriting Systems

Indexed keywords

EID: 0000895208     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/330643.330644     Document Type: Article

References (57)

1. ABOWD, G. AND BEALE, R. 1991. Users, systems and interfaces: A unifying framework for interaction. In Proceedings of HCI '91: People and Computers VI, D. Diaper and N. Hammond, Eds. 73-87.
2. ANDRIES, M., ENGELS, G., AND REKERS, J. 1998. How to represent a visual specification. In Visual Language Theory, K. Marriott and B. Meyer, Eds. Springer, 245-259.
3. AREFI, F., MILANI, M., AND STARY, C. 1991. Towards customized user interface design environments. In Proceedings of the IEEE Workshop on Visual Languages. IEEE, New York, 146-151.
4. BURNETT, M. AND AMBLER, A. 1994. Interactive visual data abstraction in a declarative visual programming language. J. Vis. Lang. Comput. 5, 26-60.
5. BRANCHEAU, J. C. AND BROWN, C. V. 1993. The management of end-user computing: Status and direction. ACM Comput. Surv. 25, 4, 437-482.
6. BIANCHI, N., BOTTONI, P., MUSSIO, P., AND PROTTI, M. 1993. Cooperative visual environments for the design of effective visual systems. J. Vis. Lang. Comput. 4, 357-382.
7. BIANCHI, N., BOTTONI, P., SPINU, C., GARBAY, C., AND MUSSIO, P. 1998. Situated image understanding in a multi-agent framework. Int. J. Pattern Recog. Art. Intell. 12, 5, 595-624.
8. BOTTONI, P., CHANG, S.-K., COSTABILE, M. F., LEVIALDI, S., AND MUSSIO, P. 1998a. On the specification of dynamic visual language. In Proceedings of the IEEE Symposium on Visual Languages. IEEE, New York, 14-21.
9. BOTTONI, P., COSTABILE, M. F., LEVIALDI, S., AND MUSSIO, P. 1996a. Visual conditional attributed rewriting systems in visual language specification. In Proceedings of the IEEE Symposium on Visual Languages. IEEE, New York, 156-163.
10. BOTTONI, P., COSTABILE, M. F., LEVIALDI, S., AND MUSSIO, P. 1996b. A visual approach to HCI. ACM SIGCHI Bull. 28, 3, 50-55.
11. BOTTONI, P., COSTABILE, M. F., LEVIALDI, S., AND MUSSIO, P. 1997. Defining visual languages for interactive computing. IEEE Trans. Syst. Man. Cybernet. A-27, 6, 773-782.
12. BOTTONI, P., COSTABILE, M. P., LEVIALDI, S., AND MUSSIO, P. 1998b. Specification of visual languages as means for interaction. In Visual Language Theory, K. Marriott and B. Meyer, Eds. Springer, 353-375.
13. BOTTONI, P., COSTABILE, M. F., LEVIALDI, S., AND MUSSIO, P. 1998c. Specifying dialog control in visual interactive systems. J. Vis. Lang. Comput. 9, 5, 553-564.
14. BOTTONI, P., MUSSIO, P., OLIVIERI, B., AND PROTTI, M. 1998d. A completely visual environment for agent-based computing. In Proceedings of AVI '98, T. Catarci, M. F. Costabile, G. Santucci, and L. Tarantino, Eds. ACM Press, New York, 261-263.
15. BOYLAND, J. T. 1996. Conditional attribute grammars. ACM Trans. Program. Lang. Syst. 18, 1, 73-108.
16. CARLE, A. AND POLLOCK, L. 1996. On the optimality of change propagation for incremental evaluation of hierarchical attribute grammars. ACM Trans. Program. Lang. Syst. 18, 1, 16-29.
17. CHANG, S. K. AND MUSSIO, P. 1996. Customized visual language design. In Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering (SEKE '96). 553-562.
18. CHANG, S. K., TAUBER, M. J., YU, B., AND YU, J. S. 1988. The SIL-Icon compiler - An object-oriented system generator. Int. J. Patt. Recognit. Art. Intell. 2, 241-273.
19. CHANG, S. K., TORTORA, G., YU, B., AND GUERICIO, A. 1987. Icon purity - Towards a formal definition of Icon. Int. J. Patt. Recognit. Art. Intell. 1, 377-392.
20. CHOK, S. S. AND MARRIOTT, K. 1995. Automatic construction of user interfaces from constraint multiset grammars. In Proceedings of the IEEE Symposium on Visual Languages. IEEE, New York, 242-249.
21. COSTAGLIOLA, G., TORTORA, G., OREFICE, S., AND DELUCIA, A. 1995. Automatic generation of visual programming environments. IEEE Comput. 28, 3, 56-66.
22. COSTAGLIOLA, G., TORTORA, G., OREFICE, S., AND DELUCIA, A. 1997. A parsing methodology for the implementation of visual systems. IEEE Trans. Softw. Eng. 23, 11, 777-779.
23. COUTAZ, J. 1991. Architectural design for user interfaces. In Proceedings of the 3rd Conference of Software Engineering (ESEC '91). 7-22.
24. DASSOW, J. AND PAUN, G. 1989. Regulated Rewriting in Formal Language Theory. Springer.
25. DIX, A. 1991. Formal Methods for Interactive Systems. Academic Press.
26. DUKE, K. J. AND HARRISON, M. D. 1995. Interaction and task requirements. In DSV-IS '95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems, P. Palanque and R. Bastide, Eds. Springer, 54-75.
27. FACONTI, G. P. AND DUKE, D. J. 1996. Device models. In Design, Specification and Verification of Interactive Systems, F. Bodart and J. Vanderdonckt, Eds. Springer, 73-91.
28. FOLEY, J. D., VAN DAM, A., FEINER, S. K., HUGHES, J. F., AND PHILLIPS, R. L. 1993. Introduction to Computer Graphics. Addison-Wesley.
29. GOLIN, E. J. 1991. Parsing visual languages with picture layout grammars. J. Vis. Lang. Comput. 2, 371-394.
30. GREEN, M. 1985. Report on dialogue specification tools. In User Interface Management Systems. Springer, 9-20.
31. HARRISON, M. D. AND DIX, A. 1990. A state model for direct manipulation. In Formal Methods in HIC, M. D. Harrison and H. W. Thimbleby, Eds. Cambridge University Press, 129-151.
32. HELM, R. AND MARRIOTT, K. 1991. A declarative specification and semantics for visual languages. J. Vis. Lang. Comput. 2, 311-332.
33. HIRAKAWA, M., NISHIMURA, Y., KADO, M., AND ICHIKAWA, T. 1991. Interpretation of icon overlapping in iconic programming. In Proceedings of the IEEE Workshop on Visual Languages. IEEE, New York, 254-259.
34. KAHN, K. AND SARASWAT, V. A. 1990. Complete visualisations of concurrent programs and their executions. In Proceedings of the IEEE Workshop on Visual Languages. IEEE, New York, 7-15.
35. KATAYAMA, T. 1984. Translation of attribute grammars into procedures. ACM Trans. Program. Lang. Syst. 6, 3, 345-369.
36. MARRIOTT, K., MEYER, B., AND WITTENBURG, K. 1998. A survey of visual language specification and recognition. In Visual Language Theory, K. Marriott and B. Meyer, Eds. Springer, 5-85.
37. MESEGUER, J. 1992. Conditional rewriting logic as a unified model of concurrency. Theoret. Comput. Sci. 96, 1, 73-155.
38. MEVEL, A. AND GUEGUEN, T. 1987. Smalltalk-80. MacMillan Education.
39. MINAS, M. 1997. Diagram editing with hypergraph parser support. In Proceedings of the IEEE Symposium on Visual Languages. IEEE, New York, 226-233.
40. MUSSIO, P., FINADRI, M., GENTINI, P., AND COLOMBO, F. 1992. A bootstrap approach to visual user-interface design and development. Vis. Comput. 8, 2, 75-93.
41. MUSSIO, P., PIETROGRANDE, M., AND PROTTI, M. 1991. Simulation of hepatological models: A study in visual interactive exploration of scientific problems. J. Vis. Lang. Comput. 2, 75-95.
42. NAJORK, M. A. AND KAPLAN, S. M. 1993. Specifying visual languages with conditional set rewrite systems. In Proceedings of the IEEE Workshop on Visual Languages. IEEE, New York, 12-18.
43. NORMAN, D. A. 1988. The Psychology of Everyday Things. Basic Books.
44. PAPAKONSTANTINOU, G. 1979. A poor man's realization of attribute grammars. Softw. Pract. Exper. 9, 9, 719-728.
45. PETERSON, J. L. 1981. Petri Net Theory and the Modeling of Systems. Prentice-Hall.
46. REKERS, J. AND SCHUERR, A. 1995. A graph grammar approach to graphical parsing. In Proceedings of the IEEE Symposium on Visual Languages. IEEE, New York, 195-202.
47. REKERS, J. AND SCHUERR, A. 1996. A graph-based framework for the implementation of visual environments. In Proceedings of the IEEE Symposium on Visual Languages. IEEE, New York, 148-155.
48. REPENNING, A. AND SUMNER, T. 1995. Agentsheets: A medium for creating domain-oriented visual languages. IEEE Comput. 28, 3, 17-26.
49. SALOMAA, A. 1973. Formal Languages. Academic Press.
50. SMITH, D. C., CYPHER, A., AND SPORER, J. 1994. KidSim: Programming agents without a programming language. Commun. ACM 37, 1, 55-67.
51. SERRANO, J. A. 1995. The use of semantic constraints on diagram editors. In Proceedings of the IEEE Symposium on Visual Languages. IEEE, New York, 211-2167.
52. SHNEIDERMAN, B. 1992. Designing the User Interface. Addison Wesley.
53. TONDL, L. 1981. Problems of Semantics. Reidel.
54. WANG, D., LEE, J. R., AND ZEEVAT, H. 1995. Reasoning with diagrammatic representations. In Diagrammatic Reasoning, J. Glasgow, N. H. Narayanan, and B. Chandrasekaran, Eds. AAAI Press, Menlo Park, CA, 339-393.
55. WEGNER, P. 1995. Interaction as a basis for empirical computer science. ACM Comput. Surv. 27, 45-48.
56. WEGNER, P. 1997. Why interaction is more powerful than algorithms? Commun. ACM 40, 5, 80-91.
57. WITTENBURG, K. AND WEITZMAN, L. 1998. Relational grammars: Theory and practice in a visual language interface for process modeling. In Visual Language Theory, K. Marriott and B. Meyer, Eds. Springer, 193-217.