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 muti-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 users position but not the designers. 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.
UML Model check HTAs
Lai Xiangwei Zhou Yanhui Zhang Weiqun
School of Computer and Information Science, Southwest University Chongqing 400715, China The Intelligence Software and Software Engineering Lab Chongqing 400715, China
国际会议
重庆
英文
64-67
2009-12-25（万方平台首次上网日期，不代表论文的发表时间）