摘要：

人机交互(HCI)技术的迅猛发展为自然高效和谐的HCI提供了基础支持，随着HCI行为的日益复杂，如何验证其过程的正确性成为研究HCI领域的重心。根据双手触摸光感应触控平台在运输态势的HCI，提出一种体现用户操作与设备响应相结合的运输态势HCI模型，该模型采用通信顺序进程形式化描述，并结合甘特图验证其单用户操作的逻辑正确性和稳定性。

关键词: 人机交互(HCI), 用户操作, 通信顺序进程, 形式化方法