{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T21:10:43Z","timestamp":1738530643993,"version":"3.35.0"},"reference-count":59,"publisher":"Association for Computing Machinery (ACM)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2009,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional capture in the context of Barnard\u2019s key-distractor Attentional Blink task. This model captures core aspects of the allocation of human attention over time and as such should be applicable across a range of practical settings when human attentional limitations come into play. In addition, this model simulates human electrophysiological data, such as electroencephalogram recordings, which can be compared to real electrophysiological data recorded from human participants. We have used this model to evaluate the performance trade-offs that would arise from varying key parameters and applying either a constructive or a reactive approach to improving interactive systems in a stimulus rich environment. A strength of formal methods is that they are abstract and the resulting specifications of the operator are general purpose, ensuring that our findings are broadly applicable. Thus, we argue that new modelling techniques from computer science can also be employed in computational modelling of the mind. These would complement existing techniques, being specifically targeted at psychological level modelling, in which it is advantageous to directly represent the distribution of control.<\/jats:p>","DOI":"10.1007\/s00165-008-0094-3","type":"journal-article","created":{"date-parts":[[2008,11,18]],"date-time":"2008-11-18T12:33:30Z","timestamp":1227011610000},"source":"Crossref","is-referenced-by-count":10,"title":["Process algebraic modelling of attentional capture and human electrophysiology in interactive systems"],"prefix":"10.1145","volume":"21","author":[{"given":"Li","family":"Su","sequence":"first","affiliation":[{"name":"Centre for Cognitive Neuroscience and Cognitive Systems, University of Kent, Canterbury, UK"},{"name":"Section of Cognitive Neuropsychiatry, Department of Psychological Medicine, Institute of Psychiatry at King\u2019s College London, Box P068, De Crespigny Park, SE5 8AF, London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Howard","family":"Bowman","sequence":"additional","affiliation":[{"name":"Centre for Cognitive Neuroscience and Cognitive Systems, University of Kent, Canterbury, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Barnard","sequence":"additional","affiliation":[{"name":"MRC Cognition and Brain Sciences Unit, Cambridge, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brad","family":"Wyble","sequence":"additional","affiliation":[{"name":"Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.1152\/jn.1993.70.4.1629"},{"volume-title":"Rules of the mind","year":"1993","author":"Anderson JR","key":"e_1_2_1_2_2_2"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1037\/0096-3445.134.2.258"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"publisher","DOI":"10.5555\/560711"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Barnard PJ (1999) Interacting cognitive subsystems: modelling working memory phenomena within a multi-processor architecture Models of Working Memory: Mechanisms of active maintenance and executive control pp 298\u2013339","DOI":"10.1017\/CBO9781139174909.012"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.0956-7976.2004.01503006.x"},{"issue":"3","key":"e_1_2_1_2_7_2","first-page":"297","article-title":"Rendering information processing models of cognition and affect computationally explicit: distributed executive control and the deployment of attention","volume":"3","author":"Barnard PJ","year":"2003","journal-title":"Cogn Sci Q"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1080\/13506280444000139"},{"issue":"4","key":"e_1_2_1_2_9_2","first-page":"331","article-title":"User adaptive BCIs: SSVEP and P300 based interfaces","volume":"1","author":"Beverina F","year":"2003","journal-title":"Psychnology"},{"key":"e_1_2_1_2_10_2","first-page":"25","article-title":"Introduction to the ISO specification language LOTOS","volume":"14910","author":"Bolognesi T","year":"1988","journal-title":"Comput Netw ISDN Syst"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1002\/(SICI)1098-2345(199912)49:4<315::AID-AJP3>3.0.CO;2-V","article-title":"Describing behavioural states using a system model of the primate brain","volume":"49","author":"Bond AH","year":"1999","journal-title":"Am J Primatol"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.4.230"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050045"},{"volume-title":"Concurrency theory, calculi and automata for modelling untimed and timed concurrent systems","year":"2006","author":"Bowman H","key":"e_1_2_1_2_14_2"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.114.1.38"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139174794","volume-title":"On the self-regulation of behaviour","author":"Carver CS","year":"1998"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"publisher","DOI":"10.1037\/0096-1523.21.1.109"},{"key":"e_1_2_1_2_18_2","unstructured":"Cilliers PJ Van Der Kouwe AJW (1993) A VEP-based computer interfcae for C2-Quadriplegics. Engineering in Medicine and Biology Society 1993. In: Proceedings of the 15th Annual International Conference of the IEEE vol 15(3) pp 1263\u20131624"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00112-3"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Craston P Wyble B Chennu S Bowman H (2008) The attentional blink reveals serial working memory encoding: evidence from virtual and human event-related potentials. J Cogn Neurosci (in press)","DOI":"10.1162\/jocn.2009.21036"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1469-8986.1981.tb01815.x"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1207\/s15327051hci1304_1"},{"key":"e_1_2_1_2_23_2","unstructured":"Ehrig H Fey W Hansen H (1983) ACT ONE\u2014an algebraic specification language with two levels of semantics ADT"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5929.001.0001","volume-title":"Rethinking innateness: a connectionist perspective on development, a Bradford book","author":"Elman JL","year":"1996"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5371(81)90165-1"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0277(88)90031-5"},{"key":"e_1_2_1_2_27_2","first-page":"13","article-title":"An overview of CADP 2001","volume":"4","author":"Garavel H","year":"2002","journal-title":"EASST Newsl"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100044"},{"key":"e_1_2_1_2_29_2","unstructured":"Gomez ME Santonja V (1998) Self-similiary in I\/O workload: analysis and modeling. In: Workshop on Workload Characterization"},{"key":"e_1_2_1_2_30_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.0956-7976.2005.00796.x"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_2_1_2_32_2","first-page":"183","volume-title":"Insights into working memory from the perspective of the EPIC architecture for modelling skilled perceptual-motor and cognitive human performance, Models of Working Memory, Mechanisms of Active Maintenance and Executive Control","author":"Kieras DE","year":"1999"},{"key":"e_1_2_1_2_33_2","first-page":"1","volume-title":"Perception of emotion in self and others, vol 5","author":"Leventhal H","year":"1979"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/86.847809"},{"issue":"1","key":"e_1_2_1_2_35_2","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1037\/h0083263","article-title":"The duration of the visual image","volume":"17","author":"Mackworth J","year":"1963","journal-title":"Can J Paychol"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"publisher","DOI":"10.1037\/0096-1523.23.4.1014"},{"key":"e_1_2_1_2_37_2","first-page":"1107","article-title":"Improving transfer rates in brain computer interfacing: a case study","volume":"15","author":"Meinicke P","year":"2003","journal-title":"Adv Neural Inform Process Syst"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0001-2998(78)80014-2"},{"key":"e_1_2_1_2_39_2","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.104.1.3"},{"volume-title":"Communication and concurrency","year":"1989","author":"Milner R","key":"e_1_2_1_2_40_2"},{"key":"e_1_2_1_2_41_2","doi-asserted-by":"publisher","DOI":"10.5555\/86564"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2014.001.0001","volume-title":"Computational explorations in cognitive neuroscience: understanding the mind by simulating the brain, a Bradford book","author":"O\u2019Reilly RC","year":"2000"},{"key":"e_1_2_1_2_43_2","doi-asserted-by":"publisher","DOI":"10.1037\/0096-1523.18.3.849"},{"key":"e_1_2_1_2_44_2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1080\/net.12.2.89.109","article-title":"A model of the interaction between mood and memory","volume":"12","author":"Rolls ET","year":"2001","journal-title":"Netw: Comput Neural Syst"},{"volume-title":"Neural networks and brain function","year":"1998","author":"Rolls ET","key":"e_1_2_1_2_45_2"},{"volume-title":"Parallel distributed processing, explorations in the microstructure of cognition. Volume 1: Foundations and Volume 2: Psychological and Biological Models, a Bradford book","year":"1986","author":"Rumelhart DE","key":"e_1_2_1_2_46_2"},{"key":"e_1_2_1_2_47_2","doi-asserted-by":"publisher","DOI":"10.1152\/jn.1998.79.6.3272"},{"key":"e_1_2_1_2_48_2","doi-asserted-by":"publisher","DOI":"10.1037\/0096-1523.23.2.504"},{"key":"e_1_2_1_2_49_2","unstructured":"Shapiro KL Luck SJ (1999) The attentional blink: a front-end mechanism for fleeting memories. In: Fleeting memories cognition of brief visual stimuli A Bradford book. MIT Press Boston pp 95\u2013118"},{"key":"e_1_2_1_2_50_2","doi-asserted-by":"publisher","DOI":"10.1037\/0096-3445.117.1.34"},{"key":"e_1_2_1_2_51_2","doi-asserted-by":"publisher","DOI":"10.1016\/0013-4694(75)90263-1"},{"key":"e_1_2_1_2_52_2","unstructured":"Su L Bowman H Barnard PJ (2007) Attentional capture by meaning: a multi-level modelling study. In: Proceedings of the 29th Annual Cognitive Science Society. Cognitive Science Society Austin pp 1521\u20131526"},{"key":"e_1_2_1_2_53_2","doi-asserted-by":"crossref","unstructured":"Su L Bowman H Barnard PJ (2008) Performance of reactive interfaces in stimulus rich environments applying formal methods and cognitive frameworks. In: The 2nd International Workshop on Formal Methods for Interactive Systems FMIS2007 (held in conjunction with HCI2007) Electronic Notes in Theoretical Computer Science vol 208. Elsevier Amsterdam pp 95\u2013111","DOI":"10.1016\/j.entcs.2008.03.109"},{"volume-title":"Affect, cognition and change: re-modelling depressive thought","year":"1993","author":"Teasdale JD","key":"e_1_2_1_2_54_2"},{"key":"e_1_2_1_2_55_2","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.bb.02.060173.001105"},{"issue":"6","key":"e_1_2_1_2_56_2","doi-asserted-by":"crossref","first-page":"1656","DOI":"10.1037\/0096-1523.24.6.1656","article-title":"Electrophysiological evidence for a postperceptual locus of suppression during the attentional blink","volume":"24","author":"Vogel EK","year":"1998","journal-title":"J Exp Psychol Hum Percept Perform"},{"key":"e_1_2_1_2_57_2","unstructured":"Wang M Madhyastha T Chan NH Papadimitriou S Faloutsos C (2002) Data mining meets performance evaluation: fast algorithms for modeling bursty traffic. In: 18th International Conference on Data Engineering"},{"key":"e_1_2_1_2_58_2","unstructured":"Wyble B Bowman H (2005) Computational and experimental evaluation of the attentional blink: testing the simultaneous type serial token model. In: Bara BG Barsalou LW Bucciarelli M (eds) CogSci 2005 XXVII Annual Conference of the Cognitive Science Society. Cognitive Science Society Cognitive Science Society through Lawrence Erlbaum Austin pp 2371\u20132376"},{"key":"e_1_2_1_2_59_2","unstructured":"Wyble B Craston P Bowman H (2006) Electrophysiological feedback in adaptive human\u2013computer interfaces Technical Report 8-06 Computing Laboratory University of Kent Canterbury UK"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-008-0094-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T20:52:43Z","timestamp":1738529563000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-008-0094-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":59,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["10.1007\/s00165-008-0094-3"],"URL":"https:\/\/doi.org\/10.1007\/s00165-008-0094-3","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"type":"print","value":"0934-5043"},{"type":"electronic","value":"1433-299X"}],"subject":[],"published":{"date-parts":[[2009,12]]},"article-number":"s00165-008-0094-3"}}