Skip to main content
SpringerLink
Log in

Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems

  • Published:
Computer Supported Cooperative Work (CSCW) Aims and scope Submit manuscript

Abstract

This paper reflects on experiences designing, developing, and working with users of a variety of interactive computer systems. The authors propose, based on these experiences, that the cause of a number of unexpected difficulties in human-computer interaction lies in users' unwillingness or inability to make structure, content, or procedures explicit. Besides recounting experiences with system use, this paper discusses why users reject or circumvent formalisms which require such explicit expression, and suggests how system designers can anticipate and compensate for problems users have in making implicit aspects of their tasks explicit. The authors propose computational approaches that address this problem, including incremental and system-assisted formalization mechanisms and methods for recognizing and using undeclared structure; they also propose non-computational solutions that involve designers and users reaching a shared understanding of the task situation and the methods that motivate the formalisms. This paper poses that, while it is impossible to remove all formalisms from computing systems, system designers need to match the level of formal expression entailed with the goals and situation of the users -- a design criteria not commonly mentioned in current interface design.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Bannon, L. (ed.) (1995): Commentaries and a Response in the Suchman-Winograd Debate. Computer Supported Cooperative Work, vol. 3,no. 1, pp. 29.

  • Blomberg, J., L. Suchman and R. Trigg (1994): Reflections on Work-Oriented Design in Three Voices. Social Science, Technical Systems, and Cooperative Work.

  • Brooks Jr., F.P. (April 1987): No Silver Bullet: Essence and Accidents of Software Engineering. IEEE Computer, vol. 20,no. 4, pp. 10-19.

    Google Scholar 

  • Brunet, L.W., C.T. Morrissey and G.A. Gorry (1991): Oral History and Information Technology: Human Voices of Assessment. Journal of Organizational Computing, vol. 1,no. 3, pp. 251-274.

    Google Scholar 

  • Bullen, C.V. and Bennett, J.L. (1990): Learning From User Experience With Groupware. Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW'90). New York: ACM.

    Google Scholar 

  • Carroll, J.M. and T.P. Moran (1991): Special Issue on Design Rational. Human-Computer Interaction, vol. 6,nos. 3–4.

  • Conklin, J. and M. Begeman (1988): gIBIS: A Hypertext Tool for Exploratory Policy Discussion. Proceedings of the Conference on Computer Supported Cooperative Work. New York: ACM.

    Google Scholar 

  • Conklin, E.J. and K.C. Yakemovic (1991): A Process-Oriented Approach to Design Rationale. Human Computer Interaction, Special Issue on Design Rationale, vol. 6,nos. 3–4, pp. 357-391.

    Google Scholar 

  • de Kleer, J. (1986): An Assumption-Based TMS. Artificial Intelligence, vol. 28, pp. 127-162.

    Google Scholar 

  • Dourish, P., J. Holmes, a. MacLean, P. Marqvardsen and A. Zbyslaw (November 1996): Free-flow: Mediating Between Representations and Action in Workflow Systems. Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW'96). New York: ACM.

    Google Scholar 

  • Ellis, C.A., S.J. Gibbs and G.L. Rein (1991): Groupware: Some Issues and Experiences. Communications of the ACM, vol. 34,no. 1, pp. 38-58.

    Google Scholar 

  • Eriksson, H. (1991): Meta-Tool Support for Knowledge Acquisition. Ph.D. dissertation, Linkoping, Sweden: Department of Computer Science, Linkoping University. Linkoping Studies in Science and Technology, Dissertations No. 244.

    Google Scholar 

  • Fischer, G., A.C. Lemke, R. McCall and A. Morch (1991): Making Argumentation Serve Design. Human Computer Interaction, vol. 6,nos. 3–4, pp. 393-419.

    Google Scholar 

  • Furnas, G.W., T.K. Landauer, L.M. Gomez and S.T. Dumais (November 1987): The Vocabulary Problem in Human-System Communication. Communication of the ACM, vol. 30,no. 11, pp. 964-971.

    Google Scholar 

  • Girgensohn, A. (1992): End-User Modifiability in Knowledge-Based Design Environments. Ph.D. dissertation, Boulder, CO: Department of Computer Science, University of Colorado. Also available as TechReport CU-CS-595-92.

    Google Scholar 

  • Glance, N., D. Pagani and R. Pareschi (November 1996): Generalized Process Structure Grammars (GPSG) for Flexible Representations of Work. Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW'96). New York: ACM.

    Google Scholar 

  • Gorry, G.A., R.M. Chamberlain, B.S. Price, M.E. DeBakey and A.M. Grotto (1978): Communication Patterns in a Biomedical Research Center. Journal of Medical Education, vol. 53, pp. 206-208.

    Google Scholar 

  • Greenbaum, J. and M. Kyng (eds.) (1991): Design at Work: Cooperative Design of Computer Systems. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.

    Google Scholar 

  • Grudin, J. (September 1988). Why CSCW Applications Fail: Problems in the Design and Evaluation of Organizational Interfaces. Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW'88). New York: ACM.

    Google Scholar 

  • Halasz, F.G. (July 1988). Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems. Communications of the ACM, vol. 31,no. 7, pp. 836-352.

    Google Scholar 

  • Halasz, F.G., T.P. Moran and R.H. Trigg (April 1987): NoteCards in a Nutshell. Human Factors in Computing Systems and Graphics Interface, CHI+GI'87 Conference Proceedings (Toronto, Canada). New York: ACM.

    Google Scholar 

  • Hutchins, E.L., J.D. Hollan and D.A. Norman (1986): Direct Manipulation Interfaces. In D.A. Norman and S.W. Draper (eds.): User Centered System Design, New Perspectives on Human-Computer Interaction. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.

    Google Scholar 

  • Kunz, W. and H.W.J. Rittel (1970): Issues as Elements of Information Systems Working Paper. Berkeley, CA: Center for Planning and Development Research, University of California.

    Google Scholar 

  • Lee, J. (October 1990): SIBYL: A Tool for Managing Group Decision Rationale. Proceedings of the Conference on Computer-Supported Cooperative Work. New York: ACM.

    Google Scholar 

  • MacLean, A., R. Young, V. Bellotti and T. Moran (1991): Questions, Options, and Criteria: Elements of a Design Rationale for User Interfaces. Human Computer Interaction.

  • Malone, T.W. (January 1983): How do People Organize Their Desks? Implications for the Design of Office Information Systems. ACM Transactions on Office Information Systems, vol. 1,no. 1, pp. 99-112.

    Google Scholar 

  • Malone, T.W., K.R. Grant, K.-Y. Lai, R. Rao and D. Rosenblitt (December 1986): Semi-Structured Messages are Surprisingly Useful for Computer-Supported Coordination. Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW'86). Austin, TX: MCC.

    Google Scholar 

  • Marshall, C., F. Halasz, R. Rogers and W. Janssen (1991): Aquanet: A Hypertext Tool to Hold Your Knowledge in Place. Hypertext '91 Conference.

  • Marshall, C.C. and R.A. Rogers (December 1992): Two Years Before the Mist: Experiences with Aquanet. Proceedings of the European Conference on Hypertext (ECHT '92). Milano, Italy.

  • Marshall, C. and F. Shipman (1995): Spatial Hypertext: Designing for Change. Communications of the ACM, vol. 38,no. 8, pp. 88-97.

    Google Scholar 

  • McCall, R., B. Schaab and W. Schuler (1983): An Information Station for the Problem Solver: System Concepts. In C. Keren and L. Perlmutter (eds.): Applications of Mini-and Microcomputers in Information, Documentation and Libraries. New York: Elsevier.

    Google Scholar 

  • Mittal, S. and C.L. Dym (1985): Knowledge Acquisition from Multiple Experts. AI Magazine, vol. 6,no. 2, pp. 32-36.

    Google Scholar 

  • Monty, M.L. (1990): Issues Supporting Notetaking and Note Using in the Computer Environment. Ph.D. dissertation, San Diego, CA: Department of Psychology, University of California, San Diego.

    Google Scholar 

  • Moran, T., P. Chui, B. vanMelle and G. Kurtenbach (1994): Implicit Structures for Pen-Based Systems Within a Freeform Interaction Paradigm Technical Report. 3333 Coyote Hill Road, Palo Alto, CA: Xerox Palo Alto Research Center.

    Google Scholar 

  • Musen, M. (1989): An Editor for the Conceptual Models of Interactive Knowledge-Acquisition Tools. International Journal of Man-Machine Studies, vol. 31, pp. 673-698.

    Google Scholar 

  • Nardi, B.A. and J.R. Miller (October 1990): A Ethnographic Study of Distributed Problem Solving in Spreadsheet Development. Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW'90). New York: ACM.

    Google Scholar 

  • Newman, S. and C. Marshall (1992): Pushing Toulmin Too Far: Learning from an Argument Representation Scheme Technical Report. 3333 Coyote Hill Road, Palo Alto, CA: Xerox Palo Alto Research Center.

    Google Scholar 

  • Norman, D.A. (1986): Cognitive Engineering. In D.A. Norman and S.W. Draper (eds.): User Centered System Design, New Perspective on Human-Computer Interaction. Hillsdale, NJ: Lawrence Erlbaum Associates, Inc.

    Google Scholar 

  • Peper, G., C. MacIntyre and J. Keenan (1989): Hypertext: A New Approach for Implementing an Expert System. Proceedings of ITL Expert Systems Conference.

  • Polanyi, M. (1966): The Tacit Dimension. Garden City, NY: Doubleday.

    Google Scholar 

  • Shipman, F. (1993): Supporting Knowledge-Base Evolution with Incremental Formalization. Ph.D. dissertation, Boulder, CO: Department of Computer Science, University of Colorado. Also available as TechReport CU-CS-658-93.

    Google Scholar 

  • Shipman, F., R. Chaney and T. Gorry (November 1989). Distributed Hypertext for Collaborative Research: The Virtual Notebook System. Proceedings of Hypertext'89 (Pittsburgh, PA). New York: ACM.

    Google Scholar 

  • Shipman, F. and R. McCall (1994): Supporting Knowledge-Base Evolution with Incremental Formalization. Human Factors in Computing Systems, INTERCHI'94 Conference Proceedings. ACM.

  • Shum, S. (1991): Cognitive Dimensions of Design Rationale. In D. Diaper and N.V. Hammond (eds.): People and Computers VI. Cambridge, UK: Cambridge University Press.

    Google Scholar 

  • Stevens, C. (1993): Helping Users Locate and Organize Information. Doctoral dissertation, Department of Computer Science, University of Colorado.

  • Suchman, L.A. (1987): Plans and Situated Actions. Cambridge, UK: Cambridge University Press.

    Google Scholar 

  • Suchman, L. (1994): Do Categories Have Politics? Computer Supported Cooperative Work, vol. 2,no. 3, pp. 177-190.

    Google Scholar 

  • Toulmin, S. (ed.) (1958): The Uses of Argument. UK: Cambridge University Press.

    Google Scholar 

  • Waterman, D.A. (ed.) (1986): A Guide to Expert Systems. Addison-Wesley.

  • Winograd, T. and F. Flores (1986): Understanding Computers and Cognition: A New Foundation for Design. Norwood, NJ: Ablex Publishing Corporation.

    Google Scholar 

  • Winograd, T. (1994): Categories, Disciplines, and Coordination? Computer Supported Cooperative Work, vol. 2,no. 3, pp. 191-197.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Texas A&M University, College Station, TX, 77843-3112

    Frank M. Shipman III & Catherine C. Marshall

Authors
  1. Frank M. Shipman III
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Catherine C. Marshall
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shipman, F.M., Marshall, C.C. Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems. Computer Supported Cooperative Work (CSCW) 8, 333–352 (1999). https://doi.org/10.1023/A:1008716330212

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008716330212

Search

Navigation