Belidor：一种用于操作化用户界面结构类比的操作规范语言

文献标题

Belidor: A Specification Language for Operationalizing Structural Analogies Between User Interfaces

出版信息

• 主题领域: 用户界面结构类比的规范语言。
• 关键词: Belidor，结构类比，用户界面，规范语言，人机交互（HCI），交互系统，设计模式，类比算法，UI语义，关系模型。

背景与问题

• 问题/挑战: 当前用户界面中的类比推理方法主要依赖视觉表示，限制了其捕捉功能性和交互性深层结构类比的能力。
• 意义: 更好的UI语义表示可以帮助设计师发现并利用不同界面之间的类比，从而促进创新并改善设计实践。
• 动机与相关工作: 以往在人机交互领域的研究主要集中于视觉风格迁移和基于DOM的类比，这些方法无法捕捉交互系统的底层结构。受《图形语法》等框架的启发，本文旨在将结构关系作为类比的核心基础。

解决方案

• 提出的方法: Belidor，一种声明式规范语言，强调用户界面在概念层、呈现层和行为层的底层结构关系。
• 创新点:
  1. 将结构作为语言的一级构造，用于描述UI语义。
  2. 提出统一的关系模型，涵盖概念层、呈现层和行为层。
  3. 通过示例和案例研究展示Belidor的表达能力。
  4. 开发基于图编辑距离的简单类比算法，用于识别结构类比。
• 流程与关键技术:
  • Belidor使用嵌入在YAML中的实体关系模型。
  • 规范描述交互系统中的对象、结构、关系和动作。
  • 将结构（如线性、树状、二维）具体化以支持比较和类比。
  • 使用图编辑距离算法，通过比较结构图来识别规范对之间的类比。

结果

• 具体发现:
  • Belidor成功描述了广泛的用户界面，包括图形用户界面（GUI）、屏幕阅读器和硬件接口。
  • 类比算法识别出强类比关系，例如消息应用（iMessage和Slack）之间，以及日历与视频编辑器之间。
• 相较基线的优势:
  • 与视觉或基于DOM的方法不同，Belidor捕捉了更深层次的结构关系，从而实现更有意义的类比。
  • 增量式规范允许设计师专注于特定方面，而无需完全建模整个系统。
• 实验/评估:
  • 案例研究包括比较Google Calendar与DaVinci Resolve、Figma与PowerPoint，以及各种应用中的标签页。
  • 类比算法应用于45对规范，展示了其挖掘有意义类比的能力。
• 局限性与未来工作:
  • 当前局限性包括缺乏输入绑定语义和计算描述。
  • 未来工作包括研究设计师如何在迭代设计中使用Belidor，开发基于Belidor的UI框架，以及支持结构设计动作。

总结

Belidor是一种声明式规范语言，突出交互系统的底层结构关系，使设计师能够识别并实现多样化用户界面之间的类比。通过将结构具体化为一级概念，Belidor支持跨概念层、呈现层和行为层的比较。案例研究和基于图的类比算法展示了其在挖掘有意义类比方面的效用，例如日历与视频编辑器之间的类比。未来工作旨在探索其在迭代设计和UI实现框架中的应用，以促进界面设计实践中的结构设计动作。