基于预序的交互行为分析

摘要：

交互行为分析是研究人机交互系统的交互行为的描述和分析方法。为简化交互行为分析，本文提出了行为等价的概念。本文以标号迁移系统为基本模型，提出了包括分歧和内部活动的试验设定和过程表示。本文在通用试验语义和语法的基础上，着重研究了踪迹预序和观察预序。

关键词： 交互行为 形式化描述 踪迹预序 观察预序

作者: 陈建国 陈江 Stefan D. Bruda Wai K. YEAP

作者单位: 中国计量学院信息工程学院，杭州 310018 中国计量学院机电工程学院，杭州 310018 Department of Computer Science, Bishop’s University, Sherbrooke J1M 0C8, Canada School of Computing and Mathematical Sciences, Auckland University of Technology, Auckland 1142, New

会议类型: 国内会议

会议名称: 第四届和谐人机环境联合学术会议

会议地点: 昆明

会议语种:中文

页码: 1-8

在线出版日期: 2008-10-25（万方平台首次上网日期，不代表论文的发表时间）