Research of Transport Situation Interaction Model and Its CSP Formalization
Songyang Lao · Jisuanji gongcheng · 2009
The rapid development of Human-Computer Interaction(HCI) technology provides a foundation support for natural,efficient and harmonious HCI.With the increasingly complex HCI behavior,how to verify the correctness of the course on HCI domain becomes an important aspect of the field.According to the two-handed of touch-sensors platform application in the transport situation HCI,this paper proposes a transport situation HCI model which embodies the combination of users' operations and equipment response,it adopts the Communicating Sequential Processes(CSP) to formalize it,combines with Gantt-chart verifying the logic accuracy and stability of its single user operating.