{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:40Z","timestamp":1748072800566},"reference-count":21,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2000,12]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>\n            Formal approaches to the design of interactive systems rely on reasoning about properties of the system at a very high level of abstraction. Specifications to support such an approach typically provide little scope for reasoning about presentations and the\n            <jats:italic>representation<\/jats:italic>\n            of information in the presentation. In contrast, psychological theories such as distributed cognition place a strong emphasis on the role of representations, and their perception by the user, in the cognitive process. However, the post-hoc techniques for the observation and analysis of existing systems which have developed out of the theory do not help us in addressing such issues at the design stage. Mn this paper we show how a formalisation can be used to investigate the representational aspects of an interface. Our goal is to provide a framework to help identify and resolve potential problems with the representation of information, and to support understanding of representational issues in design. We present a model for linking properties at the abstract and perceptual levels, and illustrate its use in a case study of a ight deck instrument. There is a widespread consensus that proper tool support is a prerequisite for the adoption of formal techniques, but the use of such tools can have a profound effect on the process itself. In order to explore this issue, we apply a higher-order logic theorem prover to the analysis.\n          <\/jats:p>","DOI":"10.1007\/pl00003934","type":"journal-article","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T17:46:16Z","timestamp":1140198376000},"page":"260-277","source":"Crossref","is-referenced-by-count":12,"title":["Representational Reasoning and Verification"],"prefix":"10.1145","volume":"12","author":[{"given":"Gavin J.","family":"Doherty","sequence":"first","affiliation":[{"name":"Human Computer Interaction Group, University of York, UK, , , , , , GB"}]},{"given":"Jos\u00e9 C.","family":"Campos","sequence":"additional","affiliation":[{"name":"Human Computer Interaction Group, University of York, UK, , , , , , GB"}]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[{"name":"Human Computer Interaction Group, University of York, UK, , , , , , GB"}]}],"member":"320","reference":[{"key":"p_1","volume-title":"Proceedings of 9th International Conference on Theorem Proving in Higher Order Logics","volume":"1125","author":"Age","year":"1996"},{"key":"p_2","volume-title":"Department of Computer Science","author":"Cam","year":"1999"},{"issue":"2","key":"p_3","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/108360.108361","article-title":"A task-analytic approach to the automated design of graphic presentations","volume":"10","author":"Cas","year":"1991","journal-title":"ACM Transactions on Graphics"},{"key":"p_4","first-page":"109","volume-title":"Harrison and Torres [HaT97]","author":"Ca"},{"key":"p_5","first-page":"167","volume-title":"Using automated reasoning in the design of an audio-visual communication system","author":"Ca","year":"1999"},{"key":"p_6","volume-title":"Proceedings of Eurographics '93","author":"Du","year":"1993"},{"key":"p_7","unstructured":"[DoH97] Doherty G. and Harrison M. D.: A representational approach to the specification of presentations. In Harrison and Torres [HaT97]."},{"key":"p_8","volume-title":"editor","author":"Dia","year":"1989"},{"key":"p_9","volume-title":"editors","author":"Ha","year":"1990"},{"key":"p_10","volume-title":"4th Eurographics Workshop on Design, Specification, and Verification of Interactive Systems, Springer Computer Science. Springer Wien","author":"Ha","year":"1997"},{"key":"p_11","volume-title":"Cognition in the Wild","author":"Hut","year":"1995"},{"key":"p_12","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1207\/s15516709cog1903_1","article-title":"How a cockpit remembers its speeds","volume":"19","author":"Hut","year":"1995","journal-title":"Cognitive Science"},{"key":"p_13","series-title":"Eurographics Tutorial Notes Series","volume-title":"Structuring Displays: A Psychological Guide","author":"May J.","year":"1995"},{"key":"p_14","volume-title":"SRI Internatinal, Menlo Park CA 94025, USA, (beta release) edition","author":"Owre S.","year":"1993"},{"key":"p_15","doi-asserted-by":"crossref","DOI":"10.1177\/088453369801300211","volume-title":"editors","author":"Pa","year":"1998"},{"key":"p_16","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1006\/ijhc.1996.0048","article-title":"External cognition: how do graphical representations work?","volume":"45","author":"Sc","year":"1996","journal-title":"International Journal of Human-Computer Studies"},{"key":"p_17","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1126\/science.103.2684.677","article-title":"On the theory of scales of measurement","volume":"103","author":"Ste","year":"1946","journal-title":"Science"},{"key":"p_18","first-page":"5","volume-title":"Proceedings of ECCE8: European Conference on Cognitive Ergonomics","author":"Wright P. C.","year":"1996"},{"key":"p_19","volume-title":"Behind human error: Cognitive systems, computers and hindsight. State-of-the-Art Report SOAR 94-01","author":"Woods D. D.","year":"1994"},{"key":"p_20","volume-title":"International journal of human computer studies, 45","author":"Zha","year":"1996"},{"key":"p_21","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1207\/s15516709cog1801_3","article-title":"Representations in distributed cognitive tasks","volume":"18","author":"Zh","year":"1994","journal-title":"Cognitive Science"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/PL00003934.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/PL00003934\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/PL00003934","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:42:29Z","timestamp":1641483749000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/PL00003934"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["10.1007\/PL00003934"],"URL":"https:\/\/doi.org\/10.1007\/pl00003934","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}