Interaction Process Model Check: Use a Task Oriented Cognitive Process Model
With the development of computer-human interaction technology, some new challenges which come from the hybrid,distributed and isomerizes 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.
HTAs cognitive process UML petri nets sinvariants
LAI Xiangwei DING Xiaoming ZHANG Weiqun
Faculty of Computer and Information Science Intelligence Software and Software Engineering Lab Southwest University Chongqing, 400715 China
国际会议
武汉
英文
1026-1030
2007-07-25（万方平台首次上网日期，不代表论文的发表时间）