|
Abstract : |
This paper presents a bridging framework for combining the results of various models of human-computer interaction. It views a system as a composite of interacting subsystems, and describes how those subsystems must be structured to permit compositions in which responsibility for global behavior can be appropriately ascribed. The paper presents a human-device example (wrist watch) and develops a range of task and device models. The devices and tasks are modeled by colored Petri nets partitioned to cleanly distinguish submodel component visibility and interface affordances. The formality of Petri nets allows for axiomatic validation of isolated and interacting subsystems. KEYWORDS:, |
