Specifying dialog control in visual interactive systems

Journal of Visual Languages and Computing

Volumn 9, Issue 5, 1998, Pages 535-564

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

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF BARI   (Italy)

^c UNIVERSITY OF BRESCIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032187948     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1998.0095     Document Type: Article

References (40)

1. 1. P. Bottoni, M. F. Costabile, S. Levialdi & P. Mussio (1997) Defining visual languages for interactive computing. IEEE Transactions on Systems, Man and Cybernetics-A 27, 773-783.
2. 2. P. Bottoni, M. F. Costabile, S. Levialdi & P. Mussio (1995) Formalising visual languages. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 45-52.
3. 3. P. Bottoni, M. F. Costabile, S. Levialdi & P. Mussio (1996) Visual conditional attributed rewriting systems in visual language specification. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 156-163.
4. 4. A. Salomaa (1973) Formal Languages. Academic Press, London.
5. 5. K. Kahn & V. A. Saraswat (1990) Complete visualisations of concurrent programs and their executions. In: Proceedings of the IEEE Workshop on Visual Languages, pp. 7-15.
6. 6. G. Costagliola, G. Tortora, S. Orefice & A. De Lucia (1997) A parsing methodology for the implementation of visual systems. IEEE Transactions on Software Engineering 23, 777-799.
7. 7. A. Repenning & T. Sumner (1995) Agentsheets: a medium for creating domain-oriented visual languages. IEEE Computer 28, 17-26.
8. 8. A. Cypher (1993) Watch What I do: Programming by Demonstration. MIT Press, Cambridge, MA.
9. 9. B. A. Myers, D. A. Giuse, R. B. Dannenberg, B. Vander Zanden, D. K. Kosbie, E. Pervin, A. Mickish & P. Marchal (1990) Garnet: comprehensive support for graphical, highly interactive user interfaces. IEEE Computer 23, 71-85.
10. 10. P. Mussio, M. Pietrogrande & M. Protti (1991) Simulation of hepatological models: a study in visual interactive exploration of scientific problems. Journal of Visual Languages and Computing 2, 75-95.
11. 11. P. Bottoni, M. Mariotto, P. Mussio & G. Biella (1995) The Design of anthropocentric cooperative visual environments. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 334-341.
12. 12. P. Bottoni, S.-K. Chang, M. F. Costabile, S. Levialdi & P. Mussio (1998) On the specification of dynamic visual languages. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 14-21.
13. 13. J. L. Peterson (1981) Petti Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ.
14. 14. A. Rosenfeld & R. Siromoney (1993) Pictorial languages. Languages of Design 1, 229-245.
15. 15. M. Pavel (1988) Fundamentals of Pattern Recognition. Dekker, New York.
16. 16. A. Salomaa (1990) Formal languages and power series. In: Handbook of Theoretical Computer Science, Vol. B (J. van Leeuwen ed.), Elsevier, Amsterdam, pp. 103-132.
17. 17. A. Mateescu & A. Salomaa (1997) Formal languages: an introduction and a synopsis. In: Handbook of Formal Languages (G. Rozenberg & A. Salomaa eds), Vol. 1. Springer, Berlin, pp. 1-39.
18. 18. M. Hirakawa, Y. Nishimura, M. Kado & T. Ichikawa (1991) Interpretation of icon overlapping in iconic programming. In: Proceedings of the IEEE Workshop on Visual Languages, pp. 254-259.
19. 19. D. C. Smith, A Cypher & J. Sporer (1994) KidSim: programming agents without a programming language. Communications of the ACM 37, 55-67.
20. 20. M. Green (1986) A. survey of three dialogue models. ACM Transactions on Graphics 5, 244-275.
21. 21. J. A. Serrano (1995) The use of semantic constraints on diagram editors. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 211-216.
22. 22. M. Andries, G. Engels & J. Rekers (1998) How to represent a visual specification. In: Theory of Visual Languages (K. Marriott B. Meyer, eds). Springer, Berlin, pp. 241-256.
23. 23. N. Bianchi, P. Bottoni, P. Mussio & M. Protti (1993) Cooperative visual environments for the design of effective visual systems. Journal of Visual Languages and Computing 4, 357-382.
24. 24. P. Bottoni, P. Mussio, B. Olivieri & M. Protti (1998) A completely visual environment for agent-based computing. In: Proceedings of the International Conference on Advanced Visual Interfaces AVI'98, pp. 261-263.
25. 25. P. Bottoni, M. F. Costabile, S. Levialdi & P. Mussio (1998) Specifying visual interaction through visual rewriting systems. Technical Report of LACAM, Department of Computer Science, University of Bari, May 1998.
26. 26. U. M. Borghoff, P. Bottoni, P. Mussio & R. Pareschi (1996) A systemic metaphor of multi-agent coordination in living systems. In: Proceedings of the European Simulation Multiconference (ESM,'96) (A. Javor, A. Lehmann & I. Molnar, eds) pp. 245-253.
27. 27. S. S. Chok & K. Marriott (1995) Automatic construction of user interfaces from constraint Multiset Grammars. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 242-249.
28. 28. K. Wittenburg & L. Weitzman (1998) Relational grammars: theory and practice in a visual language interface for process modeling. In: Theory of Visual Languages, (K. Marriott & B. Meyer, eds). Springer, Berlin, pp. 191-214.
29. 29. F. Arefi, M. Milani & C. Stary (1991) Towards customized user interface design environments. In: Proceedings of the IEEE Workshop on Visual Languages, pp. 146-151.
30. 30. J. Rekers & A. Schurr (1996) A graph-based framework for the implementation of visual environments. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 148-155.
31. 31. G. Costagliola, G. Tortora, S. Orefice & A. De Lucia (1995) Automatic generation of visual programming environments. IEEE Computer 28, 56-66.
32. 32. M. Minas (1997) Diagram editing with hypergraph parser support. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 226-233.
33. 33. M. Minas & J. Gottschall (1997) Specifying animated diagram languages. In: Proceedings of the International Workshop on Theory of Visual Languages, pp. 51-60, participants' edition.
34. 34. V. Haarslev & M. Wessel (1996) GenEd - An editor with generic semantics for formal reasoning about visual notations. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 204-211.
35. 35. J. D. McWhirter & G. J. Nutt (1994) Escalante: an environment for the rapid construction of visual language applications. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 15-22.
36. 36. J. D. McWhirter & G. J. Nutt (1992) A characterisation framework for visual languages. In: Proceedings of the IEEE Workshop on Visual Languages, pp. 15-22.
37. 37. P. Bottoni, P. Mussio & M. Protti (1994) Metareasoning in the determination of image interpretation strategies. Pattern Recognition Letters 15, 177-190.
38. 38. P. Mussio, M. Finadri & P. G. F. Colombo (1992) A bootstrap approach to visual user-interface design and development. The Visual Computer 8, 75-93.
39. 39. S. K. Chang, G. Tortora, B. Yu & A. Guercio (1987) Icon purity - towards a formal definition of icon. International Journal of Pattern Recognition and Artificial Intelligence 1, 377-392.
40. 40. M. Burnett & A. Ambler (1994) Interactive visual data abstraction in a declarative visual programming language. Journal of Visual Languages and Computing 5, 26-60.