{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:36:48Z","timestamp":1757543808918},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"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,9]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>We argue that cognitive models should be used in analysing the usability of multi-modal human computer interfaces and further, that formal methods can be advantageously applied to such analysis. In pursuing this objective we specify the Interacting Cognitive Subsystems model formally using the process calculus LOTOS and then we verify that it satisfies certain behavioural goals formulated in the interval temporal logic Mexitl.<\/jats:p>","DOI":"10.1007\/s001650050045","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T09:25:39Z","timestamp":1030267539000},"page":"132-159","source":"Crossref","is-referenced-by-count":19,"title":["Analysing Cognitive Behaviour using LOTOS and Mexitl"],"prefix":"10.1145","volume":"11","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[{"name":"Computing Lab, University of Kent at Canterbury, Canterbury, Kent, UK, , , , , , UK"}]},{"given":"Giorgio","family":"Faconti","sequence":"additional","affiliation":[{"name":"CNR-Istituto CNUCE, Pisa, Italy, , , , , , IT"}]}],"member":"320","reference":[{"key":"p_1","volume-title":": The Architecture of Cognition","author":"And","year":"1983"},{"key":"p_2","volume-title":"Gesture and Sign-Language in Human-Computer Interaction, LNAI","author":"Bo","year":"1997"},{"key":"p_3","volume-title":"Progress in the Psychology of Language","author":"Bar","year":"1985"},{"key":"p_4","volume-title":"Models of Working Memory","author":"Bar","year":"1998"},{"issue":"1","key":"p_5","first-page":"25","article-title":"Introduction to the ISO Specification Language LOTOS","volume":"14","author":"Bo","year":"1988","journal-title":"Comp. Networks and ISDN Systems"},{"key":"p_7","volume-title":"Int. Conf. on Temporal Logic, Applied Logic Series. Kluwer","author":"Bowman H.","year":"1997"},{"key":"p_8","volume-title":"Submitted for publication","author":"Bowman H.","year":"1999"},{"issue":"3","key":"p_9","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_10","first-page":"15","volume-title":"Eurographics Workshop on Design, Specification and Verification of Interactive Systems","author":"Ba","year":"1995"},{"key":"p_11","volume-title":"Human-Computer Interaction","author":"Ba","year":"1999"},{"key":"p_13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/02699939108411021","article-title":"Interacting cognitive subsystems: A systemic approach to cognitive-affective interaction and change","volume":"5","author":"Ba","year":"1991","journal-title":"Cognition and Emotion"},{"key":"p_14","series-title":"Lecture Notes in AI","first-page":"108","volume-title":"TABLEAUX'98, International Conference on Analytic Tableaux and Related Methods","author":"Bo","year":"1998"},{"key":"p_15","volume-title":"APSEC'95","author":"Duke D. J.","year":"1995"},{"key":"p_17","volume-title":"Proceedings of the ERCIM Workshop on User Interfaces for All","author":"Duke D.","year":"1996"},{"key":"p_18","volume-title":"Universidad Politecnica de Madrid","year":"1988"},{"key":"p_19","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/0169-7552(92)90013-G","article-title":"Introduction to algebraic specifications based on the language ACT ONE","volume":"23","author":"de Meer J.","year":"1992","journal-title":"Computer Networks and ISDN Systems"},{"key":"p_20","volume-title":": Reasoning about gestural interaction. Eurographics'95, 14(3)","author":"Duk","year":"1995"},{"key":"p_21","first-page":"73","volume-title":"DSV-IS'96, Design, Specification and Verification of Interactive Systems","author":"Fa","year":"1996"},{"key":"p_22","volume-title":"CNR Istituto-CNUCE","author":"Fa","year":"1998"},{"key":"p_23","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A visual formalism for complex systems","volume":"8","author":"Har","year":"1987","journal-title":"Science of Computer Programming"},{"key":"p_24","volume-title":": Communicating Sequential Processes","author":"Hoa","year":"1985"},{"key":"p_25","volume-title":"editors","author":"Je","year":"1991"},{"key":"p_26","volume-title":"Communication and Concurrency","author":"Mil","year":"1989"},{"key":"p_27","volume-title":"Executing Temporal Logic","author":"Mos","year":"1986"},{"key":"p_28","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Ma","year":"1992"},{"key":"p_29","first-page":"98","volume-title":"Proceedings of ACM CHI'95","author":"Ni","year":"1995"},{"key":"p_30","volume-title":"Unified Theories of Cognition","author":"New","year":"1990"},{"key":"p_31","first-page":"415","volume-title":"Conference on Human Factors in Computing Systems: CHI'97","author":"Oviatt S. L.","year":"1997"},{"key":"p_32","volume-title":"Cognition and Thought","author":"Rei","year":"1965"},{"key":"p_33","volume-title":"Affect, Cognition and Change: Re-modelling 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\/s001650050045.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650050045\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650050045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:26:21Z","timestamp":1641482781000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650050045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["10.1007\/s001650050045"],"URL":"https:\/\/doi.org\/10.1007\/s001650050045","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}