Formal issues in languages based on closed curves
Formal issues in languages based on closed curves
复制标题
基于闭合曲线的语言形式问题
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Gem Stapleton
中科院分区：
文献类型：
--
作者：
A. Fish;Gem Stapleton
在使用可视化语言时会产生三个重要的问题：对于任何给定的信息，我们是否可以绘制表示该信息的图表；我们是否可以可靠地解释这些图表；我们是否可以对该信息进行图解推理？所有这三个问题的理想答案都是肯定的，但这些愿望往往是相互冲突的；例如，可以强制使用格式良好的条件来辅助图表解释，但这可能会导致绘图问题。在本文中，我们主要研究基于闭合曲线的可视化语言，这些语言在众多的计算应用中得到了广泛的应用。许多这样的语言有效地利用了空间属性，如包容和分离。我们考虑了与上述问题有关的实施各种良构条件的后果，例如最小区域的简单性和连通性。我们建议改进条件，以便在相互冲突的欲望之间找到平衡。
Three important questions arise when using visual languages: for any given piece of information can we draw a diagram representing that information, can we reliably interpret the diagrams and can we reason diagrammatically about that information? The desirable answer to all three questions is yes, but these desires are often conflicting; for example, well-formedness conditions can be enforced to assist diagram interpretation but this can result in drawability problems. In this paper, we focus on visual languages based on closed curves, which are used in numerous computing applications. Many such languages effectively use spatial properties such as containment and disjointness. We consider the consequences of enforcing various well-formedness conditions, such as simplicity and connectedness of minimal regions, in relation to the above questions. We suggest refinements of the conditions in order to find a balance between the conflicting desires.