Communicating sequential processes
Communicating sequential processes
Communication and concurrency
Specification, analysis and refinement of interactive processes
Formal methods in human-computer interaction
Formal aspects of human-computer interaction
Formal aspects of human-computer interaction
Why interaction is more powerful than algorithms
Communications of the ACM
Systems, interactions, and macrotheory
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 2
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
A Unifying Reference Framework for the Development of Plastic User Interfaces
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
PAC: AN OBJECT ORIENTED MODEL FOR IMPLEMENTING USER INTERFACES
ACM SIGCHI Bulletin
A unified description formalism for complex HCI-systems
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Acting with Technology: Activity Theory and Interaction Design (Acting with Technology)
Acting with Technology: Activity Theory and Interaction Design (Acting with Technology)
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
An Exploration of Perspective Changes within MBD
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Selective modeling to support task migratability of interactive artifacts
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
| Hi-index | 0.00 |
This article suggests higher-order processes as a formal framework to model interactive systems and supplies a corresponding prototypical specifi cation tool (HOPS). Processes and their components reflect the recursive nature of interaction. Each component is an independent process itself. Though higher-level processes specify the interaction between their components they do not fully control them. HOPS offers a unified description of behavioral and structural aspects. Structured sets of sub-processes (e.g. hierarchies) serve to represent specific domains of interest within a process. Operations are the smallest units for analyzing and designing behavior. However, they can be unfolded to processes and vice versa. This supports an understanding of interactive systems as open and nonmonotonic systems. Their composition/ decomposition may exhibit unpredictable behavior. It is shown that the approach follows the interaction paradigm more closely than existing modeling approaches in HCI. Possible usage scenarios are given.