PROTOCOL MODELS OF HUMAN-COMPUTER INTERACTION

Ashley McNeile, Ella Roubtsova, Gerrit van der Veer

2008

Abstract

Current approaches to modeling human-computer interaction do not always succeed in producing behaviorally complete models of manageable size and complexity. We argue that the reason for this lies in lack of sup- port for parallel composition of partial behavioral descriptions, and propose the recently developed Protocol Modeling approach as a superior alternative. The semantics of Protocol Modeling support separation and composition of concerns in models of human-computer interaction, and the production of executable models to explore and refine the desired behavior. Protocol Modeling supports a crucial property sought in modeling methods if it is to scale to complex problems, namely the ability to reason about the modeled behavior of the whole based on examination only of a part (sometimes called ”modular” or ”local” reasoning).

References

  1. A. Dix, G. Abowd, R. Bealle, J. Finlaj (1998). Humancomputer interaction. Prentice Hall Europe.
  2. A. McNeile, E. Roubtsova (2008). CSP parallel composition of aspect models. To appear in the Proceedings of the 12th International Workshop on Aspect-Oriented Modelling, AOM 2008, Brussels, ACM DL.
  3. A. McNeile, N. Simons (2006). Protocol Modelling. A modelling approach that supports reusable behavioural abstractions. Software and System Modeling, 5(1):91-107.
  4. BaMaS (2007). BaMaS. http://www.bamas.nl.
  5. C. Hoare (1985). Communicating Sequential Processes. Prentice-Hall International.
  6. J. Ebert, G. Engels (1994). Dynamic models and Behavioural Views. LNCS 858.
  7. Metamaxim (2006). http://www.metamaxim.com/.
  8. M.Tauber (1988). On Mental Models and the User Interface. G. Van der Veer et al. ed. ”Working with Computers: Theory Versus Outcome”.
  9. P. Palanque, R. Bastide, L. Dourte, C. Sibertin-Blanc (1993). Design of User-Driven Interfaces Using Petri Nets and Objects. LNCS 685.
  10. S. Payne, T. Green (2000). Usability Patterns for Applications on the World Wide Web. In D. Diaper ed. ”Task Analysis for Human-Computer Interaction, Ellis Horwood, Cambridge MA”.
Download


Paper Citation


in Harvard Style

McNeile A., Roubtsova E. and van der Veer G. (2008). PROTOCOL MODELS OF HUMAN-COMPUTER INTERACTION . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 5: ICEIS, ISBN 978-989-8111-40-1, pages 367-370. DOI: 10.5220/0001701503670370


in Bibtex Style

@conference{iceis08,
author={Ashley McNeile and Ella Roubtsova and Gerrit van der Veer},
title={PROTOCOL MODELS OF HUMAN-COMPUTER INTERACTION},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 5: ICEIS,},
year={2008},
pages={367-370},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001701503670370},
isbn={978-989-8111-40-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 5: ICEIS,
TI - PROTOCOL MODELS OF HUMAN-COMPUTER INTERACTION
SN - 978-989-8111-40-1
AU - McNeile A.
AU - Roubtsova E.
AU - van der Veer G.
PY - 2008
SP - 367
EP - 370
DO - 10.5220/0001701503670370