loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
A unified description formalism for complex HCI-systems
Koblenz, Germany
September 07-September 09
ISBN: 0-7695-2435-4
Anke Dittmar, Rostock University, Germany
Peter Forbrig, Rostock University, Germany
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.
Index Terms:
Formal models of interactive systems, Human- Computer Interaction (HCI), Integration of HCI theories
Citation:
Anke Dittmar, Peter Forbrig, "A unified description formalism for complex HCI-systems," sefm, pp.342-351, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.