research-article

Open access

Analysing Cognitive Behaviour using LOTOS and Mexitl

Authors:

Howard Bowman,

Giorgio FacontiAuthors Info & Claims

Formal Aspects of Computing, Volume 11, Issue 2

Pages 132 - 159

https://doi.org/10.1007/s001650050045

Published: 01 September 1999 Publication History

PDF eReader

Abstract.

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.

Cited By

View all

Chen XPang J(2022)Temporal Logic-Based Artificial Immune System for Intrusion DetectionWireless Communications & Mobile Computing10.1155/2022/46857542022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/4685754
Curzon PRukšėnas R(2017)Modelling the UserThe Handbook of Formal Methods in Human-Computer Interaction10.1007/978-3-319-51838-1_8(211-245)Online publication date: 25-Apr-2017
https://doi.org/10.1007/978-3-319-51838-1_8
Su LGomez RBowman H(2014)Analysing neurobiological models using communicating automataFormal Aspects of Computing10.1007/s00165-014-0294-y26:6(1169-1204)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1007/s00165-014-0294-y
Show More Cited By

Index Terms

Analysing Cognitive Behaviour using LOTOS and Mexitl

Index terms have been assigned to the content through auto-classification.

Recommendations

Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions

The integration of different formal description techniques is an important feature in the design of communication protocols and concurrent systems. In this paper we address the problem of translating Petri nets with inhibitor arcs into basic LOTOS ...
Mexitl: Multimedia in Executable Interval Temporal Logic

This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements that arise from the multimedia documents application area, and we illustrate these ...
Analysing user behaviour through dynamic population models
CHI EA '13: CHI '13 Extended Abstracts on Human Factors in Computing Systems

We apply a statistical modelling-based approach to exploring, analysing and predicting behavioural patterns of users of mobile software. The technique employed represents the behaviour of each user through a weighted mixture over data-generating ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Formal Aspects of Computing Volume 11, Issue 2

Sep 1999

116 pages

ISSN:0934-5043

EISSN:1433-299X

Issue’s Table of Contents

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 September 1999

Published in FAC Volume 11, Issue 2

Author Tag

Keywords: Process calculi; Temporal logic; Cognitive behaviour; LOTOS

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
38
Total Downloads

Downloads (Last 12 months)22
Downloads (Last 6 weeks)2

Reflects downloads up to 20 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chen XPang J(2022)Temporal Logic-Based Artificial Immune System for Intrusion DetectionWireless Communications & Mobile Computing10.1155/2022/46857542022Online publication date: 1-Jan-2022
https://dl.acm.org/doi/10.1155/2022/4685754
Curzon PRukšėnas R(2017)Modelling the UserThe Handbook of Formal Methods in Human-Computer Interaction10.1007/978-3-319-51838-1_8(211-245)Online publication date: 25-Apr-2017
https://doi.org/10.1007/978-3-319-51838-1_8
Su LGomez RBowman H(2014)Analysing neurobiological models using communicating automataFormal Aspects of Computing10.1007/s00165-014-0294-y26:6(1169-1204)Online publication date: 1-Nov-2014
https://dl.acm.org/doi/10.1007/s00165-014-0294-y
Rukšėnas RCurzon PBlandford ABack J(2014)Combining human error verification and timing analysis: a case study on an infusion pumpFormal Aspects of Computing10.1007/s00165-013-0288-126:5(1033-1076)Online publication date: 1-Sep-2014
https://dl.acm.org/doi/10.1007/s00165-013-0288-1
Rukšėnas RCurzon PHarrison M(2013)Integrating Formal Predictions of Interactive System Behaviour with User EvaluationIntegrated Formal Methods10.1007/978-3-642-38613-8_17(238-252)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38613-8_17
Rukšėnas RBack JCurzon PBlandford A(2009)Verification-guided modelling of salience and cognitive loadFormal Aspects of Computing10.1007/s00165-008-0102-721:6Online publication date: 1-Dec-2009
https://dl.acm.org/doi/10.1007/s00165-008-0102-7
Su LBowman HBarnard PWyble B(2009)Process algebraic modelling of attentional capture and human electrophysiology in interactive systemsFormal Aspects of Computing10.1007/s00165-008-0094-321:6Online publication date: 1-Dec-2009
https://dl.acm.org/doi/10.1007/s00165-008-0094-3
Rukenas RCurzon PBlandford A(2008)Modelling Rational User Behaviour as Games between an Angel and a DemonProceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods10.1109/SEFM.2008.43(355-364)Online publication date: 10-Nov-2008
https://dl.acm.org/doi/10.1109/SEFM.2008.43
Su LBowman HBarnard P(2008)Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive FrameworksElectronic Notes in Theoretical Computer Science10.1016/j.entcs.2008.03.109208(95-111)Online publication date: Apr-2008
https://doi.org/10.1016/j.entcs.2008.03.109
Rukšėnas RBack JCurzon PBlandford A(2008)Formal Modelling of Salience and Cognitive LoadElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2008.03.107208(57-75)Online publication date: 1-Apr-2008
https://dl.acm.org/doi/10.1016/j.entcs.2008.03.107
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions

Mexitl: Multimedia in Executable Interval Temporal Logic

Analysing user behaviour through dynamic population models