主要观点：形式化方法工具如 Alloy 和 Forge 可帮助用户定义、探索、验证和诊断复杂系统规范，但存在易用性问题，如可视化布局与用户预期不符。已有自定义可视化工具存在学习新语言、代码复杂、易脆等缺点，即使对简单数据结构构建可视化也会遇到问题。
关键信息：

• Alloy 和 Forge 工具的可视化器可让用户通过图形探索生成模型，但存在一些问题，如线条重叠、标签不清等。
• 自定义可视化工具存在多种缺陷，如学习新语言、代码复杂、易脆等。
• Cope and Drag（CnD）是一种新的轻量级绘图语言，旨在解决上述问题，其设计基于认知科学原则和实际自定义可视化的模式。
• CnD 操作可有意义地细化默认可视化，如约束空间布局、分组元素等，注重编码模型中的空间直觉。
• CnD 像写规范而非编程，生成的图表注重结构清晰和正确性，约束为硬约束，当不满足时会产生错误消息。
  重要细节：
• 举例说明二进制树可视化中左右子节点布局不符合常规，文件系统模型可视化未反映实际关系等问题。
• 展示 CnD 对二进制树和文件系统模型的可视化效果，与原有工具对比。
• 指出 CnD 不是最终的绘图方案，而是在易用性、结构清晰等方面的一种设计选择，已嵌入 Forge 的开源可视化器中，鼓励尝试并可阅读相关论文了解更多。