Formal architectural abstractions for interactive software

International Journal of Human Computer Studies

Volumn 49, Issue 5, 1998, Pages 675-715

  Markopoulos, Panos ^a   Johnson, Peter ^a   Rowson, Jon ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SOFTWARE; FORMAL LANGUAGES; HUMAN COMPUTER INTERACTION; USER INTERFACES;

FORMAL ARCHITECTURE ABSTRACTIONS; INTERACTIVE SOFTWARE;

INTERACTIVE COMPUTER SYSTEMS;

EID: 0032208359     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1998.0223     Document Type: Article

References (51)

1. ABOWD, G. D. (1992). Formal aspects of human computer interaction, Ph.D. Thesis, University of Oxford, Technical Report YCS 161, University of York.
2. BLANDFORD, A. E., HARRISON, M. D. & BARNARD, P. J. (1995). Using interaction framework to guide the design of interactive systems. International Journal of Human-Computer Studies, 43, 101-130.
3. BOLOGNESI, T. & BRINKSMA, E. (1989). Introduction to the ISO specification language Lotos. In P. VAN EIJK, C. VISSERS & M. DIAZ, Eds. The Formal Description Technique Lotos, pp. 23-73. North-Holland: Elsevier.
4. BOUALI, A., GNESI, S. & LAROSA, S. (1994). The integration project for the JACK environment. Bulletin of the EATCS, 54, 307-223.
5. BOWEN, J. P. & HINCHEY, M. G. (1995). Ten commandments of formal methods. IEEE Computer, 28, 56-63.
6. BOWEN, J. P. & STAVRIDOU, V. (1993). The industrial take-up of formal methods in safety-critical and other areas: a perspective. In J. C. P. WOODCOCK & P. G LARSEN, Eds. Formal Methods Europe 1993: Industrial Strength Formal Methods. Lecture Notes in Computer Science, Vol. 670, pp. 183-195. Berlin: Springer.
7. BRINKSMA, E. (1989). A theory for the derivation of tests. In P. H. J. VAN EIJK, C. A. VISSERS & M. DIAZ, Eds. The Formal Description Technique Lotos, pp. 235-247. North-Holland: Elsevier.
8. COCKTON, G. (1990). The architectural bases of design re-use. In D. A. DUCE, M. R. GOMES, F. R. A. HOPGOOD & J. R. LEE, Eds. User Interface Management and Design, pp. 15-34. Berlin: Springer.
9. COUTAZ, J. (1997). PAC-ing the User Interface Architecture. In M. G. HARRISON & J.-C. TORRES, Eds. Design, Specification and Verification of Interactive Systems '97, 13-28. Wien: Springer.
10. COUTAZ, J. (1987). PAC, an object oriented model for dialog design. In H. J. BULLINGER & B. SHAKIEL, Eds. INTERACT '87, pp. 431-436. North-Holland: Elsevier.
11. DEARDEN, A. & HARRISON, M. (1997). Abstract models for HCI. International Journal of Human-Computer Studies, 46, 151-177.
12. DE NICOLA, R. (1989). Extensional equivalences for transition systems. Acta Informatica, 24, 211-237.
13. DIX, A. J. (1991). Formal Methods for Interactive Systems. New York: Academic Press.
14. DIX, A. J. & ABOWD, G. (1996). Modelling status and event behaviour of interactive system. Software Engineering Journal, 11, 334-346.
15. DUKE, D. J. & HARRISON, M. D. (1994). From formal models to formal methods. In R. N. TAYLOR & J. COUTAZ, Eds. Software Engineering and Human-Computer Interaction, ICSE'94 Workshop on Software Engineering and Human-Computer Interaction, Lecture Notes in Computer Science. Vol. 896, pp. 159-173. Berlin: Springer.
16. FACONTI, G. P. (1993). Towards the concept of interactor. AMODEUS Project Report, ref. sm/wp8.
17. FERNANDEZ, J. C., CARAVEL, H., MOUNIERR, L., RASSE, A., RODRIGUEZ, C. & SIFAKIS, J. (1992). A toolbox for the verification of LOTOS Programs ICSE '92, 14th International Conference on Software Engineering, Melbourne, May 1992.
18. FIELDS, B., MERRIAM, N. & DEARDEN, A. (1997). DMVIS: design, modelling and validation of interactive systems. In M. G. HARRISON & J.-C. TORRES, Eds. Design, Specification and Verification of Interactive Systems'97, Wien: Springer.
19. GRAHAM, M. (1997). Validation of the ADC interactor model as an implementation architecture. MSc Project, Department of Computer Science, Queen Mary and Westfield College, University of London, August.
20. GREEN, M. (1985). Report on dialogue specification tools. In G. E. PFAFF, ed. User Interface Management Systems, pp. 9-20. Berlin: Springer.
21. HARRISON, M. D.& DIX, A. J. (1990). A state model of direct manipulation in interactive systems. In M. D. HARRISON & H. W. THIMBLEBT, Eds. Formal Methods in Human-Computer Interaction, pp. 29-151. Cambridge: Cambridge University Press.
22. HILL, R. D., BRINCK, T., ROHALL, S. L., PATTERSON, J. F. & WILNER, W. (1994). The rendezvous architecture and language for constructing multiuser applications. ACMT Transactions on Computer Human Interaction, 1, 81-125.
23. HIX, D. & HARTSON, R. H. (1993). Developing user interface: Ensuring usability through product and processes. New York: Wiley.
24. HOLLOWAY, C. M. & BUTLER, R. (1996). Impediments to the industrial use of formal methods. IEEE Computer, 29, 26-27.
25. ISO (1989). Information processing systems-open systems interconnection-LOTOS - A formal description technique based on the tempral ordering of observational behaviour. ISO/IEC 8807, International Organisation for Standardisation, Geneva.
26. JOHNSON, P. (1992). Human-Computer Interaction: Psychology, Task Analysis and Software Engineering. London: McGraw-Hill.
27. KRASNER, G. E. & POPE, S. T. (1998). A cookbook for using the model-view-controller user interface paradigm in the smalltalk-80 system. Journal of Object Oriented Programming, 1, 26-49.
28. LIM, K. Y. & LONG, J. (1994), The MUSE Method for Usability Engineering. Cambridge: Cambridge University Press.
29. MAN̈AS, J. A. (1985) Getting to use the LOTOSPHERE integrate tool environment (LITE). In T. BOLOGNESI & J. VAN DE LAGEMAAT. Eds. LOTOSphere: Software Development with LOTOS. Dordrecht, Netherlands: Kluwer.
30. MARKOPOULOS, P. (1996). Case study in the formal specification of the SimplePlayer™ graphical interface for playing QuickTime™ movies, using the ADC interactor model. Technical Report 712, Department of Computer Science, Queen Mary and Westfield College, University of London.
31. MARKOPOULOS, P. (1997). A compositional model for the formal specification of user inteface software. Ph.D. Thesis, Department of Computer Science, Queen Mary and Westfield College, University of London, Marchy 1997.
32. MARKOPOULOS, P., JOHNSON, P. & ROWSON, J. (1997). Formal aspects of task based design. In M. D. HARRISON & J. C. TORRES CANTERO, Eds. Design Specification and Verification of Interactive System '97 pp. 209-224. Wien: Springer.
33. MARKOPOULOS, P., PPATZANIS, G., JOHNSON, P. & ROWSON, J. (1988). Validating semi-formal specifications of interactors as design representations. In P. MARKOPOULOS & P. JOHNSON, Eds. Design Specification and Verification of Interactive Systems '98 Berlin: Springer.
34. MARKOPOULOS, P., ROWSON, J. & JOHNSON, P. (1997). Composition and synthesis with a formal interactor model. Interacting with Computer, 9, 197-223.
35. MARKOPOULOS, P., WILSON, S. & JOHNSON, P. (1994). Representation and use of task knolwedge in a user interface design envirionment. IEE Proceedings-E, Computer and Digital Techniques, 141, 78-84.
36. MILNER, R. (1989) Communication and Concurrency. UK: Prentice-Hall.
37. MORAN, T. (1981). The command language grammar: a representation for the user interface of interactive computer systems. International Journal of Man Machine Studies, 15, 3-50.
38. MORAN, T. (1983). Getting into the system: external and internal task mapping analysis. In A. JANDA, Ed. 2nd Conference of Human Factors in Computing Systems, CHI'83, New York: ACM Press.
39. MYERS, B. A. (1990), A new model for handling input: ACM Transaction on Information Systems, 8, 289-320.
40. OLSEN, D., MONK, M. A. & CURRY, M. (1995). Automatic dialogue analysis. Human-Computer Interaction, 10, 40-78.
41. PATERNÓ, F. (1993). Definition of properties of user interfaces using action based temporal logic. In 5th Conference in Software Engineering and Knowledge Engineering, Conference Proceedings, pp. 314-318.
42. PATERNÓ, F. (1997). Formal reasoning about dialogue properties with automatic support. Interacting with Computers, 9, 2.
43. PATERNÓ, F. & FACONTI, G. P. (1992). On the use of LOTOS to describe graphical interaction. In A. MONK, D. DIAPER, & M. HARRISON, Eds. People and Computer VII, Human-Computer Interaction, BCS-HCI Conference Proceedings, pp. 155-173. Cambridge: Cambridge University Press.
44. QUEMADA, J., PAVÓN, S. & FERNANDEZ, A. (1989) State exploration by transformation with LOLA. Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, June.
45. SHAW, M. & GARLAN, D. (1996). Software Architecture: Perspective on an Emerging Discipline. Englewood Cliffs: Prentice Hall.
46. SUFRIN, B. & HE, J. (1990). Specification analysis and refinement of interactive processes. In: M. D. HARRISON, & H. W. THIMBLEBY, Eds. Formal Methods in Human-Computer Interaction, pp. 153-200. Cambridge: Cambridge University Press.
47. THIMBLEBY, H. W. (1984). Generative user-engineering principles for user interface design. In B. SHACKEL, Ed. Proceedings INTERACT'84, pp. 661-666. Amsterdam: North-Holland.
48. TOOK, R. (1990). Putting design into practice: formal specification and the user interface. In M. D. HARRISON & H. THIMBLEBY, Eds. Formal Methods in Human-Computer Interaction, pp. 63-96.' Cambridge: Cambridge University Press.
49. VISSERS, C. A., SCOLLO, G., VAN Sinderen, M. & BRINKSMA, E. (1991). Specification styles in distributed systems design and verification. Theoretical Computer Science, 89, 179-206.
50. WILSON, S. & JOHNSON, P. (1996). Bridging the generation gap: From work tasks to user interface designs. In J. VANDERDONCKT, Ed. 2nd International Workshop on Computer-Aided Design of User Interface, CDUI'96, pp. 77-94. Presses Universitaires de Namur.
51. ZAVE, P. & JACKSON, M. (1996). Where do operations came from? A multiparadigm specification technique. IEEE Transactions on Software Engineering, 22, 508-528.