A formal technique for automated dialogue development

Proceedings of the Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques, DIS

Volumn 23-25-August-1995, Issue , 1995, Pages 219-226

  Abowd, Gregory D ^a   Wang, Hung Ming ^b   Monk, Andrew F ^c  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b Transarc Corp   (United States)

^c UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Automated Verification; Dialogue Design Method; Formal Methods; Model Checking; Simulation

Indexed keywords

AUTOMATION; BEHAVIORAL RESEARCH; FORMAL METHODS; FORMAL SPECIFICATION; FORMAL VERIFICATION; HUMAN COMPUTER INTERACTION; MODEL CHECKING; SPECIFICATIONS;

AUTOMATED VERIFICATION; DIALOGUE DESIGN; FINITE-STATE MODELS; HUMAN COMPUTER INTERFACES; REQUIREMENTS SCENARIOS; SIMULATION; STATE TRANSITION MODELS; VERIFICATION PROPERTIES;

PROBLEM SOLVING;

EID: 84984598939     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/225434.225459     Document Type: Conference Paper

References (15)

1. Addison, M. and Thimbleby, H. Manuals as structured programs. In People and Computers IX: Proceedings of HC/'94, G. Cockton, S.W. Draper, and G.R.S. Weir, eds., Cambridge University Press, pp. 67-80, 1994.
2. Arnold, A. Finite Transition Systems, Prentice Hall International, 1994.
3. Atlee, J. Gannon, J. State-based model checking of event-driven system requirements. IEEE Transactions on Software Engineering, 19(1):24-40, January 1993.
4. Burch, J. Clarke, E., McMillan, K., Dill, D. and Hwang, J. Symbolic model checking: I 020 states and beyond. In Lecture Notes in Computer Science, Springer-Verlag, 1990.
5. Clarke, E . Emerson, E. and Sistla, A. Automatic verification of finite-state concurrent systems using temporal logic specifications. In ACM Transactions in Programming Languages and Systems. 8(2):244-263, April 1986.
6. Dix, A., Finlay. J., Abowd, G. and Beale. R. HumanComputer Interaction. Prentice-Hall International, 1993.
7. Green. M. Report on dialogue specification tools", in Pfaff (cd), User interface management systems, Springer Verlag, pp 9-20, 1985. Reprinted in "The separable User Interface", Edmonds, E. (cd.), London: Academic Press, 1992.
8. Hill. R.D. Event-response systems-A technique for specifying multi-Threaded dialogues. In Carroll, J.M. & Tanner, P.P.(Eds.), Human factors in computing systems and graphics interface, CHI + GI '87 Conference Proceedings. ACM, pp. 241-248. 1987.
9. Monk, A. F. and Curry, M. B. Discount dialogue modelling with Action Simulator. In People and Computers IX: Proceedings of HC/'94. Cambridge University Press, 1994 In press.
10. McMillan, K. Symbolic Model Checking: An approach to the state explosion problem. Carnegie Mellon University. Computer Science Department, Technical Report CMU-CS-92-131. 1992. Ph.D. dissertation.
11. Newman, W.M. A system for interactive graphical programming, Proceedings of the Spring Joint Computer Conference, pp. 47-54. Reprinted in "The separable User Interface", Edmonds, E. (ed.), London: Academic Press, 1992.
12. Olsen, D. Propositional production systems for dialogue description. In Human Factors in Computing Systems: Proceedings of CH/'90. ACM Press, pp. 57-63, 1990.
13. Olsen, D., Monk, A. and Curry, M. Algorithms for automatic dialogue analysis using propositional production systems. To appear in Human-Computer Interaction, 1995.
14. Thimbleby, H. Combining systems and manuals. In People and Computers VIII: Proceedings of HCI'93, J. Alty, D. Diaber and S. Guest, eds., Cambridge University Press, pp. 479-488, 1993.
15. Wang, H.-M. and Abowd, G.D. A tabular interface for automated verification of event-based dialogues. Department of Computer Science, Carnegie Mellon University, Technical Report CMU-CS-94-189, October 1994.