首页> 外文会议>Human-Centric Computing Languages and Environments, 2001. Proceedings IEEE Symposia on >Aligning syntax and semantics in formalisations of visual languages
【24h】

Aligning syntax and semantics in formalisations of visual languages

机译:在视觉语言的形式化中对齐语法和语义

获取原文

摘要

Often the most effective diagrams are those which are very simple. However there is a strong tendency, particularly prevalent in visual formal modelling and specification languages, to take a diagrammatic language which at core is very simple, and then add many extensions and features to make it more expressive - often making it so expressive that the diagrams produced in the language are no longer readable; or at least, the diagrams are no longer obviously a more effective form of representation than a text-based one. Both the design of effective visual formal modelling and specification languages, and the effective formalisation of (the semantics of) such visual languages requires the unification of results from visual language theory, cognitive science, empirical psychology and graphic design. Integrating results from such diverse fields is a non-trivial task, which may be approached through a decomposition of the study of issues of effectiveness in diagrammatic languages according to analogous understandings of (written and spoken) natural languages.
机译:最有效的图通常是非常简单的图。但是,有一种强烈的趋势,尤其是在视觉形式建模和规范语言中普遍,倾向于采用一种图表语言,该语言本质上非常简单,然后添加许多扩展和功能以使其更具表现力-通常使其表现得如此强烈,以至于这些图用该语言制作的产品不再可读;或者至少,这些图显然不再比基于文本的图更有效的表示形式。有效的视觉形式建模和规范语言的设计以及此类视觉语言(语义)的有效形式化,都需要统一视觉语言理论,认知科学,经验心理学和图形设计的结果。整合来自这些不同领域的结果是一项艰巨的任务,可以根据对(书面和口头)自然语言的类似理解,通过分解图解语言有效性问题的研究来解决。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号