3、交互式软件可视化与代码生成的静态语法验证

交互式软件可视化与代码生成的静态语法验证

交互式软件可视化

在软件可视化领域，我们构建了一种用于交互式软件可视化的语言，其核心在于对已知图表类型进行组合，而非创造新的图表类型。通过在一个图表中选择数据点，并观察其他图表的相应变化，我们可以探索不同图表中可视化数据之间的关系。

用户能够通过简单的 HTML 代码或交互式 UI，从现有的图表类型中组合出复杂的可视化效果。与其他框架不同的是，用户无需进行大量编程即可创建可视化。图表之间的关系通过通用数据模型上的简单模式来建立。不过，如果需要新的图表类型或更复杂的投影，则需要进行编程。

以下是实现图表交互的几个要点：
1. 数据点高亮 ：直接或间接选择的数据点会被高亮显示。
2. 选择机制 ：适合图表类型的选择机制，并触发相应的选择事件。

如果用户想要创建交互式可视化，可以使用 HTML 描述，通过 HTML 标签实例化组件。同时，我们的库还提供了一个工作台，允许用户通过 Web UI 交互式地组合可视化。

然而，目前的工作存在一些局限性：
|局限性|详情|
| ---- | ---- |
|模式语言|当前允许用户使用简单模式语言指定选择函数，可考虑用更复杂、功能更丰富的模式/查询语言替代。|
|间接选择高亮|仅使用父子关系来高亮间接选择的数据点，用户可能希望针对可视化进行自定义。|
|选择组行为|选择组总是对所有直接选择进行并集操作以形成间接选择集，用户可能希望自定义此行为。|
|投影依赖|假设投影仅依赖于图表类型，但用户可能希望对同一类型使用