Hybrid Interaction System Model Check: A Task Oriented Semantic Level Cognitive Process Model

With the development of computer-human interaction technology, some new challenges which come from the hybrid, distributed and isomerize systems begin to puzzle the designer. This paper presents a multi-layer cognitive process model based on the hierarchical task analysis system (HTAs). It can help us check the system design and implement particular from the user´s position but not the designer´s. We give a mapping method from the design model (illustrate as UML) to the user cognitive model (illustrate as Petri net). Some model check methods can used to validate the correctness and usability of the hybrid interaction process.