{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:32:48Z","timestamp":1742380368352},"reference-count":35,"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>Much of the behaviour of an interactive system is determined by its user population. This paper describes how assumptions about the user can be brought into system models in order to reason about their behaviour. We describe a system model containing reasonable assumptions about the user as being \u2018cognitively plausible\u2019. Before asserting the plausibility of a model however we must first be able to make the assumptions made in that model inspectable.<\/jats:p>\n          <jats:p>\n            There is a tension between the inspectability of user assumptions and the tractability of models; inspectable models tend to not be very tractable and\n            <jats:italic>vice versa<\/jats:italic>\n            . We describe how we can get round this tension, by deriving tractable models from explicit user assumptions. The resulting models may not of themselves be very inspectable to human-factors workers, but the process by which they are derived is inspectable. Hence we claim that we can have both tractability and inspectability. We exemplify our claims using a simple cognitive model and \u2018Meeting Maker\u2019, an interactive electronic diary system.\n          <\/jats:p>","DOI":"10.1007\/s001650070021","type":"journal-article","created":{"date-parts":[[2002,10,6]],"date-time":"2002-10-06T15:18:47Z","timestamp":1033917527000},"page":"237-259","source":"Crossref","is-referenced-by-count":32,"title":["Demonstrating the Cognitive Plausibility of Interactive System Specifications"],"prefix":"10.1145","volume":"12","author":[{"given":"Richard","family":"Butterworth","sequence":"first","affiliation":[{"name":"School of Computing Science, Middlesex University, London, UK, , , , , , GB"}]},{"given":"Ann","family":"Blandford","sequence":"additional","affiliation":[{"name":"School of Computing Science, Middlesex University, London, UK, , , , , , GB"}]},{"given":"David","family":"Duke","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of York, York, UK, , , , , , GB"}]}],"member":"320","reference":[{"key":"p_1","volume-title":"The Architecture of Cognition. Cognitive Science","author":"And","year":"1983"},{"key":"p_2","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-7091-9437-9_11","volume-title":"Proceedings of Design, Specification and Verification of Interactive Systems \u201895","author":"Bumbulis P.","year":"1995"},{"key":"p_3","first-page":"197","volume-title":"Progress in the Psychology of Language","author":"Bar","year":"1985"},{"issue":"1","key":"p_4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1207\/s15516709cog2101_2","article-title":"A working memory model of a common procedural error","volume":"21","author":"By","year":"1997","journal-title":"Cognitive Science"},{"key":"p_5","first-page":"417","volume-title":"The principle of rationality and models of highly interactive systems","author":"Bu","year":"1999"},{"key":"p_6","volume-title":"The roles played by models of interactive systems. Submitted for journal publication. It is available as PUMA working paper WP23. See the world wide web","author":"Bu","year":"1999"},{"key":"p_7","first-page":"87","volume-title":"Markopoulos and Johnson [MaJ98]","author":"Butterworth R."},{"key":"p_8","first-page":"176","volume-title":"Formal Aspects of the Human-Computer Interaction","author":"Butterworth R.","year":"1998"},{"key":"p_9","first-page":"43","volume-title":"Harrison and Torres [HaT97]","author":"Blandford A."},{"key":"p_10","first-page":"129","volume-title":"Proceedings of B-98","author":"Ba","year":"1998"},{"key":"p_11","first-page":"91","volume-title":"Separating user and device descriptions for modelling interactive problem solving","author":"Bl","year":"1995"},{"key":"p_12","volume-title":"The Psychology of Human-Computer Interaction","author":"Card S.","year":"1983"},{"issue":"4","key":"p_13","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1207\/s15327051hci1304_1","article-title":"Syndetic modelling","volume":"13","author":"Duke D. J.","year":"1998","journal-title":"Human-Computer Interaction"},{"key":"p_14","first-page":"261","volume-title":"Proceedings of Z User Workshop","author":"de Barros R. S. M.","year":"1991"},{"issue":"3","key":"p_15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1111\/1467-8659.1230025","article-title":"Abstract interaction objects","volume":"12","author":"Du","year":"1993","journal-title":"Computer Graphics Forum"},{"key":"p_16","volume-title":"A Discipline of Programming","author":"Dij","year":"1976"},{"key":"p_17","series-title":"Computers and People Series","volume-title":"Formal Methods for Interactive Systems","author":"Dix","year":"1991"},{"key":"p_18","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_19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/3-540-52513-0_16","volume-title":"Proc. VDM'90: VDM and Z - Formal Methods in Software Development","author":"Hal","year":"1990"},{"key":"p_20","volume-title":"editors","author":"Ha","year":"1990"},{"key":"p_21","volume-title":"editors","author":"Ha","year":"1997"},{"issue":"4","key":"p_22","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1145\/235833.236054","article-title":"The GOMS family of user interface evaluation techniques: comparison and contrast","volume":"3","author":"Jo","year":"1996","journal-title":"ACM Transactions on Computer-Human Interaction"},{"issue":"4","key":"p_23","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1145\/235833.236050","article-title":"Using GOMS for user interface design and evaluation: which technique?","volume":"3","author":"Jo","year":"1996","journal-title":"ACM Transactions on Computer-Human Interaction"},{"issue":"3","key":"p_24","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","article-title":"The temporal logic of actions","volume":"16","author":"Lam","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"p_25","volume-title":"editors","author":"Ma","year":"1998"},{"key":"p_26","volume-title":"Programming from Specifications","author":"Mor","year":"1990"},{"key":"p_27","volume-title":"Epistemic Logic for AI and Computer Science","author":"Mv","year":"1995"},{"key":"p_28","first-page":"1","volume-title":"AI Magazine","author":"New","year":"1981"},{"key":"p_29","volume-title":"Unified theories of cognition","author":"New","year":"1990"},{"key":"p_30","first-page":"383","volume-title":"Interactive Systems: Design, Specification and Verification","author":"Pa","year":"1995"},{"key":"p_31","volume-title":"Formal Methods in Human-Computer Interaction. Formal approaches to computing and information technology","author":"Pa","year":"1998"},{"key":"p_32","volume-title":"Human error","author":"Rea","year":"1990"},{"key":"p_33","first-page":"569","volume-title":"Proceedings on the International Conference on Theoretical Aspects of Computer Science","author":"Ryan M.","year":"1991"},{"key":"p_34","series-title":"Series in Computer Science","volume-title":"The Z Notation: A Reference Manual","author":"Spi","year":"1989"},{"key":"p_36","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/67449.67453","volume-title":"Proceedings of CHI '89: Human Factors in Computing Systems","author":"Young R.","year":"1989"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650070021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650070021\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650070021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:42:08Z","timestamp":1641483728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650070021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["10.1007\/s001650070021"],"URL":"https:\/\/doi.org\/10.1007\/s001650070021","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}