Reasoning about interactive systems with stochastic models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2220 LNCS, Issue , 2001, Pages 144-163

  Doherty, G ^a   Massink, M ^b   Faconti, G ^b  

^a RUTHERFORD APPLETON LABORATORY   (United Kingdom)

^b ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS; MATHEMATICAL MODELS; PROBABILITY DISTRIBUTIONS; SPECIFICATIONS; STOCHASTIC SYSTEMS; SYSTEMS ANALYSIS; UNCERTAINTY ANALYSIS; BEHAVIORAL RESEARCH;

HUMAN BEHAVIOURS; INTERACTIVE SYSTEM; PERFORMANCE ASPECTS; PROBABILISTIC TECHNIQUE; PROCESS ALGEBRAS; USER BEHAVIOUR; USER MODELING; USER MODELS;

BEHAVIORAL RESEARCH; STOCHASTIC MODELS;

EID: 3042575763     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45522-1_9     Document Type: Conference Paper

References (36)

1. H. Alexander. Structuring dialogues using CSP. In M. D. Harrison and H. W. Thimbleby, editors, Formal methods in Human Computer Interaction, pages 273-295. Cambridge University Press, 1990.
2. R. Alur, C. Courcoubetis, and D.L. Dill. Model-checking for probabilistic realtime systems. In Automata, Languages and Programming: Proceedings of the 18th ICALP, volume 510 of Lecture Notes in Computer Science, pages 115-136. Springer-Verlag, 1991.
3. Fraņcois B'erard. Vision par ordinateur pour l'interaction fortement coupl'ee. PhD thesis, L'Universit'e Joseph Fourier Grenoble I, 1999.
4. H. Bowman, J. W. Bryans, and J. Derrick. Analysis of a multimedia stream using stochastic process algebra. In C. Priami, editor, Proceedings of 6th International Workshop on Process Algebras and Performance Modelling, Nice, France, pages 51-69, September 1998.
5. H. Bowman, G. P. Faconti, and M. Massink. Specification and verification of media constraints using UPPAAL. In P. Markopoulos and P. Johnson, editors, Proceedings of the 5th Eurographics Workshop on Design, Specification, and Verification of Interactive Systems, pages 261-277. Springer Wien, 1998.
6. J. Bryans, H. Bowman, and J. Derrick. A model checking algorithm for stochastic systems. Technical Report 4-00, University of Kent at Canterbury, January 2000.
7. P. Cairns, M. Jones, and H. Thimbleby. Reusable usability analysis with markov models. ACM Transactions on Human-Computer Interaction, (in press), 2001.
8. S. Card, T. Moran, and A. Newell. The psychology of human computer interaction. Lawrence Erlbaum Associates, 1983.
9. P. R. D'Argenio, J-P. Katoen, and E. Brinksma. A stochastic automaton model and its algebraic approach. In Proceedings of 5th International Workshop on Process Algebra and Performance Modelling, pages 1-17, 1997. CTIT Technical Report 97-09.
10. A.M. Dearden and M.D. Harrison. Using executable interactor specifications to explore the impact of operator interaction error. In P. Daniel, editor, SAFECOMP 97: Proceedings of the 16th International Conference Computer Safety, Reliability and Security, pages 138-147. Springer, 1997.
11. G. Doherty and M. Massink. Stochastic modelling of interactive systems with UML. TUPIS Workshop, UML 2000.
12. G. Doherty, M. Massink, and G. Faconti. Using hybrid automata to support human factors analysis in a critical system. Formal Methods in System Design, 19(2), September 2001.
13. M. Du and D. England. Temporal patterns for complex interaction design. In Johnson [25].
14. S. Gilmore and J. Hillston. The PEPA workbench: A tool to support a process algebra-based approach to performance modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, volume 794 of Lecture Notes in Computer Science, pages 353-368. Springer-Verlag, 1994.
15. S. Gnesi, D. Latella, and M. Massink. A stochastic extension of a behavioural subset of UML statechart diagrams. In L. Palagi and R. Bilof, editors, Fifth IEEE International High-Assurance Systems Engineering Symposium, pages 55-64. IEEE Computer Society Press, 2000.
16. M.D. Harrison, A.E. Blandford, and P.J. Barnard. The requirements engineering of user freedom. In F. Paterńo, editor, Proceedings of Eurographics Workshop on Design Specification and Verification of Interactive Systems, Italy, pages 181-194. Springer-Verlag, 1995.
17. F. Hartleb. Stochastic graph models for performance evaluation of parallel programs and the evaluation tool PEPP. In Proceedings of the QMIPS Workshop on Formalisms, Principles and State-of-the-art, Erlangen/Pommersfelden, Germany, number 14 in Arbeitsbericht Band 26, pages 207-224, March 1993.
18. H. Hermanns, J.P. Katoen, J. Meyer-Kayser, and M. Siegle. Tools and algorithms for the construction and analysis of systems. In Proceedings of TACAS 2000, volume 1785 of LNCS, pages 347-362. Springer-Verlag, 2000.
19. H. Hermanns, V. Mertsiotakis, and M. Siegle. TIPPtool: Compositional specification and analysis of markovian performance models. In Proceedings of Compter Aided Verification (CAV) 99, volume 1633 of Lecture Notes in Computer Science, pages 487-490. Springer-Verlag, 1999.
20. J. Hillston. A Compositional Approach to Performance Modelling. Distinguished Dissertations in Computer Science. Cambridge University Press, 1996.
21. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
22. E. Hollnagel. The phenotype of erroneous actions. International Journal of Man-Machine Studies, 39(1):1-32, July 1993.
23. R. Jagacinski, R.D. Repperger, M. Moran, S.Ward, and B. Glass. Fitts' law and the microstructure of rapid discrete movements. Journal of Experimental Psychology: Human Perception and Performance, 6(2):309-320, 1980.
24. R. Jain. The art of computer systems performance analysis : techniques for experimental design, measurement, simulation, and modeling. Wiley, New York, 1991.
25. C. Johnson, editor. Proceedings of Design Specification and Verification of Interactive Systems, Glasgow. Springer-Verlag, 2001.
26. G. Langolf, D. Chaffin, and J. Foulke. An investigation of Fitts' law. Journal of Motor Behaviour, 8:113-128, 1976.
27. I. Scott MacKenzie. Fitts' law as a research and design tool in human-computer interaction. Human Computer Interaction, 7:91-139, 1992.
28. D. Navarre, P. Palanque, F. Paterno, C. Santoro, and R. Bastide. Tool suite for integrating task and system models through scenarios. In Johnson [25].
29. P. Palanque and R. Bastide. Synergistic modelling of tasks, users and systems using formal specification techniques. Interacting with Computers, 9:129-153, 1997. (Pubitemid 127435669
30. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. San Mateo, CA: Morgan Kaufmann, 1988.
31. G. Salvendy, editor. Handbook of Human Factors and Ergonomics. Wiley-Interscience, 2nd edition, 1997.
32. R. Sch?afer and Thomas Weyrath. Assessing temporally variable user properties with dynamic bayesian networks. In A. Jameson, C. Paris, and C. Tasso, editors, User Modelling: Proceedings of the Sixth Internation Conference. Springer Wien New York, 1997.
33. A.D. Swain and H.E. Guttmann. Handbook of human reliability analysis with emphasis on nuclear power plant applications -final report. Technical Report NRC FIN A 1188 NUREG/CR-1278 SAND80-0200, Prepared for Division of Facility Operations; Office of Nuclear Regulatory Research; US Nuclear Regulatory Commission; Washington, D.C. 20555, August 1983.
34. M.Q.V. Turnell, A. Scaico, M.R.F. de Sousa, and A. Perkusich. Industrial user interface evaluation based on coloured petri nets modelling and analysis. In Johnson [25].
35. C. Ware and R. Balakrishnan. Reaching for objects in VR displays: Lag and frame rate. ACM Transactions on Human Computer Interaction, 1(4):331-356, December 1994.
36. C.D. Wickens. Engineering Psychology and Human Performance. Charles E. Merrill Publishing Company, 1984.