Journal article
Modeling Affordance Using Formal Methods
Proceedings of the Human Factors and Ergonomics Society Annual Meeting, v 61(1), pp 723-727
Sep 2017
Abstract
Affordances, or the physical interactions that an environment allows for a particular agent, are critical to the design of human-interactive systems. Researchers are developing formal models of human-device interaction that can be used to verify procedures, displays, and controls; however, no formal approaches to guide design exist for affordances. This paper presents such an approach. To model affordance formally, we instantiate an extant formalism from ecological psychology. A human-environment system model represents physical entities in an environment, properties such as 3-D spatial relations among them, and motor capabilities of a human operator. An application is demonstrated in an aircraft cabin door case study, and verification results aid in identifying an undesirable situation involving door openability.
Metrics
10 Record Views
7 citations in Scopus
Details
- Title
- Modeling Affordance Using Formal Methods
- Creators
- Andrew J. Abbate - Drexel UniversityEllen J. Bass - Drexel University
- Publication Details
- Proceedings of the Human Factors and Ergonomics Society Annual Meeting, v 61(1), pp 723-727
- Publisher
- Sage
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Information Science
- Scopus ID
- 2-s2.0-85042474946
- Other Identifier
- 991019174003504721