论文部分内容阅读
随着人机交互技术的发展，计算机和用户之间的接口越来越自然，但用户界面管理系统内部的复杂度却大大地增加了．目前提出的新一代用户界面的模型大都停留在概念模型阶段，缺乏对模型的严格描述和证明．该文结合对基于自然交互方式的用户界面的研究成果，归纳出了一个交互式用户界面的通用模型．为了保证系统设计的正确性，这就是说了如何使用形式化描述语言ＬＯＴＯＳ（ｃａｔｉｏｎ ｂａｓｅｄ ｔｅｍｐｏｒａｌ ｌｏｇｉｃａ）