Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Systems, interactions, and macrotheory
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
More precise descriptions of temporal relations within task models
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Support for task modeling: a ”constructive” exploration
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
HOPS: A Prototypical Specification Tool for Interactive Systems
Interactive Systems. Design, Specification, and Verification
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
A coordination model for interactive components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
| Hi-index | 0.00 |
This paper introduces higher-order processes as a means to describe complex human-computer interaction systems by integrating different HCI theories. A higher-order process consists of components, which are (sub-)processes themselves. The behaviour of a process results from the behaviour of its components and their interaction. While processes at the lowest level describe the essential units of a system, higher-level processes focus on the way their components interact and produce a new kind of behaviour. Such a behaviour can roughly be characterized as 'more planned'. We further propose a convenient specification formalism for higher-order processes based on partial equations.