Computer Engineering ›› 2009, Vol. 35 ›› Issue (14): 264-266.
• Developmental Research • Previous Articles Next Articles
Received:
Revised:
Online:
Published:
摘要：
人机交互(HCI)技术的迅猛发展为自然高效和谐的HCI提供了基础支持，随着HCI行为的日益复杂，如何验证其过程的正确性成为研究HCI领域的重心。根据双手触摸光感应触控平台在运输态势的HCI，提出一种体现用户操作与设备响应相结合的运输态势HCI模型，该模型采用通信顺序进程形式化描述，并结合甘特图验证其单用户操作的逻辑正确性和稳定性。
关键词: 人机交互(HCI), 用户操作, 通信顺序进程, 形式化方法
/ Recommend / Download Citations
URL:
https://www.ecice06.com/EN/Y2009/V35/I14/264