Verification-guided modelling of salience and cognitive load
Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical...
Gespeichert in:
| Veröffentlicht in: | Formal aspects of computing 2009-12, Vol.21 (6), p.541-569, Article s00165-008-0102-7 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 569 |
|---|---|
| container_issue | 6 |
| container_start_page | 541 |
| container_title | Formal aspects of computing |
| container_volume | 21 |
| creator | Rukšėnas, Rimvydas Back, Jonathan Curzon, Paul Blandford, Ann |
| description | Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture, based on higher-order logic and developed for the formal verification of usability properties. The interface of a fire engine dispatch task from the empirical studies is then formally modelled and verified. The outcomes of this verification and their comparison with the empirical data provide a way of assessing our salience and load rules. They also guide further iterative refinements of these rules. Furthermore, the juxtaposition of the outcomes of formal analysis and empirical studies suggests new experimental hypotheses, thus providing input to researchers in cognitive science. |
| doi_str_mv | 10.1007/s00165-008-0102-7 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_hal_p</sourceid><recordid>TN_cdi_hal_primary_oai_HAL_hal_00534920v1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1899637481</sourcerecordid><originalsourceid>FETCH-LOGICAL-c454t-82ed8db77d1179c38ff3e2bed3df98a741504e093fdd6a2fd6dfd7610962a80b3</originalsourceid><addsrcrecordid>eNqFkUFLxDAUhIMouK7-AG_Fg-Ah-pK0TQJeFlFXWPCi4i1km6Rm6TZr0y74781SURDE04PHN8MMg9ApgUsCwK8iACkLDCAwEKCY76EJyRnDVMrXfTQByXJcQM4O0VGMq0QXkpAJun6xnXe-0r0PLa4Hb6zJ1sHYpvFtnQWXRd1421Y2063JqlC3vvdbmzVBm2N04HQT7cnXnaLnu9unmzlePN4_3MwWuMqLvMeCWiPMknNDCJcVE84xS5fWMOOk0DwnKZhNCZ0xpabOlMYZXhKQJdUClmyKLkbfN92oTefXuvtQQXs1ny3U7gdQsFxS2JLEno_spgvvg429WvtYpTq6tWGIipU5I4LSf0FKaCkpLxJ49gtchaFrU2FFgRVC8lIkiIxQ1YUYO-u-cxJQu4XUuFCKKtRuIcWTho6amNi2tt2P8d-iTzEukZg</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>203589768</pqid></control><display><type>article</type><title>Verification-guided modelling of salience and cognitive load</title><source>Springer Nature - Complete Springer Journals</source><source>Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals</source><creator>Rukšėnas, Rimvydas ; Back, Jonathan ; Curzon, Paul ; Blandford, Ann</creator><creatorcontrib>Rukšėnas, Rimvydas ; Back, Jonathan ; Curzon, Paul ; Blandford, Ann</creatorcontrib><description>Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture, based on higher-order logic and developed for the formal verification of usability properties. The interface of a fire engine dispatch task from the empirical studies is then formally modelled and verified. The outcomes of this verification and their comparison with the empirical data provide a way of assessing our salience and load rules. They also guide further iterative refinements of these rules. Furthermore, the juxtaposition of the outcomes of formal analysis and empirical studies suggests new experimental hypotheses, thus providing input to researchers in cognitive science.</description><identifier>ISSN: 0934-5043</identifier><identifier>EISSN: 1433-299X</identifier><identifier>DOI: 10.1007/s00165-008-0102-7</identifier><identifier>CODEN: FACME5</identifier><language>eng</language><publisher>London: Springer-Verlag</publisher><subject>Computer Science ; Math Applications in Computer Science ; Original Article ; Theory of Computation</subject><ispartof>Formal aspects of computing, 2009-12, Vol.21 (6), p.541-569, Article s00165-008-0102-7</ispartof><rights>British Computer Society 2009</rights><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c454t-82ed8db77d1179c38ff3e2bed3df98a741504e093fdd6a2fd6dfd7610962a80b3</citedby><cites>FETCH-LOGICAL-c454t-82ed8db77d1179c38ff3e2bed3df98a741504e093fdd6a2fd6dfd7610962a80b3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s00165-008-0102-7$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s00165-008-0102-7$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>230,314,776,780,881,27901,27902,41464,42533,51294</link.rule.ids><backlink>$$Uhttps://hal.science/hal-00534920$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Rukšėnas, Rimvydas</creatorcontrib><creatorcontrib>Back, Jonathan</creatorcontrib><creatorcontrib>Curzon, Paul</creatorcontrib><creatorcontrib>Blandford, Ann</creatorcontrib><title>Verification-guided modelling of salience and cognitive load</title><title>Formal aspects of computing</title><addtitle>Form Asp Comp</addtitle><description>Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture, based on higher-order logic and developed for the formal verification of usability properties. The interface of a fire engine dispatch task from the empirical studies is then formally modelled and verified. The outcomes of this verification and their comparison with the empirical data provide a way of assessing our salience and load rules. They also guide further iterative refinements of these rules. Furthermore, the juxtaposition of the outcomes of formal analysis and empirical studies suggests new experimental hypotheses, thus providing input to researchers in cognitive science.</description><subject>Computer Science</subject><subject>Math Applications in Computer Science</subject><subject>Original Article</subject><subject>Theory of Computation</subject><issn>0934-5043</issn><issn>1433-299X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2009</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNqFkUFLxDAUhIMouK7-AG_Fg-Ah-pK0TQJeFlFXWPCi4i1km6Rm6TZr0y74781SURDE04PHN8MMg9ApgUsCwK8iACkLDCAwEKCY76EJyRnDVMrXfTQByXJcQM4O0VGMq0QXkpAJun6xnXe-0r0PLa4Hb6zJ1sHYpvFtnQWXRd1421Y2063JqlC3vvdbmzVBm2N04HQT7cnXnaLnu9unmzlePN4_3MwWuMqLvMeCWiPMknNDCJcVE84xS5fWMOOk0DwnKZhNCZ0xpabOlMYZXhKQJdUClmyKLkbfN92oTefXuvtQQXs1ny3U7gdQsFxS2JLEno_spgvvg429WvtYpTq6tWGIipU5I4LSf0FKaCkpLxJ49gtchaFrU2FFgRVC8lIkiIxQ1YUYO-u-cxJQu4XUuFCKKtRuIcWTho6amNi2tt2P8d-iTzEukZg</recordid><startdate>20091201</startdate><enddate>20091201</enddate><creator>Rukšėnas, Rimvydas</creator><creator>Back, Jonathan</creator><creator>Curzon, Paul</creator><creator>Blandford, Ann</creator><general>Springer-Verlag</general><general>Association for Computing Machinery</general><general>Springer Verlag</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>8AL</scope><scope>8AO</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>Q9U</scope><scope>7TK</scope><scope>1XC</scope><scope>VOOES</scope></search><sort><creationdate>20091201</creationdate><title>Verification-guided modelling of salience and cognitive load</title><author>Rukšėnas, Rimvydas ; Back, Jonathan ; Curzon, Paul ; Blandford, Ann</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c454t-82ed8db77d1179c38ff3e2bed3df98a741504e093fdd6a2fd6dfd7610962a80b3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Computer Science</topic><topic>Math Applications in Computer Science</topic><topic>Original Article</topic><topic>Theory of Computation</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Rukšėnas, Rimvydas</creatorcontrib><creatorcontrib>Back, Jonathan</creatorcontrib><creatorcontrib>Curzon, Paul</creatorcontrib><creatorcontrib>Blandford, Ann</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest Pharma Collection</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>ProQuest Central Basic</collection><collection>Neurosciences Abstracts</collection><collection>Hyper Article en Ligne (HAL)</collection><collection>Hyper Article en Ligne (HAL) (Open Access)</collection><jtitle>Formal aspects of computing</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Rukšėnas, Rimvydas</au><au>Back, Jonathan</au><au>Curzon, Paul</au><au>Blandford, Ann</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Verification-guided modelling of salience and cognitive load</atitle><jtitle>Formal aspects of computing</jtitle><stitle>Form Asp Comp</stitle><date>2009-12-01</date><risdate>2009</risdate><volume>21</volume><issue>6</issue><spage>541</spage><epage>569</epage><pages>541-569</pages><artnum>s00165-008-0102-7</artnum><issn>0934-5043</issn><eissn>1433-299X</eissn><coden>FACME5</coden><abstract>Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture, based on higher-order logic and developed for the formal verification of usability properties. The interface of a fire engine dispatch task from the empirical studies is then formally modelled and verified. The outcomes of this verification and their comparison with the empirical data provide a way of assessing our salience and load rules. They also guide further iterative refinements of these rules. Furthermore, the juxtaposition of the outcomes of formal analysis and empirical studies suggests new experimental hypotheses, thus providing input to researchers in cognitive science.</abstract><cop>London</cop><pub>Springer-Verlag</pub><doi>10.1007/s00165-008-0102-7</doi><tpages>29</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0934-5043 |
| ispartof | Formal aspects of computing, 2009-12, Vol.21 (6), p.541-569, Article s00165-008-0102-7 |
| issn | 0934-5043 1433-299X |
| language | eng |
| recordid | cdi_hal_primary_oai_HAL_hal_00534920v1 |
| source | Springer Nature - Complete Springer Journals; Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals |
| subjects | Computer Science Math Applications in Computer Science Original Article Theory of Computation |
| title | Verification-guided modelling of salience and cognitive load |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-10T02%3A29%3A42IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_hal_p&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Verification-guided%20modelling%20of%20salience%20and%20cognitive%20load&rft.jtitle=Formal%20aspects%20of%20computing&rft.au=Ruk%C5%A1%C4%97nas,%20Rimvydas&rft.date=2009-12-01&rft.volume=21&rft.issue=6&rft.spage=541&rft.epage=569&rft.pages=541-569&rft.artnum=s00165-008-0102-7&rft.issn=0934-5043&rft.eissn=1433-299X&rft.coden=FACME5&rft_id=info:doi/10.1007/s00165-008-0102-7&rft_dat=%3Cproquest_hal_p%3E1899637481%3C/proquest_hal_p%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=203589768&rft_id=info:pmid/&rfr_iscdi=true |