约束处理规则的可视化：语义与应用

本文的工作提出了约束处理规则（CHR）的一个动画扩展（$CHR^{vis}$）。可视化一直有助于程序员理解数据和调试程序。一图胜千言。它可以帮助识别问题所在或展示某些机制的工作原理。它甚至可以阐明原本不清晰的关系。$CHR^{vis}$ 旨在将动画和可视化特性嵌入到 CHR 程序中。因此，它使用户能够在执行程序时将这些执行过程动画化。本文旨在为 $CHR^{vis}$ 提供操作语义。同时还讨论了 $CHR^{vis}$ 程序的正确性。还介绍了这一新扩展的一些应用。