{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T23:09:47Z","timestamp":1723676987243},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[1999,12,1]],"date-time":"1999-12-01T00:00:00Z","timestamp":944006400000},"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":[[1999,12]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>Software systems are not just mathematical structures. The majority are also cognitive artefacts that rely on the ability of their users to understand and interpret information provided via an interface, and to act on that information using actions provided by the system. The design of an interactive system must thus account for both the technical requirements of the given domain, and the cognitive abilities of the user. However, the disciplines involved (computer science and psychology) traditionally operate with quite different methods and techniques, making it difficult to integrate their respective insights into system design. This paper reports on work that is creating a framework for interaction that encompasses both the description of complex software systems and the cognitive resources needed to operate those systems. An interface for supporting gestural interaction is used to illustrate the approach. The paper concludes with  \nan assessment of the prospects for this kind of integrative modeling and sets out key areas for future progress.<\/jats:p>","DOI":"10.1007\/s001659970004","type":"journal-article","created":{"date-parts":[[2002,10,6]],"date-time":"2002-10-06T15:32:07Z","timestamp":1033918327000},"page":"665-689","source":"Crossref","is-referenced-by-count":9,"title":["The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer Interaction"],"prefix":"10.1145","volume":"11","author":[{"given":"David","family":"Duke","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of York, York, UK, , , , , , GB"}]},{"given":"David","family":"Duce","sequence":"additional","affiliation":[{"name":"Oxford Brookes University, School of Computing and Mathematical Sciences, Oxford, UK, , , , , , GB"}]}],"member":"320","reference":[{"key":"p_1","first-page":"143","volume-title":"Proceedings of INTERACT'90","author":"Abo","year":"1990"},{"key":"p_3","volume-title":"Progress in the Psychology of Language","author":"Bar","year":"1985"},{"key":"p_4","volume-title":"Human Computer Interaction","author":"Bellotti V.","year":"1996"},{"key":"p_6","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1006\/ijhc.1997.0116","article-title":"Integrating user and computer system concerns in the design of interactive systems","volume":"46","author":"Bl","year":"1997","journal-title":"International Journal of Human-Computer Studies"},{"key":"p_7","first-page":"211","volume-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","author":"Ba","year":"1995"},{"issue":"3","key":"p_8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-8659.1230001","article-title":"A dynamic gesture language and graphical feedback for interaction in a 3d user interface","volume":"12","author":"Bo","year":"1993","journal-title":"Computer Graphics Forum"},{"key":"p_9","first-page":"15","volume-title":"Eurographics Workshop on Design, Specification and Verification of Interactive Systems","author":"Ba","year":"1995"},{"key":"p_10","series-title":"Lecture Notes in Computer Science","first-page":"256","volume-title":"Formal Techniques in Programming and Their Applications","author":"Cha","year":"1993"},{"key":"p_12","first-page":"183","volume-title":"Symposium on Interactive 3D Graphics","author":"Connor D. B.","year":"1992"},{"key":"p_13","first-page":"313","volume-title":"APSEC'95: Second Asia-Pacific Software Engineering Conference","author":"Duke D. J.","year":"1995"},{"key":"p_14","volume-title":"Abstract Interaction Objects. Computer Graphics Forum, 12(3):C-25 - C-36","author":"Du","year":"1993"},{"key":"p_15","doi-asserted-by":"crossref","unstructured":"[\n      Du\n    H94] Duke D. J. and \n      Harrison M. D\n  .: \n  A theory of presentations\n  . In M. Naftalin T. Denvir and M. Bertran editors FME'94: Industrial Benefit of Formal Methods volume \n  873\n   of \n  Lecture Notes in Computer Science pages \n  271\n  -\n  290\n  . \n  Springer-Verlag 1994\n  .","DOI":"10.1007\/3-540-58555-9_100"},{"key":"p_16","first-page":"333","volume-title":"Eurographics Workshop on Design, Specification and Verification of Interactive Systems, Focus on Computer Graphics","author":"Du","year":"1995"},{"key":"p_17","first-page":"54","volume-title":"DSV-IS'95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems","author":"Du","year":"1995"},{"key":"p_18","volume-title":"Formal Methods for Interactive Systems","author":"Dix","year":"1991"},{"key":"p_19","first-page":"3443","volume-title":"Proceedings IEEE International Conference on Systems, Man and Cybernetics","author":"De","year":"1995"},{"issue":"3","key":"p_20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1111\/j.1467-8659.1995.cgf143_0055.x","article-title":"Reasoning about gestural interaction","volume":"14","author":"Duk","year":"1995","journal-title":"Computer Graphics Forum"},{"key":"p_21","first-page":"25","volume-title":"Formal Methods in Human Computer Interaction","author":"Duk","year":"1997"},{"key":"p_22","volume-title":"DSV-IS'96: Eurographics Workshop on Design, Specification and Verification of Interactive Systems. Springer-Verlag","author":"Fa","year":"1996"},{"key":"p_23","volume-title":"Proceedings of Eurographics '90","author":"Fa","year":"1990"},{"issue":"3","key":"p_24","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","article-title":"Temporal reasoning over deontic specifications","volume":"1","author":"Fi","year":"1991","journal-title":"Journal of Logic and Computation"},{"key":"p_25","first-page":"18","volume-title":"Second IEEE International Symposium on Requirements Engineering (RE'95)","author":"Fields B.","year":"1995"},{"key":"p_26","first-page":"51","volume-title":"People in Control: An International Conference on Human Interfaces in Control rooms, Cockpits and Command Centres","author":"Go","year":"1999"},{"key":"p_27","first-page":"129","volume-title":"Formal Methods in Human Computer Interaction","author":"Ha","year":"1990"},{"key":"p_28","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1207\/s15516709cog1903_1","article-title":"How a cockpit remembers its speed","volume":"19","author":"Hut","year":"1995","journal-title":"Cognitive Science"},{"key":"p_29","volume-title":"Human Computer Interaction: Psychology, Task Analysis and Software Engineering","author":"Joh","year":"1992"},{"key":"p_30","volume-title":"C","author":"Jon","year":"1990"},{"key":"p_31","first-page":"208","volume-title":"Proc. of the IEEE International Workshop on Requirements Engineering","author":"Kent S. J.","year":"1993"},{"key":"p_32","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0020-7373(85)80045-6","article-title":"An approach to the formal analysis of user complexity","volume":"22","author":"Ki","year":"1985","journal-title":"International Journal of Man-Machine Studies"},{"key":"p_33","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF01099424","article-title":"Using structural descriptions of interfaces to automate the modeling of user cognition","volume":"3","author":"May J.","year":"1993","journal-title":"User Modelling and User Adaptive Interfaces"},{"key":"p_34","first-page":"76","volume-title":"DSV-IS'95: Eurographics Workshop on Design, Specification and Verification of Interactive Systems","author":"Mo T.G.","year":"1995"},{"key":"p_35","volume-title":"Design, Specification and Verification of Interactive Systems'98","author":"Ma","year":"1998"},{"key":"p_36","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/108844.108870","volume-title":"Proc. CHI'91","author":"Mackinlay J. D.","year":"1991"},{"issue":"1","key":"p_37","doi-asserted-by":"crossref","DOI":"10.1145\/237432.237438","article-title":"A graphical environment for design of concurrent real-time systems","volume":"6","author":"Moser L. E.","year":"1997","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"p_38","volume-title":"Structuring Displays: A Psychological Guide. Eurographics Tutorial Notes","author":"May J.","year":"1995"},{"key":"p_39","volume-title":"editors","author":"Me","year":"1993"},{"key":"p_40","volume-title":"Specification and Verification: First Eurographics Workshop","author":"Pat","year":"1994"},{"key":"p_41","volume-title":"editors","author":"Pa","year":"1995"},{"key":"p_42","volume-title":"editors","author":"Pa","year":"1997"},{"key":"p_43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/3-540-54415-1_65","volume-title":"Theoretical Aspects of Computer Software","author":"Ryan M.","year":"1991"},{"key":"p_44","first-page":"464","volume-title":"People and Computers: Designing for Usability","author":"Ru C.","year":"1986"},{"key":"p_45","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1145\/108844.108883","volume-title":"Proc. CHI'91","author":"Robertson J.D.","year":"1991"},{"key":"p_46","first-page":"481","volume-title":"Diagrammatic Reasoning: Cognitive and Computational Perspectives","author":"Rog","year":"1995"},{"key":"p_47","volume-title":": The Z Notation: A Reference Manual","author":"Spi","year":"1992"},{"key":"p_48","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_49","series-title":"Lecture Notes in Computer Science","first-page":"660","volume-title":"H. Langmaack, W.-P","author":"Sk","year":"1994"},{"key":"p_50","volume-title":"Plans and situated actions: the problem of human-machine communication","author":"Suc","year":"1987"},{"key":"p_51","volume-title":"Affect, Cognition and Change: Re-modeling Depressive Thought","author":"Te","year":"1993"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001659970004.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001659970004\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001659970004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:33:17Z","timestamp":1641483197000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001659970004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,12]]},"references-count":48,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1999,12]]}},"alternative-id":["10.1007\/s001659970004"],"URL":"https:\/\/doi.org\/10.1007\/s001659970004","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,12]]}}}